sqrt Mul Mul x5 Pow Add x1 x0 acot Mul x6 5 x0 
Mul Pow Mul 2 sqrt Mul Mul x5 Pow Add x1 x0 acot Mul x6 5 x0 -1 Add Mul x0 Mul x5 Mul Pow Add x1 x0 Add acot Mul x6 5 -1 acot Mul x6 5 Mul x5 Pow Add x1 x0 acot Mul x6 5 