Since BackwardFiniteDifference() gives it a compile-time constant, it can be evaluated in a constexpr context.