sin(x)*cos(x) from pi/2 to pi