acot sqrt Pow 2.23606797749979 Mul x0 x4 
Mul -1 Mul Mul Pow Mul 2 sqrt Pow 2.23606797749979 Mul x0 x4 -1 Mul Pow 2.23606797749979 Add Mul x0 x4 -1 Mul 3.04078693371684 x4 Pow Add 1 Mul sqrt Pow 2.23606797749979 Mul x0 x4 sqrt Pow 2.23606797749979 Mul x0 x4 -1 