How do I find #f(pi)# for #f(x)= 3 int_0^x cos(t)/cos(t/2)+cos(2t)/cos(t/2) dt# ?