math: rewrite inverse hyperbolic functions to be simpler/smaller