Cauchy dot product checks more combinations than necessary

This is a low priority issue: it seems that it doesn't cause a performance degradation in practice.

The following discussion from !5 (merged) should be addressed:

• @isidora.araya started a discussion:

  Let's avoid this condition too by optimizing the loop. Copied from !4 (closed).