Pow 4 Mul acot Pow sqrt x0 Mul atan Add -1 x6 0.255412811882995 E 
Mul Pow 4 Add Mul acot Pow sqrt x0 Mul atan Add -1 x6 0.255412811882995 E -1 Mul 5.38629436111989 Mul E Mul -1 Mul Mul Pow sqrt x0 Add Mul atan Add -1 x6 0.255412811882995 -1 Mul Mul atan Add -1 x6 0.255412811882995 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Pow sqrt x0 Mul atan Add -1 x6 0.255412811882995 Pow sqrt x0 Mul atan Add -1 x6 0.255412811882995 -1 