coth Mul sec asech acosh Mul -1 x0 4 
Mul Mul -1 Pow csch Mul sec asech acosh Mul -1 x0 4 2 Mul 4 Mul Mul tan asech acosh Mul -1 x0 sec asech acosh Mul -1 x0 Mul Mul -1 Pow Mul sqrt Add Mul -1 x0 -1 sqrt Add 1 Mul -1 x0 -1 Pow Mul Mul acosh Mul -1 x0 acosh Mul -1 x0 sqrt Add 1 Mul -1 Pow Mul acosh Mul -1 x0 acosh Mul -1 x0 -1 -1 