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