Problem: how many terminating zeroes r does 200 ! have ?
Rationale: you have 40 multiples of 5 , 8 of 25 and 1 of 125 . this will give 49 zeros . c
annotated_formula: add(divide(200, add(const_4, const_1)), divide(200, multiply(add(const_4, const_1), add(const_4, const_1))))