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