TODO: Test this
(define (solve-2nd a b dt y0 dy0) (define dy (integral ddy dy0 dt)) (define y (integral dy y0 dt)) (define ddy (add-streams (scale-stream dy a) (scale-stream y b))) y)