atan tan Pow Add Add x0 pi Add 7 exp Add x0 2 Add x7 x7 
Mul Mul Pow sec Pow Add Add x0 pi Add 7 exp Add x0 2 Add x7 x7 2 Mul Pow Add Add x0 pi Add 7 exp Add x0 2 Add Add x7 x7 -1 Mul Add x7 x7 Add 1 exp Add x0 2 Pow Add 1 Mul tan Pow Add Add x0 pi Add 7 exp Add x0 2 Add x7 x7 tan Pow Add Add x0 pi Add 7 exp Add x0 2 Add x7 x7 -1 