Large deviation function for a driven underdamped particle in a periodic potential.