kill(all);

van=facebook.com/LearningCalculus;

f(x):=1/cos(x);

'integrate(f(x),x)=integrate(f(x),x)+C/2;

fullratsimp(rhs(%));

logcontract(%);

realpart(%);