Mul x0 Add Pow Pow Pow tan exp x0 x0 Pow Mul x0 sec Add Pow x3 x0 9 x0 x2 x0 
Add Add Pow Pow Pow tan exp x0 x0 Pow Mul x0 sec Add Pow x3 x0 9 x0 x2 x0 Mul x0 Add Mul Pow Pow Pow tan exp x0 x0 Pow Mul x0 sec Add Pow x3 x0 9 x0 Add x2 -1 Mul x2 Mul Pow Pow tan exp x0 x0 Add Pow Mul x0 sec Add Pow x3 x0 9 x0 -1 Add Mul Pow Mul x0 sec Add Pow x3 x0 9 x0 Mul Pow tan exp x0 Add x0 -1 Add Mul x0 Mul Pow sec exp x0 2 exp x0 Mul tan exp x0 log tan exp x0 Mul Mul Pow tan exp x0 x0 log Pow tan exp x0 x0 Mul Pow Mul x0 sec Add Pow x3 x0 9 Add x0 -1 Add Mul x0 Add sec Add Pow x3 x0 9 Mul x0 Mul Mul tan Add Pow x3 x0 9 sec Add Pow x3 x0 9 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul x0 sec Add Pow x3 x0 9 log Mul x0 sec Add Pow x3 x0 9 1 