Add Add Pow csch cosh x0 Mul x0 Pow acoth Add x3 2.23606797749979 x0 Add x0 Mul x0 x2 0.197395559849881 
Add Mul Pow csch cosh x0 Add Mul x0 Pow acoth Add x3 2.23606797749979 x0 -1 Add Mul Mul x0 Pow acoth Add x3 2.23606797749979 x0 Mul Mul Mul -1 coth cosh x0 csch cosh x0 sinh x0 Mul Mul csch cosh x0 log csch cosh x0 Add Pow acoth Add x3 2.23606797749979 x0 Mul x0 Mul Pow acoth Add x3 2.23606797749979 Add x0 -1 Mul acoth Add x3 2.23606797749979 log acoth Add x3 2.23606797749979 Add 1 x2 