added: \begin{axiom} integrate(1/(a+x^2),x) \end{axiom}
axiomintegrate(x, x)
axiomsolve(tan(x)+cos(x)/5-1=0,x)
axiomintegrate(1/(a+x^2),x)
