mathwonk

and again the second part is zero because of equality of mixed partials and the fact that dr^dt = -dt^dr.

so we get just [df/dt dx/dr] dt^dr + df/dr dx/dt dr^dt]

= [df/dr dx/dt - df/dt dx/dr] dr^dt,