stretching your muscles take a while and from a point of time effectiveness, your overall performance would improve more with additional training and/or cool down pedalling.
stretching is very undocumented.