integral secx, from 0 to pi/4