mathnet/mathnet-symbolics

About inverse trigonometric functions

diluculo opened this issue · 1 comments

diluculo commented

I think the differential formulas of the inverse trigonometric functions are incorrect. I'm not familiar with F#, but Calculus.fs needs to be modified as follows:

    let rec differentiate symbol = function
        ...
        | Function (Asin, x) -> (1Q / sqrt(1Q - pow x 2Q)) * (differentiate symbol x)
        | Function (Acos, x) -> (-1Q / sqrt(1Q - pow x 2Q)) * (differentiate symbol x)
        | Function (Atan, x) -> (1Q / (1Q + pow x 2Q)) * (differentiate symbol x)
FoggyFinder commented

It seems like you are right. Maybe you want to send PR with fix and tests?