Add Pow x0 acot exp x7 Pow Pow Add pi Add x0 Add 2 x1 Mul E 3 Mul x0 Add Add x0 x4 acot x2 
Add Mul Pow x0 Add acot exp x7 -1 acot exp x7 Mul Pow Pow Add pi Add x0 Add 2 x1 Mul E 3 Add Mul x0 Add Add x0 x4 acot x2 -1 Add Mul Mul x0 Add Add x0 x4 acot x2 Mul Pow Add pi Add x0 Add 2 x1 Add Mul E 3 -1 Mul E 3 Mul Mul Pow Add pi Add x0 Add 2 x1 Mul E 3 log Pow Add pi Add x0 Add 2 x1 Mul E 3 Add Add Add x0 x4 acot x2 x0 