Problem: today is thursday . i came home from a trip 3 days before the day after last monday . how many days have i been home ?
Rationale: d 6 days the day after last monday was tuesday . if i came home 3 days before that , i came home on saturday , sunday , monday , tuesday , wednesday , and thursday = 6 days .
annotated_formula: add(add(3, const_1), const_2)