exp Mul Mul Add Pow x1 sech exp coth x0 Mul coth Add Mul sec x0 x0 x0 cosh Mul -3 x0 x0 -4 
Mul exp Mul Mul Add Pow x1 sech exp coth x0 Mul coth Add Mul sec x0 x0 x0 cosh Mul -3 x0 x0 -4 Mul -4 Add Mul x0 Add Mul Pow x1 Add sech exp coth x0 -1 Mul Mul x1 log x1 Mul Mul tanh exp coth x0 Mul -1 sech exp coth x0 Mul exp coth x0 Mul -1 Pow csch x0 2 Add Mul cosh Mul -3 x0 Mul Mul -1 Pow csch Add Mul sec x0 x0 x0 2 Add Add Mul x0 Mul tan x0 sec x0 sec x0 1 Mul coth Add Mul sec x0 x0 x0 Mul sinh Mul -3 x0 -3 Add Pow x1 sech exp coth x0 Mul coth Add Mul sec x0 x0 x0 cosh Mul -3 x0 