I feel like that this is fundamentally impossible to solve for. Approximately the effort = planning + checking correctness seems to be constant.