asech Pow x0 sec Mul x0 x2 
Mul Mul Pow x0 Add sec Mul x0 x2 -1 Add sec Mul x0 x2 Mul Mul x0 log x0 Mul Mul tan Mul x0 x2 sec Mul x0 x2 x2 Pow Mul Mul Pow x0 sec Mul x0 x2 Pow x0 sec Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Pow x0 sec Mul x0 x2 Pow x0 sec Mul x0 x2 -1 -1 