integrate(log(x),x)
Type: Union(Expression Integer,...)
axiom
integrate(ln(x),x)
There are no library operations named ln
Use HyperDoc Browse or issue
)what op ln
to learn if there is any operation containing " ln " in its name.
Cannot find a definition or applicable library operation named ln
with argument type(s)
Variable x
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
Type: Float
axiom
integrate(exp(x^2),x)
Type: Union(Expression Integer,...)
integrate(x^2)
Type: UnivariatePolynomial
?(x,Fraction Integer)
axiom
2*sqrt(y::Expression Integer)
Type: Expression Integer