Add sec Pow atan exp x0 Mul x0 x7 x0 
Add Mul Mul tan Pow atan exp x0 Mul x0 x7 sec Pow atan exp x0 Mul x0 x7 Mul Pow atan exp x0 Add Mul x0 x7 -1 Add Mul Mul x0 x7 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Mul Mul atan exp x0 log atan exp x0 x7 1 