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.
Comprehensive Guide to Derivatives & Options Trading (FIN 301) Studocu
Nor is the lack of anisotropic.