removed: -\begin{axiom} -)asq -\end{axiom} removed: - removed: -
(1) -> integrate(x, x)
solve(tan(x)+cos(x)/5-1=0,x)
integrate(1/(a+x^2),x)