Calculating Measurement Probability over time in Energy Basis (1 of 2)

Let's calculate the probability, as a function of time, of measuring state a1 - which is not an energy eigenstate - if our system starts in psi (also not an energy eigenstate). Here I draw an analogy between this question and what we did back in spin-1/2.