Variables
	float64 x1 in [-100, 100],
	float64 x2 in [-100, 100],
	float64 x3 in [-100, 100];

Expressions
	trid rnd32 = (((((x1 - 1) * (x1 - 1)) + (x2 * x1)) - ((x2 - 1) * (x2 - 1))) + x3 * x2) - ((x3 - 1) * (x3 - 1));
