{
  "kind": "hypothetical-arithmetic-not-benchmark",
  "formula": "1 / ((1-p) + p/s + h)",
  "assumptions": [
    "Fixed workload and output quality",
    "Sequential non-overlapping stages",
    "Unchanged remainder",
    "Added overhead measured relative to original total"
  ],
  "cases": [
    {
      "baselineMs": 100,
      "p": 0.1,
      "segmentSpeedup": 30,
      "overheadRatio": 0.05,
      "unchangedMs": 90.0,
      "acceleratedMs": 0.3333333333333333,
      "overheadMs": 5.0,
      "afterMs": 95.33333333333333,
      "totalSpeedup": 1.048951048951049
    },
    {
      "baselineMs": 100,
      "p": 0.6,
      "segmentSpeedup": 30,
      "overheadRatio": 0.05,
      "unchangedMs": 40.0,
      "acceleratedMs": 2.0,
      "overheadMs": 5.0,
      "afterMs": 47.0,
      "totalSpeedup": 2.127659574468085
    },
    {
      "baselineMs": 100,
      "p": 0.9,
      "segmentSpeedup": 30,
      "overheadRatio": 0.05,
      "unchangedMs": 9.999999999999998,
      "acceleratedMs": 3.0,
      "overheadMs": 5.0,
      "afterMs": 18.0,
      "totalSpeedup": 5.555555555555555
    },
    {
      "baselineMs": 100,
      "p": 0.1,
      "segmentSpeedup": 30,
      "overheadRatio": 0.15,
      "unchangedMs": 90.0,
      "acceleratedMs": 0.3333333333333333,
      "overheadMs": 15.0,
      "afterMs": 105.33333333333333,
      "totalSpeedup": 0.949367088607595
    }
  ]
}