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