[ins][invariant] use float_quat_derivative instead of float_quat_vmul_left