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