Mul x0 Mul Pow E Mul Mul x6 pi Mul acos Mul x0 x0 x0 4 
Add Mul Pow E Mul Mul x6 pi Mul acos Mul x0 x0 x0 4 Mul x0 Mul 4 Mul Pow E Add Mul Mul x6 pi Mul acos Mul x0 x0 x0 -1 Mul Mul E log E Mul Mul x6 pi Add Mul x0 Mul -1 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 acos Mul x0 x0 