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