integral of sqrt(cos^3 x (cos x -1)) for x=pi/2..pi