tanh Mul Add x0 2 Pow sech tan x0 x0 
Mul Pow sech Mul Add x0 2 Pow sech tan x0 x0 2 Add Pow sech tan x0 x0 Mul Add x0 2 Mul Pow sech tan x0 Add x0 -1 Add Mul x0 Mul Mul tanh tan x0 Mul -1 sech tan x0 Pow sec x0 2 Mul sech tan x0 log sech tan x0 