asec Add Pow Add x0 Add x0 Mul acot Add x5 pi x0 -3 acot Add x0 pi 
Mul Add Mul Pow Add x0 Add x0 Mul acot Add x5 pi x0 4 Mul -3 Add 1 Add 1 acot Add x5 pi Mul -1 Pow Add 1 Mul Add x0 pi Add x0 pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Pow Add x0 Add x0 Mul acot Add x5 pi x0 -3 acot Add x0 pi Add Pow Add x0 Add x0 Mul acot Add x5 pi x0 -3 acot Add x0 pi -1 Add Pow Add x0 Add x0 Mul acot Add x5 pi x0 -3 acot Add x0 pi Add Pow Add x0 Add x0 Mul acot Add x5 pi x0 -3 acot Add x0 pi -1 