1Tests arithmetic identities optimizations in the optimizing compiler.
2