sinh Pow Add x0 Pow x0 sech Pow acos tanh tan x1 -2 x1 
Mul cosh Pow Add x0 Pow x0 sech Pow acos tanh tan x1 -2 x1 Mul Pow Add x0 Pow x0 sech Pow acos tanh tan x1 -2 Add x1 -1 Mul x1 Add 1 Mul Pow x0 Add sech Pow acos tanh tan x1 -2 -1 sech Pow acos tanh tan x1 -2 