sech Mul Mul -2 exp x7 Add x0 Pow Add x0 sec x0 2 
Mul Mul tanh Mul Mul -2 exp x7 Add x0 Pow Add x0 sec x0 2 Mul -1 sech Mul Mul -2 exp x7 Add x0 Pow Add x0 sec x0 2 Mul Mul -2 exp x7 Add 1 Mul Add x0 sec x0 Mul 2 Add 1 Mul tan x0 sec x0 