Pow Mul exp x0 x7 asech sec x0 
Mul Pow Mul exp x0 x7 Add asech sec x0 -1 Add Mul asech sec x0 Mul x7 exp x0 Mul Mul Mul exp x0 x7 log Mul exp x0 x7 Mul Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 