How do you integrate cos(2x3) from [0, pi/2]?