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