Pow asech Add Pow x0 pi x7 x6 
Mul Pow asech Add Pow x0 pi x7 Add x6 -1 Mul x6 Mul Mul Pow x0 Add pi -1 pi Pow Mul Mul Add Pow x0 pi x7 Add Pow x0 pi x7 sqrt Add 1 Mul -1 Pow Mul Add Pow x0 pi x7 Add Pow x0 pi x7 -1 -1 