cosh csch acosh Mul exp x5 x0 
Mul sinh csch acosh Mul exp x5 x0 Mul Mul Mul -1 coth acosh Mul exp x5 x0 csch acosh Mul exp x5 x0 Mul exp x5 Pow Mul sqrt Add Mul exp x5 x0 -1 sqrt Add 1 Mul exp x5 x0 -1 