Ableitung mehrerer von t abhängiger funktionen

Ich muss für ein takehome exam hier in amerika ein bewegungsgleichungsystem herleiten

und dabei muss ich l *cos(phi1 + phi2) nach t ableiten
phi1 sowie phi2 sind von t abhängig

wie sieht das ergebnis aus?

-l*sin(phi1+phi2)*(dphi1 + dphi2) ?
ich bin mir nicht sicher & vor allem würde mir dphi1*dphi2 wesentlich besser ins system passen

-l*sin(phi1+phi2)*(dphi1 + dphi2) ?

Falls das d bedeutet, dass phi1 und 2 noch abzuleiten sind nachdem sie eingesetzt wurden, ist dies korrekt.