High-order state transition polynomial with time expansion based on differential algebra