Add Pow coth x0 Add -3 x0 Add -5 cosh Add x0 Add Mul x5 Mul -5 acoth x0 x3 
Add Mul Pow coth x0 Add Add -3 x0 -1 Add Mul Add -3 x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 Mul sinh Add x0 Add Mul x5 Mul -5 acoth x0 x3 Add 1 Mul x5 Mul -5 Pow Add 1 Mul -1 Mul x0 x0 -1 