acos Mul acos Mul sin Add x0 pi x0 Mul 2 x7 
Mul -1 Mul Mul Mul 2 x7 Mul -1 Mul Add Mul x0 cos Add x0 pi sin Add x0 pi Pow sqrt Add 1 Mul -1 Mul Mul sin Add x0 pi x0 Mul sin Add x0 pi x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acos Mul sin Add x0 pi x0 Mul 2 x7 Mul acos Mul sin Add x0 pi x0 Mul 2 x7 -1 