sec^4 (x/2) dx