Add Mul Mul x0 Pow x0 Pow csch Add 1 x3 cosh acoth x0 atanh E x0 
Add Mul atanh E Add Pow x0 Pow csch Add 1 x3 cosh acoth x0 Mul x0 Mul Pow x0 Add Pow csch Add 1 x3 cosh acoth x0 -1 Add Pow csch Add 1 x3 cosh acoth x0 Mul Mul x0 log x0 Mul Pow csch Add 1 x3 Add cosh acoth x0 -1 Mul Mul csch Add 1 x3 log csch Add 1 x3 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 