kill(all)$

van=facebook.com/LearningCalculus$

f(x):=cos(2*x)/cos(x+1);

F(x):=''(trigsimp(integrate(f(x),x))) + C$ '(integrate(f(x),x))=F(x);

float(F(1) - F(0));

diff(f(x),x);