Add 1 Add Add x0 acot Mul Add Add x0 Mul x0 -2 x0 x6 sqrt Add x0 Pow Pow x3 x0 pi 
Add Add 1 Mul -1 Mul Mul x6 2 Pow Add 1 Mul Mul Add Add x0 Mul x0 -2 x0 x6 Mul Add Add x0 Mul x0 -2 x0 x6 -1 Mul Pow Mul 2 sqrt Add x0 Pow Pow x3 x0 pi -1 Add 1 Mul Pow Pow x3 x0 Add pi -1 Mul pi Mul Pow x3 Add x0 -1 Mul x3 log x3 