Variables
	float64 x0 in [1, 2],
	float64 x1 in [1, 2],
	float64 x2 in [1, 2],
	float64 x3 in [1, 2],
	float64 x4 in [1, 2],
	float64 x5 in [1, 2],
	float64 x6 in [1, 2],
	float64 x7 in [1, 2];

Expressions
	sum rnd32 = (((((((x0 + x1) + x2) + x3) + x4) + x5) + x6) + x7);
