Add Mul Pow x0 acot x7 Mul Add Pow x0 4 x7 Add x3 Mul E x0 2 
Add Mul Mul Add Pow x0 4 x7 Add x3 Mul E x0 Mul Pow x0 Add acot x7 -1 acot x7 Mul Pow x0 acot x7 Add Mul Add x3 Mul E x0 Mul Pow x0 3 4 Mul Add Pow x0 4 x7 E 