integrate cos(x)^(-3/2) from 0 to pi/2