Pow x7 Add asin Pow Add x1 pi Mul x0 Mul x0 x2 x4 
Mul Pow x7 Add Add asin Pow Add x1 pi Mul x0 Mul x0 x2 x4 -1 Mul Mul x7 log x7 Mul Mul Pow Add x1 pi Add Mul x0 Mul x0 x2 -1 Mul Mul Add x1 pi log Add x1 pi Add Mul x0 x2 Mul x0 x2 Pow sqrt Add 1 Mul -1 Mul Pow Add x1 pi Mul x0 Mul x0 x2 Pow Add x1 pi Mul x0 Mul x0 x2 -1 