integrate arctan(sin(x)) from 0 to pi/2