how many zeros does 1000 ! end with ?
"according to above 1000 ! has 1000 / 5 + 1000 / 25 + 1000 / 125 + 1000 / 625 = 200 + 40 + 8 + 1 = 249 trailing zeros . answer : c"
add(add(divide(1000, add(const_4, const_1)), divide(subtract(1000, add(const_4, const_1)), power(add(const_4, const_1), const_2))), divide(subtract(1000, add(const_4, const_1)), power(add(const_4, const_1), const_3)))