# Coding challenge

Which seems to be larger, $\sin(\cos x)$ or $\cos(\sin x)$? (From Krantz, p. 277.)