acot Add sqrt x4 Pow Add x0 Pow Mul x6 x0 x2 -2 
Mul -1 Mul Mul Pow Add x0 Pow Mul x6 x0 x2 3 Mul -2 Add 1 Mul Pow Mul x6 x0 Add x2 -1 Mul x2 x6 Pow Add 1 Mul Add sqrt x4 Pow Add x0 Pow Mul x6 x0 x2 -2 Add sqrt x4 Pow Add x0 Pow Mul x6 x0 x2 -2 -1 