sqrt Mul x0 acot Add x0 Add x0 Mul Add 2 x5 2 
Mul Pow Mul 2 sqrt Mul x0 acot Add x0 Add x0 Mul Add 2 x5 2 -1 Add acot Add x0 Add x0 Mul Add 2 x5 2 Mul x0 Mul -1 Mul 2 Pow Add 1 Mul Add x0 Add x0 Mul Add 2 x5 2 Add x0 Add x0 Mul Add 2 x5 2 -1 