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