Mul x0 Pow sec Pow Pow x0 x2 x2 Add Mul Add x0 x0 x0 Mul 2 x0 
Add Pow sec Pow Pow x0 x2 x2 Add Mul Add x0 x0 x0 Mul 2 x0 Mul x0 Mul Pow sec Pow Pow x0 x2 x2 Add Add Mul Add x0 x0 x0 Mul 2 x0 -1 Add Mul Add Mul Add x0 x0 x0 Mul 2 x0 Mul Mul tan Pow Pow x0 x2 x2 sec Pow Pow x0 x2 x2 Mul Pow Pow x0 x2 Add x2 -1 Mul x2 Mul Pow x0 Add x2 -1 x2 Mul Mul sec Pow Pow x0 x2 x2 log sec Pow Pow x0 x2 x2 Add Add Mul x0 2 Add x0 x0 2 