Verifying a solution to the differential equation y''+y=tan(x)

From a channel Lumen includes in full: Steve Chow (blackpenredpen) is a long-time calculus teacher who works integrals, derivatives, series, special functions and precalculus problems in full on the whiteboard, including multi-hour practice marathons.

A 6-minute video from blackpenredpen's catalogue; the title names its topic.

Video by blackpenredpen, played through YouTube's embedded player.