grid tables: 11s
simplex tables: 35s
self-test: Phi bounds hold at 800 random points; Arb arc bound within 1.1e-15 of the float estimate at 110 points
simplex lower tables (d,h,value): [(3, 0.5, np.float64(0.183280822)), (3, 1.7, np.float64(0.8664186074)), (3, 3.0, np.float64(0.9959477712)), (4, 0.5, np.float64(0.0888736224)), (4, 1.7, np.float64(0.8232540959)), (4, 3.0, np.float64(0.9945942397)), (5, 0.5, np.float64(0.043229163)), (5, 1.7, np.float64(0.7820512758)), (5, 3.0, np.float64(0.9932400052))]
S-switched: 27 cells certified, 16 pending, 0 failed, 35 thresholds, 2699824 Arb arc evaluations, 142s
S-switched: 33 cells certified, 20 pending, 0 failed, 43 thresholds, 3320372 Arb arc evaluations, 179s
S-switched: 44 cells certified, 18 pending, 0 failed, 53 thresholds, 4096578 Arb arc evaluations, 212s
S-switched: 62 cells certified, 0 pending, 0 failed, 62 thresholds, 4795534 Arb arc evaluations, 249s
RESULT S-switched {"a": ["17477765501/125000000000", "2627/10000", "99/10"], "cells": 62, "failed": 0, "covered": true, "certified": true, "min_cell_log2": -8.0, "min_slack": 0.00010649212992977599, "seconds": 248.56446075439453}
Arb arc evaluations: 4795534 in total; largest ball radius 9.9e-15