eigen 3.1.3

This updates the eigen formula for the new eigen 3.1.3 release.