Mul Add -2 x0 Add Mul sqrt Add x3 Add x0 Mul 5 asech Add x7 Add acot pi x4 -3 x0 
Add Add Mul sqrt Add x3 Add x0 Mul 5 asech Add x7 Add acot pi x4 -3 x0 Mul Add -2 x0 Add Mul -3 Pow Mul 2 sqrt Add x3 Add x0 Mul 5 asech Add x7 Add acot pi x4 -1 1 