integral of sqrt(cos^2(x)) from 0 to 3pi/4