Tests arithmetic identities optimizations in the optimizing compiler.