integrate from pi/4 to pi/2 sqrt(-cos(2x)) dx