csch Pow Pow acosh Pow coth x0 x3 Mul x1 x0 1.77215424758523 
Mul Mul Mul -1 coth Pow Pow acosh Pow coth x0 x3 Mul x1 x0 1.77215424758523 csch Pow Pow acosh Pow coth x0 x3 Mul x1 x0 1.77215424758523 Mul Pow Pow acosh Pow coth x0 x3 Mul x1 x0 0.772154247585227 Mul 1.77215424758523 Mul Pow acosh Pow coth x0 x3 Add Mul x1 x0 -1 Add Mul Mul x1 x0 Mul Mul Pow coth x0 Add x3 -1 Mul x3 Mul -1 Pow csch x0 2 Pow Mul sqrt Add Pow coth x0 x3 -1 sqrt Add 1 Pow coth x0 x3 -1 Mul Mul acosh Pow coth x0 x3 log acosh Pow coth x0 x3 x1 