And the probability to find the corner case ('input = 0') for the simplest expression ('value = 1 / input') this way is not quite astounding.