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