Pow Mul Mul Add Mul x0 x3 Add x0 x7 Add 0.000320000000000000 acoth E atan Pow Add x0 x0 -2 atanh sqrt x5 
Mul Pow Mul Mul Add Mul x0 x3 Add x0 x7 Add 0.000320000000000000 acoth E atan Pow Add x0 x0 -2 Add atanh sqrt x5 -1 Mul atanh sqrt x5 Mul atan Pow Add x0 x0 -2 Mul Add 0.000320000000000000 acoth E Add x3 1 