Pow x0 Add sec Add x0 Add Mul x0 x0 3 asech x7 
Mul Pow x0 Add Add sec Add x0 Add Mul x0 x0 3 asech x7 -1 Add Add sec Add x0 Add Mul x0 x0 3 asech x7 Mul Mul x0 log x0 Mul Mul tan Add x0 Add Mul x0 x0 3 sec Add x0 Add Mul x0 x0 3 Add 1 Add x0 x0 