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