Add Mul Pow acot Mul x0 x0 1.44363547517881 Mul -1 Mul x5 Mul Mul x0 x0 -1 Mul 2 x0 
Add Add Mul Mul -1 Mul x5 Mul Mul x0 x0 -1 Mul Pow acot Mul x0 x0 0.443635475178810 Mul 1.44363547517881 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Pow acot Mul x0 x0 1.44363547517881 Mul -1 Mul x5 Mul -1 Add x0 x0 2 