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
	mul rnd32 = (((((((x0 * x1) * x2) * x3) * x4) * x5) * x6) * x7);
