Pow Add sec Pow x0 Mul exp x0 x3 x0 4 
Mul Pow Add sec Pow x0 Mul exp x0 x3 x0 3 Mul 4 Add Mul Mul tan Pow x0 Mul exp x0 x3 sec Pow x0 Mul exp x0 x3 Mul Pow x0 Add Mul exp x0 x3 -1 Add Mul exp x0 x3 Mul Mul x0 log x0 Mul x3 exp x0 1 