Pow Pow 6 x2 Pow Mul atan x0 pi x0 
Mul Pow Pow 6 x2 Add Pow Mul atan x0 pi x0 -1 Mul Mul Pow 6 x2 log Pow 6 x2 Mul Pow Mul atan x0 pi Add x0 -1 Add Mul x0 Mul pi Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 pi log Mul atan x0 pi 