added: \begin{axiom} added: \end{axiom}
integrate(1/(a+x^2),x)
Type: Union(List(Expression(Integer)),...)