Pow Add asech x6 x0 Pow x0 asec acos exp x0 
Mul Pow Add asech x6 x0 Add Pow x0 asec acos exp x0 -1 Add Pow x0 asec acos exp x0 Mul Mul Add asech x6 x0 log Add asech x6 x0 Mul Pow x0 Add asec acos exp x0 -1 Add asec acos exp x0 Mul Mul x0 log x0 Mul Mul -1 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos exp x0 acos exp x0 -1 acos exp x0 acos exp x0 -1 