Add coth x0 coth Pow exp Mul exp x0 acosh cosh x0 Mul x1 x0 
Add Mul -1 Pow csch x0 2 Mul Mul -1 Pow csch Pow exp Mul exp x0 acosh cosh x0 Mul x1 x0 2 Mul Pow exp Mul exp x0 acosh cosh x0 Add Mul x1 x0 -1 Add Mul Mul x1 x0 Mul exp Mul exp x0 acosh cosh x0 Add Mul acosh cosh x0 exp x0 Mul exp x0 Mul sinh x0 Pow Mul sqrt Add cosh x0 -1 sqrt Add 1 cosh x0 -1 Mul Mul exp Mul exp x0 acosh cosh x0 log exp Mul exp x0 acosh cosh x0 x1 