Mul Add x1 x0 Mul csch atanh x0 Add atan x7 x0 
Add Mul csch atanh x0 Add atan x7 x0 Mul Add x1 x0 Add Mul Add atan x7 x0 Mul Mul Mul -1 coth atanh x0 csch atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 csch atanh x0 