Pow sqrt Mul x6 Add acoth Mul Mul x3 Mul -4 Pow atan x0 -1 acot pi x1 E 
Mul Pow sqrt Mul x6 Add acoth Mul Mul x3 Mul -4 Pow atan x0 -1 acot pi x1 Add E -1 Mul E Mul Pow Mul 2 sqrt Mul x6 Add acoth Mul Mul x3 Mul -4 Pow atan x0 -1 acot pi x1 -1 Mul x6 Mul Mul acot pi Mul x3 Mul -4 Mul Pow atan x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x3 Mul -4 Pow atan x0 -1 acot pi Mul Mul x3 Mul -4 Pow atan x0 -1 acot pi -1 