Solution (source code)

= Solution

Differentiating a <vector> using $(dA/dt)_S=(dA/dt)_{S\prime}+\omega\times A$ twice yields
$m\ddot x=F-2m\omega\times\dot x-m\dot\omega\times x-m\omega\times(\omega\times x)$.