Mul Pow Mul Pow Mul cosh x0 tan x5 -2 acoth Mul x0 cosh Mul x0 x0 4 x2 
Mul x2 Mul Pow Mul Pow Mul cosh x0 tan x5 -2 acoth Mul x0 cosh Mul x0 x0 3 Mul 4 Add Mul acoth Mul x0 cosh Mul x0 x0 Mul Pow Mul cosh x0 tan x5 3 Mul -2 Mul tan x5 sinh x0 Mul Pow Mul cosh x0 tan x5 -2 Mul Add cosh Mul x0 x0 Mul x0 Mul sinh Mul x0 x0 Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 cosh Mul x0 x0 Mul x0 cosh Mul x0 x0 -1 