⚠ 8sin is read as the product 8*sin(...): for a power, write 8^sin(...)‖d/(dt)(-8sin(t)) is read as dif(-8sin(t),t): use dif(expression, variable) for a derivative with respect to that variable, use (numerator)/(denominator) for a quotient

Let's differentiate: $\frac{\mathrm{d}}{\mathrm{d}t}(-8·\sin \left(t\right))$

ℹ$\frac{\mathrm{d}}{\mathrm{d}t}(-8·\sin \left(t\right))$ = $-8·\frac{\mathrm{d}}{\mathrm{d}t}\left(\sin \left(t\right)\right)$‖$\frac{\mathrm{d}}{\mathrm{d}t}\left(\sin \left(t\right)\right)$ = $\cos \left(t\right)$

$-8·\cos \left(t\right)$

▶Derivative:   $-8·\cos \left(t\right)$