Add -1 Add Pow Pow Mul x5 acot sqrt Mul Mul x0 x2 Add x0 x5 Mul x0 x0 x1 x0 
Add Mul Pow Pow Mul x5 acot sqrt Mul Mul x0 x2 Add x0 x5 Mul x0 x0 Add x1 -1 Mul x1 Mul Pow Mul x5 acot sqrt Mul Mul x0 x2 Add x0 x5 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul x5 Mul -1 Mul Mul Pow Mul 2 sqrt Mul Mul x0 x2 Add x0 x5 -1 Add Mul Add x0 x5 x2 Mul x0 x2 Pow Add 1 Mul sqrt Mul Mul x0 x2 Add x0 x5 sqrt Mul Mul x0 x2 Add x0 x5 -1 Mul Mul Mul x5 acot sqrt Mul Mul x0 x2 Add x0 x5 log Mul x5 acot sqrt Mul Mul x0 x2 Add x0 x5 Add x0 x0 1 