oderf.spad line 599 [edit on github]
ODEIntegration provides an interface to the integrator. This package is intended for use by the differential equations solver but not at top-level.
diff(x) returns the derivation with respect to x.
expint(f, x) returns e^the integral of f with respect to x.
int(f, x) returns the integral of f with respect to x.