Add 4 sqrt Add acot Pow Pow Pow x0 pi x7 x6 -4 
Mul Pow Mul 2 sqrt Add acot Pow Pow Pow x0 pi x7 x6 -4 -1 Mul -1 Mul Mul Pow Pow Pow x0 pi x7 Add x6 -1 Mul x6 Mul Pow Pow x0 pi Add x7 -1 Mul x7 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow Pow Pow x0 pi x7 x6 Pow Pow Pow x0 pi x7 x6 -1 