Problem: two mechanics were working on your car . one can complete the given job in six hours , but the new guy takes 10 hours . they worked together for the first two hours , but then the first guy left to help another mechanic on a different job . how long will it take the new guy to finish your car ?
Rationale: "rate ( 1 ) = 1 / 6 rate ( 2 ) = 1 / 10 combined = 8 / 30 work done in 2 days = 8 / 15 work left = 7 / 15 rate * time = work left 1 / 8 * time = 7 / 15 time = 56 / 15 d"
annotated_formula: max(divide(subtract(const_1, multiply(add(divide(const_1, add(const_4, const_2)), divide(const_1, 10)), const_2)), divide(const_1, 10)), const_3)