===== flatstickexit
tent, 3-point, pairs (no gate -> flat gate)      APS          CHA        both      flat fun3-6
  none           2806->3125    4104->2503    6910->5628    2707->1057  solved 193 over 0
  none     +G2   2782->3175    3863->2508    6645->5683    2474->1057  solved 193 over 0
  step           3036->3161    3524->2492    6560->5653    2111->1057  solved 193 over 0
  step     +G2   3089->3193    3529->2499    6618->5692    2106->1057  solved 193 over 0
  bracket        7260->7226    3604->3604   10864->10830   1730->1730  solved 193 over 0
  bracket  +G2   6837->6874    3650->3650   10487->10524   1717->1717  solved 193 over 0
  both           7239->7179    3515->3515   10754->10694   1529->1529  solved 193 over 0
  both     +G2   7130->7150    3463->3463   10593->10613   1504->1504  solved 193 over 0
  project        2806->3125    3220->2503    6026->5628    1823->1057  solved 193 over 0
  project  +G2   2782->3175    3169->2508    5951->5683    1780->1057  solved 193 over 0
  safe           3036->3161    3390->2492    6426->5653    1977->1057  solved 193 over 0
  safe     +G2   3089->3193    3392->2499    6481->5692    1969->1057  solved 193 over 0
  credit         3568->4232    3020->2810    6588->7042    1044->951   solved 193 over 0
  credit   +G2   3799->4575    3064->2881    6863->7456    1044->951   solved 193 over 0

VERDICTS
  proposed rule        APS 2806->3125 (Z2 ✗)  CHA 3220->2503 (Z1 ✓)  Z3 ✓ (0 viol, 0 cells <193)  Z4 ✓  both 5628  vs Chandrupatla APS 19/19/115 p=6.1e-18   not accepted
  proposed rule + G2   APS 2782->3175 (Z2 ✗)  CHA 3169->2508 (Z1 ✓)  Z3 ✓ (0 viol, 0 cells <193)  Z4 ✓  both 5683  vs Chandrupatla APS 19/20/114 p=1.1e-17   not accepted

nine functions, projection, no gate -> flat gate, both sets:
  cbrt         18003 ->  17989
  cosine       19741 ->  15076
  exp_abs       6652 ->   6349
  exp_sq       19786 ->  13379
  rat_sq       19793 ->  13636
  ratio         6026 ->   5628
  ratio_soft    9352 ->   8903
  rational      6823 ->   7148
  sqrt         13388 ->  13233
===== flatstickmid
tent, 3-point, pairs (no gate -> flat gate)      APS          CHA        both      flat fun3-6
  none           2806->6897    4104->3019    6910->9916    2707->1057  solved 193 over 0
  none     +G2   2782->6918    3863->3055    6645->9973    2474->1057  solved 193 over 0
  step           3036->6663    3524->3019    6560->9682    2111->1057  solved 193 over 0
  step     +G2   3089->6709    3529->3055    6618->9764    2106->1057  solved 193 over 0
  bracket        7260->7214    3604->3604   10864->10818   1730->1730  solved 193 over 0
  bracket  +G2   6837->6886    3650->3650   10487->10536   1717->1717  solved 193 over 0
  both           7239->7241    3515->3515   10754->10756   1529->1529  solved 193 over 0
  both     +G2   7130->7196    3463->3463   10593->10659   1504->1504  solved 193 over 0
  project        2806->6897    3220->3019    6026->9916    1823->1057  solved 193 over 0
  project  +G2   2782->6918    3169->3055    5951->9973    1780->1057  solved 193 over 0
  safe           3036->6663    3390->3019    6426->9682    1977->1057  solved 193 over 0
  safe     +G2   3089->6709    3392->3055    6481->9764    1969->1057  solved 193 over 0
  credit         3568->6837    3020->3002    6588->9839    1044->951   solved 193 over 0
  credit   +G2   3799->6953    3064->3002    6863->9955    1044->951   solved 193 over 0

VERDICTS
  proposed rule        APS 2806->6897 (Z2 ✗)  CHA 3220->3019 (Z1 ✓)  Z3 ✓ (0 viol, 0 cells <193)  Z4 ✓  both 9916  vs Chandrupatla APS 9/4/140 p=2.3e-31   not accepted
  proposed rule + G2   APS 2782->6918 (Z2 ✗)  CHA 3169->3055 (Z1 ✓)  Z3 ✓ (0 viol, 0 cells <193)  Z4 ✓  both 9973  vs Chandrupatla APS 9/4/140 p=2.3e-31   not accepted

nine functions, projection, no gate -> flat gate, both sets:
  cbrt         18003 ->  12694
  cosine       19741 ->  10825
  exp_abs       6652 ->  10621
  exp_sq       19786 ->  10810
  rat_sq       19793 ->  10793
  ratio         6026 ->   9916
  ratio_soft    9352 ->  10447
  rational      6823 ->  10634
  sqrt         13388 ->  11332
