Mul x0 csch Add atanh pi Add cosh Add x0 acot Add Pow x7 Add x1 x0 Mul atanh x1 x0 x2 
Add csch Add atanh pi Add cosh Add x0 acot Add Pow x7 Add x1 x0 Mul atanh x1 x0 x2 Mul x0 Mul Mul Mul -1 coth Add atanh pi Add cosh Add x0 acot Add Pow x7 Add x1 x0 Mul atanh x1 x0 x2 csch Add atanh pi Add cosh Add x0 acot Add Pow x7 Add x1 x0 Mul atanh x1 x0 x2 Mul sinh Add x0 acot Add Pow x7 Add x1 x0 Mul atanh x1 x0 Add 1 Mul -1 Mul Add Mul Pow x7 Add Add x1 x0 -1 Mul x7 log x7 atanh x1 Pow Add 1 Mul Add Pow x7 Add x1 x0 Mul atanh x1 x0 Add Pow x7 Add x1 x0 Mul atanh x1 x0 -1 