sqrt acot Mul Add x0 Mul -1 Pow x0 1.31811607165282 Mul x7 x1 
Mul Pow Mul 2 sqrt acot Mul Add x0 Mul -1 Pow x0 1.31811607165282 Mul x7 x1 -1 Mul -1 Mul Mul Mul x7 x1 Add 1 Mul -1 Mul Pow x0 0.318116071652818 1.31811607165282 Pow Add 1 Mul Mul Add x0 Mul -1 Pow x0 1.31811607165282 Mul x7 x1 Mul Add x0 Mul -1 Pow x0 1.31811607165282 Mul x7 x1 -1 