Mul atan Mul x0 Mul atan x0 x7 Add atanh Add x0 Add x1 0.999329299739067 csch E 
Add Mul Add atanh Add x0 Add x1 0.999329299739067 csch E Mul Add Mul atan x0 x7 Mul x0 Mul x7 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul x0 Mul atan x0 x7 Mul x0 Mul atan x0 x7 -1 Mul atan Mul x0 Mul atan x0 x7 Pow Add 1 Mul -1 Mul Add x0 Add x1 0.999329299739067 Add x0 Add x1 0.999329299739067 -1 