atan Mul x0 Add Mul exp x1 Pow sec Mul x1 x4 x0 1 
Mul Add Add Mul exp x1 Pow sec Mul x1 x4 x0 1 Mul x0 Mul exp x1 Mul Pow sec Mul x1 x4 Add x0 -1 Mul sec Mul x1 x4 log sec Mul x1 x4 Pow Add 1 Mul Mul x0 Add Mul exp x1 Pow sec Mul x1 x4 x0 1 Mul x0 Add Mul exp x1 Pow sec Mul x1 x4 x0 1 -1 