Mul Pow pi Add Mul -3 x0 Pow Pow -3 x6 Mul acot x0 Add 3 x3 x5 
Mul x5 Mul Pow pi Add Add Mul -3 x0 Pow Pow -3 x6 Mul acot x0 Add 3 x3 -1 Mul Mul pi log pi Add -3 Mul Pow Pow -3 x6 Add Mul acot x0 Add 3 x3 -1 Mul Mul Pow -3 x6 log Pow -3 x6 Mul Add 3 x3 Mul -1 Pow Add 1 Mul x0 x0 -1 