to eliminate worry, dispel depression, or relieve stress through some activity

to divert one's mind from boredom or low spirits

to use something as a means of relieving boredom or tedium to some extent