cosh-1⁡x