#pragma TASS input
float X;

void main()
{
	float x = X;
	float y;
	float z;
	float t;

  // x in [0,1]
  y = (x-1)*(x-1)*(x-1)*(x-1);
  z = x*x;
  z = z*z - 4*x*z + 6*z - 4*x + 1;
  t = z-y;
	assert t == 0;
}
