sec Mul Mul log x5 Pow x0 log x3 Pow x4 x0 
Mul Mul tan Mul Mul log x5 Pow x0 log x3 Pow x4 x0 sec Mul Mul log x5 Pow x0 log x3 Pow x4 x0 Add Mul Pow x4 x0 Mul log x5 Mul Pow x0 Add log x3 -1 log x3 Mul Mul log x5 Pow x0 log x3 Mul Pow x4 Add x0 -1 Mul x4 log x4 