asech Pow sec x0 exp Add x3 Pow x0 sech x1 
Mul Mul Pow sec x0 Add exp Add x3 Pow x0 sech x1 -1 Add Mul exp Add x3 Pow x0 sech x1 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul exp Add x3 Pow x0 sech x1 Mul Pow x0 Add sech x1 -1 sech x1 Pow Mul Mul Pow sec x0 exp Add x3 Pow x0 sech x1 Pow sec x0 exp Add x3 Pow x0 sech x1 sqrt Add 1 Mul -1 Pow Mul Pow sec x0 exp Add x3 Pow x0 sech x1 Pow sec x0 exp Add x3 Pow x0 sech x1 -1 -1 