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