integrate(tan(x), (x, 0, pi/2))