integrate 2 sin(x) arccos (cos x)^2 from 0 to (\pi/2)