coth Add x4 log Add 1 Mul csch Pow acos Pow 2 x7 cosh x4 Add x0 acoth Mul x5 x7 
Mul Mul -1 Pow csch Add x4 log Add 1 Mul csch Pow acos Pow 2 x7 cosh x4 Add x0 acoth Mul x5 x7 2 Mul csch Pow acos Pow 2 x7 cosh x4 Pow Add 1 Mul csch Pow acos Pow 2 x7 cosh x4 Add x0 acoth Mul x5 x7 -1 