Mul Pow x0 Add atan Pow 4 sqrt Add Add x0 x3 Add x0 x3 -1 Pow 3 Pow acot x0 Add pi x0 
Add Mul Pow 3 Pow acot x0 Add pi x0 Mul Pow x0 Add Add atan Pow 4 sqrt Add Add x0 x3 Add x0 x3 -1 -1 Add Add atan Pow 4 sqrt Add Add x0 x3 Add x0 x3 -1 Mul Mul x0 log x0 Mul Mul Pow 4 Add sqrt Add Add x0 x3 Add x0 x3 -1 Mul 5.38629436111989 Mul Pow Mul 2 sqrt Add Add x0 x3 Add x0 x3 -1 2 Pow Add 1 Mul Pow 4 sqrt Add Add x0 x3 Add x0 x3 Pow 4 sqrt Add Add x0 x3 Add x0 x3 -1 Mul Pow x0 Add atan Pow 4 sqrt Add Add x0 x3 Add x0 x3 -1 Mul Pow 3 Add Pow acot x0 Add pi x0 -1 Mul 4.09861228866811 Mul Pow acot x0 Add Add pi x0 -1 Add Mul Add pi x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 