Pow Mul acot Mul x0 Mul Mul x0 Add Add x0 x0 pi 3 x0 -2 
Mul Pow Mul acot Mul x0 Mul Mul x0 Add Add x0 x0 pi 3 x0 3 Mul -2 Add Mul x0 Mul -1 Mul Add Mul Mul x0 Add Add x0 x0 pi 3 Mul x0 Mul 3 Add Add Add x0 x0 pi Mul x0 2 Pow Add 1 Mul Mul x0 Mul Mul x0 Add Add x0 x0 pi 3 Mul x0 Mul Mul x0 Add Add x0 x0 pi 3 -1 acot Mul x0 Mul Mul x0 Add Add x0 x0 pi 3 