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