Add coth Add Mul x2 Pow x0 csch Mul -2 log x0 acosh tanh Pow -1 x1 x3 
Mul Mul -1 Pow csch Add Mul x2 Pow x0 csch Mul -2 log x0 acosh tanh Pow -1 x1 2 Mul x2 Mul Pow x0 Add csch Mul -2 log x0 -1 Add csch Mul -2 log x0 Mul Mul x0 log x0 Mul Mul Mul -1 coth Mul -2 log x0 csch Mul -2 log x0 Mul -2 Pow x0 -1 