Mul 4 acot Mul sin Mul sqrt x0 x0 Pow Add x0 x6 2 
Mul 4 Mul -1 Mul Add Mul Pow Add x0 x6 2 Mul cos Mul sqrt x0 x0 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Mul sin Mul sqrt x0 x0 Mul Add x0 x6 2 Pow Add 1 Mul Mul sin Mul sqrt x0 x0 Pow Add x0 x6 2 Mul sin Mul sqrt x0 x0 Pow Add x0 x6 2 -1 