(-2*cosh(x) + 2*sinh(x))*(cosh(x) - sinh(x))
$$\left(- \sinh{\left(x \right)} + \cosh{\left(x \right)}\right) \left(2 \sinh{\left(x \right)} - 2 \cosh{\left(x \right)}\right)$$
$$4 \left(\sinh{\left(x \right)} - \cosh{\left(x \right)}\right)^{2}$$
2
-8*(-cosh(x) + sinh(x))
$$- 8 \left(\sinh{\left(x \right)} - \cosh{\left(x \right)}\right)^{2}$$