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