Mul Mul x7 Add Pow atanh Mul E Add x0 x0 -0.855691154450617 -0.909297426825682 Mul asin Pow acot pi x0 x4 
Add Mul Mul asin Pow acot pi x0 x4 Mul x7 Mul Pow atanh Mul E Add x0 x0 -1.85569115445062 Mul -0.855691154450617 Mul Mul E 2 Pow Add 1 Mul -1 Mul Mul E Add x0 x0 Mul E Add x0 x0 -1 Mul Mul x7 Add Pow atanh Mul E Add x0 x0 -0.855691154450617 -0.909297426825682 Mul x4 Mul Mul Pow acot pi Add x0 -1 Mul acot pi log acot pi Pow sqrt Add 1 Mul -1 Mul Pow acot pi x0 Pow acot pi x0 -1 