Input: integrate(tan(x))
Write: `integrate(tan(x))`
Output: $$ \int tan(x)\ dx == (-log(cos(x))) $$ Result:$$(-log(cos(x)))$$