Input: integrate(tan(x), x, 0, pi/2)
Write: `integrate(tan(x), x, 0, pi/2)`
Output: $$ \int _{0}^{\frac {\pi }{2}} tan(x)\ dx == (-log(cos(\frac{1}{2}\ \pi ))) $$ Result:$$(-log(cos(\frac{1}{2}\ \pi )))$$