Add -3 acot Add Mul Mul Add sqrt Add Pow x4 x7 Add x0 4 Mul x2 x3 x0 2 x3 
Mul -1 Mul Mul 2 Add Mul x0 Pow Mul 2 sqrt Add Pow x4 x7 Add x0 4 -1 Add sqrt Add Pow x4 x7 Add x0 4 Mul x2 x3 Pow Add 1 Mul Add Mul Mul Add sqrt Add Pow x4 x7 Add x0 4 Mul x2 x3 x0 2 x3 Add Mul Mul Add sqrt Add Pow x4 x7 Add x0 4 Mul x2 x3 x0 2 x3 -1 