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