Hmmm... this isn't supposed to be ignoring rotations, I guess that `dev_dy` could be non-zero when `dy` is zero, so perhaps `dev_dy` does need to be taken into account...