sec Add x0 Pow atan Add x0 cosh pi Mul Add exp x0 x0 Pow x6 -3 
Mul Mul tan Add x0 Pow atan Add x0 cosh pi Mul Add exp x0 x0 Pow x6 -3 sec Add x0 Pow atan Add x0 cosh pi Mul Add exp x0 x0 Pow x6 -3 Add 1 Mul Pow atan Add x0 cosh pi Add Mul Add exp x0 x0 Pow x6 -3 -1 Add Mul Mul Add exp x0 x0 Pow x6 -3 Pow Add 1 Mul Add x0 cosh pi Add x0 cosh pi -1 Mul Mul atan Add x0 cosh pi log atan Add x0 cosh pi Mul Pow x6 -3 Add exp x0 1 