Add Add Add asech acot Mul -4 Add x0 Mul Add Add x0 x0 x6 sqrt x2 x0 -0.416146836547142 x0 
Add Add Mul Mul -1 Mul Mul -4 Add 1 Mul sqrt x2 2 Pow Add 1 Mul Mul -4 Add x0 Mul Add Add x0 x0 x6 sqrt x2 Mul -4 Add x0 Mul Add Add x0 x0 x6 sqrt x2 -1 Pow Mul Mul acot Mul -4 Add x0 Mul Add Add x0 x0 x6 sqrt x2 acot Mul -4 Add x0 Mul Add Add x0 x0 x6 sqrt x2 sqrt Add 1 Mul -1 Pow Mul acot Mul -4 Add x0 Mul Add Add x0 x0 x6 sqrt x2 acot Mul -4 Add x0 Mul Add Add x0 x0 x6 sqrt x2 -1 -1 1 1 