axiom
integrate(sqrt(at^2+bt+c))
There are 4 exposed and 2 unexposed library operations named
integrate having 1 argument(s) but none was determined to be
applicable. Use HyperDoc Browse, or issue
)display op integrate
to learn more about the available operations. Perhaps
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.
Cannot find a definition or applicable library operation named
integrate with argument type(s)
Expression Integer
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.