Mul Pow pi 3 Add -3 sqrt Pow Mul x0 Add 5 Mul Pow x0 x7 x7 x3 
Mul Pow pi 3 Mul Pow Mul 2 sqrt Pow Mul x0 Add 5 Mul Pow x0 x7 x7 x3 -1 Mul Pow Mul x0 Add 5 Mul Pow x0 x7 x7 Add x3 -1 Mul x3 Add Add 5 Mul Pow x0 x7 x7 Mul x0 Mul x7 Mul Pow x0 Add x7 -1 x7 