Add x0 asec Mul Mul Add x0 Mul Add 4 E x1 acot x0 -2 
Add 1 Mul Mul -2 Add acot x0 Mul Add x0 Mul Add 4 E x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul Add x0 Mul Add 4 E x1 acot x0 -2 Mul Mul Add x0 Mul Add 4 E x1 acot x0 -2 -1 Mul Mul Add x0 Mul Add 4 E x1 acot x0 -2 Mul Mul Add x0 Mul Add 4 E x1 acot x0 -2 -1 