integral of 1/cos(x) dx from 0 to pi/4