I made a spreadsheet which tracks your naps, computes zombie mode downtime, and lets you calculate the optimal schedule. Would be fun to also create one which applies the Formula to automatically generate a gradual adaptation schedule stabilizing under availability constraints.