2
(cosh(x) - cos(x)) *(3*sin(x) + 3*sinh(x))
$$\left(3 \sin{\left(x \right)} + 3 \sinh{\left(x \right)}\right) \left(- \cos{\left(x \right)} + \cosh{\left(x \right)}\right)^{2}$$
/ 2 \
3*(-cosh(x) + cos(x))*\- 2*(sin(x) + sinh(x)) + (-cosh(x) + cos(x))*(cos(x) + cosh(x))/
$$3 \left(- 2 \left(\sin{\left(x \right)} + \sinh{\left(x \right)}\right)^{2} + \left(\cos{\left(x \right)} - \cosh{\left(x \right)}\right) \left(\cos{\left(x \right)} + \cosh{\left(x \right)}\right)\right) \left(\cos{\left(x \right)} - \cosh{\left(x \right)}\right)$$
/ 3 2 \
3*\2*(sin(x) + sinh(x)) - (-cosh(x) + cos(x)) *(-sinh(x) + sin(x)) - 6*(-cosh(x) + cos(x))*(cos(x) + cosh(x))*(sin(x) + sinh(x))/
$$3 \left(- \left(\sin{\left(x \right)} - \sinh{\left(x \right)}\right) \left(\cos{\left(x \right)} - \cosh{\left(x \right)}\right)^{2} + 2 \left(\sin{\left(x \right)} + \sinh{\left(x \right)}\right)^{3} - 6 \left(\sin{\left(x \right)} + \sinh{\left(x \right)}\right) \left(\cos{\left(x \right)} - \cosh{\left(x \right)}\right) \left(\cos{\left(x \right)} + \cosh{\left(x \right)}\right)\right)$$