exp tanh Pow Mul sinh tan x0 x0 x4 
Mul exp tanh Pow Mul sinh tan x0 x0 x4 Mul Pow sech Pow Mul sinh tan x0 x0 x4 2 Mul Pow Mul sinh tan x0 x0 Add x4 -1 Mul x4 Add Mul x0 Mul cosh tan x0 Pow sec x0 2 sinh tan x0 