monotonicity of the curve sin(x^2) between -pi and pi