Add 3 acot log Pow x4 Pow Pow Mul atan x0 pi 3 0.265802228834080 
Mul -1 Mul Mul Mul Pow x4 Add Pow Pow Mul atan x0 pi 3 0.265802228834080 -1 Mul Mul x4 log x4 Mul Pow Pow Mul atan x0 pi 3 -0.734197771165920 Mul 0.265802228834080 Mul Pow Mul atan x0 pi 2 Mul 3 Mul pi Pow Add 1 Mul x0 x0 -1 Pow Pow x4 Pow Pow Mul atan x0 pi 3 0.265802228834080 -1 Pow Add 1 Mul log Pow x4 Pow Pow Mul atan x0 pi 3 0.265802228834080 log Pow x4 Pow Pow Mul atan x0 pi 3 0.265802228834080 -1 