Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction.