Mul Mul acoth Mul Mul 0.756802495307928 x0 x2 x0 atan Mul x0 E 
Add Mul atan Mul x0 E Add Mul x0 Mul Mul x2 0.756802495307928 Pow Add 1 Mul -1 Mul Mul Mul 0.756802495307928 x0 x2 Mul Mul 0.756802495307928 x0 x2 -1 acoth Mul Mul 0.756802495307928 x0 x2 Mul Mul acoth Mul Mul 0.756802495307928 x0 x2 x0 Mul E Pow Add 1 Mul Mul x0 E Mul x0 E -1 