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