- lift-real->real f df/dx xprocedure
- lift-real*real->real f df/dx1 df/dx2 x1 x2procedure
These are useful if you want to lift your own functions. They take the original function, functions that produce partial derivatives and values for each of the arguments of the original function.