To calculate higher order derivatives should be done using truncated taylor series. 1 there are a lot of different kinds of derivatives in mathematics, and therefore there are also a lot of different kinds in isabelle. In most cases, we want the derivative evaluated at all points, which means we want to use something besides the diff method.
A Guide to International Financial Derivatives Francis Feeney Praeger
Nor is the lack of anisotropic.