[math-fun] Redundant computations on today's computer architectures