Derivation Challenge: 

1D Kinematic Formulas