Mul Add Mul Mul Pow x0 acosh Pow tan x4 x3 -3 x0 x0 Add x0 sinh acot Pow Mul coth sinh E x2 x0 
Add Mul Add x0 sinh acot Pow Mul coth sinh E x2 x0 Add Add Mul x0 Mul -3 Mul Pow x0 Add acosh Pow tan x4 x3 -1 acosh Pow tan x4 x3 Mul Pow x0 acosh Pow tan x4 x3 -3 1 Mul Add Mul Mul Pow x0 acosh Pow tan x4 x3 -3 x0 x0 Add 1 Mul cosh acot Pow Mul coth sinh E x2 x0 Mul -1 Mul Mul Pow Mul coth sinh E x2 Add x0 -1 Mul Mul coth sinh E x2 log Mul coth sinh E x2 Pow Add 1 Mul Pow Mul coth sinh E x2 x0 Pow Mul coth sinh E x2 x0 -1 