Pow coth cosh Add Mul x0 Add Pow x0 Mul acosh x4 sinh Add x2 Add Add x0 x0 cosh x0 x0 x4 -4 
Mul Pow coth cosh Add Mul x0 Add Pow x0 Mul acosh x4 sinh Add x2 Add Add x0 x0 cosh x0 x0 x4 5 Mul -4 Mul Mul -1 Pow csch cosh Add Mul x0 Add Pow x0 Mul acosh x4 sinh Add x2 Add Add x0 x0 cosh x0 x0 x4 2 Mul sinh Add Mul x0 Add Pow x0 Mul acosh x4 sinh Add x2 Add Add x0 x0 cosh x0 x0 x4 Add Add Pow x0 Mul acosh x4 sinh Add x2 Add Add x0 x0 cosh x0 x0 Mul x0 Add Mul Pow x0 Add Mul acosh x4 sinh Add x2 Add Add x0 x0 cosh x0 -1 Add Mul acosh x4 sinh Add x2 Add Add x0 x0 cosh x0 Mul Mul x0 log x0 Mul acosh x4 Mul cosh Add x2 Add Add x0 x0 cosh x0 Add 2 sinh x0 1 