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