Mul x0 Pow Pow x0 acos Add x7 x0 pi 
Add Pow Pow x0 acos Add x7 x0 pi Mul x0 Mul Pow Pow x0 acos Add x7 x0 Add pi -1 Mul pi Mul Pow x0 Add acos Add x7 x0 -1 Add acos Add x7 x0 Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x7 x0 Add x7 x0 -1 