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