Add x0 Mul csch Mul x0 exp Add sec tan x0 Pow x0 Mul x0 x1 Add x0 -4 
Add 1 Add Mul Add x0 -4 Mul Mul Mul -1 coth Mul x0 exp Add sec tan x0 Pow x0 Mul x0 x1 csch Mul x0 exp Add sec tan x0 Pow x0 Mul x0 x1 Add exp Add sec tan x0 Pow x0 Mul x0 x1 Mul x0 Mul exp Add sec tan x0 Pow x0 Mul x0 x1 Add Mul Mul tan tan x0 sec tan x0 Pow sec x0 2 Mul Pow x0 Add Mul x0 x1 -1 Add Mul x0 x1 Mul Mul x0 log x0 x1 csch Mul x0 exp Add sec tan x0 Pow x0 Mul x0 x1 