kill(all);

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

integrate(f(x),x);

F(x):=log(sin(x)/(cos(x)+1)+1)+C;

float(F(3.14159264305)-F(0)); /* just short of pi */