Added comment for origin of formula in benchmark