Find the 3 smallest positive x-intercepts of the graph of
y = cos 12x + cos 16x + cos 20x
and list them in increasing order.
The answer is pi/16, 3*pi/7, 5*pi.
