Derivation Challenge: Harmonic Oscillation