∫tanxsec^2x (1 sec^4x)