Mul exp x0 Add pi acos Pow Pow x0 Add Add x0 x0 x1 x3 
Add Mul Add pi acos Pow Pow x0 Add Add x0 x0 x1 x3 exp x0 Mul exp x0 Mul -1 Mul Mul Pow Pow x0 Add Add x0 x0 x1 Add x3 -1 Mul x3 Mul Pow x0 Add Add Add x0 x0 x1 -1 Add Add Add x0 x0 x1 Mul Mul x0 log x0 2 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 Add Add x0 x0 x1 x3 Pow Pow x0 Add Add x0 x0 x1 x3 -1 