Ob m,v0,t1,t0 Konstanten sind, muss zuvor definiert werden - streng genommen. Allerdings wäre es ein grober Verstoß gegen mathematische Gepflogenheiten, wenn es anders wäre. Für die Berechnung der Ableitung würde ich von folgender Form ausgehen.
f(t) : =0.5mv02(1+exp(t0t−t1))−2
Daraus
f′(t)=0.5mv02(−2)(1+exp(t0t−t1))−3dtd(1+exp(t0t−t1))=−mv02(1+exp(t0t−t1))−3exp(t0t−t1)t01