Pow Pow coth x0 Pow Mul x4 Mul 4 Pow acosh x0 exp x0 3 x3 
Mul Pow Pow coth x0 Pow Mul x4 Mul 4 Pow acosh x0 exp x0 3 Add x3 -1 Mul x3 Mul Pow coth x0 Add Pow Mul x4 Mul 4 Pow acosh x0 exp x0 3 -1 Add Mul Pow Mul x4 Mul 4 Pow acosh x0 exp x0 3 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Pow Mul x4 Mul 4 Pow acosh x0 exp x0 2 Mul 3 Mul x4 Mul 4 Mul Pow acosh x0 Add exp x0 -1 Add Mul exp x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 exp x0 