Yesterday, nobody contributed anything. :-( The official answer is: cos(3 * x) / x.