eps 0.04 prec 56 delta 1.389e-11 radii 259 angles 37 series time 416.0s
{"k": 1, "model": "flat_t1", "eps": "0.04", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 56, "delta": "1.388794e-11", "c_delta": "-0.905014507739625163105036262", "minK": "-1.324163", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["3.476237", "0.1", 3.1416], "aw<r<=bw": ["0.632973", "0.280", 3.1416], "bw<r<abeta": ["0.681602", "0.305", 3.1416], "abeta<=r<=b": ["-1.324163", "0.690", 0.0], "b<r<=1": ["1.001000", "0.999", 0.0873]}, "maxrel_C_vs_P": "1.45e-51", "sup_mu": "0.018195", "norms": {"C1(psi)": "3.743691e-02", "C1(g-h)": "2.470800e+00", "C1(w)": "6.400000e-01", "C1(logdphi)": "3.927599e+00", "C1(mu)": "1.248408e-01"}, "norms_by_order": {"g-h_0": "8.167648e-01", "w_0": "2.985287e-01", "logdphi_1": "3.927599e+00", "psi_0": "5.954106e-03", "psi_1": "3.743691e-02", "mu_0": "1.819516e-02", "g-h_1": "2.470800e+00", "w_1": "6.400000e-01", "mu_1": "1.248408e-01", "logdphi_0": "2.958741e-02"}, "d_k1_psi_0": "-3.9275988393808299869515", "pred": "-3.9275988393808299869515", "dk_log_dphi_0": "-1.9637994196904149934757", "time": "22.7", "in_ratio": ["8.5277", "0.1", 3.1416], "in_resid_over_eps": "87.9641", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-45.9776", ["0.680", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.04", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 56, "delta": "1.388794e-11", "c_delta": "-0.905014507739625163105036262", "minK": "0.029884", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["1.195432", "0.1", 3.1416], "aw<r<=bw": ["0.576966", "0.275", 3.1416], "bw<r<abeta": ["0.605545", "0.305", 3.1416], "abeta<=r<=b": ["0.029884", "0.690", 0.0], "b<r<=1": ["1.000000", "0.940", 0.0]}, "maxrel_C_vs_P": "9.18e-54", "sup_mu": "0.018195", "norms": {"C1(psi)": "3.743691e-02", "C1(g-h)": "9.884205e+00", "C1(w)": "6.400000e-01", "C1(logdphi)": "3.927599e+00", "C1(mu)": "1.248408e-01"}, "norms_by_order": {"g-h_0": "3.267059e+00", "w_0": "2.985287e-01", "logdphi_1": "3.927599e+00", "psi_0": "5.954106e-03", "psi_1": "3.743691e-02", "mu_0": "1.819516e-02", "g-h_1": "9.884205e+00", "w_1": "6.400000e-01", "mu_1": "1.248408e-01", "logdphi_0": "2.958741e-02"}, "d_k1_psi_0": "-3.9275988393808299869515", "pred": "-3.9275988393808299869515", "dk_log_dphi_0": "-1.9637994196904149934757", "time": "20.2", "in_ratio": ["9.2933", "0.1", 3.1416], "in_resid_over_eps": "87.9641", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-45.1213", ["0.675", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.04", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 56, "delta": "1.388794e-11", "c_delta": "-0.905014507739625163105036262", "minK": "-0.052060", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["1.026193", "0.1", 1.5708], "aw<r<=bw": ["0.852833", "0.300", 1.5708], "bw<r<abeta": ["0.788179", "0.350", 1.5708], "abeta<=r<=b": ["-0.052060", "0.820", 1.5708], "b<r<=1": ["1.001000", "0.999", 0.0873]}, "maxrel_C_vs_P": "6.38e-54", "sup_mu": "0.009801", "norms": {"C2(psi)": "1.326790e-01", "C2(g-h)": "1.181464e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.178280e+01", "C2(mu)": "9.258360e-01"}, "norms_by_order": {"logdphi_2": "1.178280e+01", "psi_0": "2.545374e-03", "psi_1": "1.786232e-02", "psi_2": "1.326790e-01", "g-h_0": "1.508240e-02", "mu_0": "9.800840e-03", "g-h_1": "1.184486e-01", "mu_1": "7.329633e-02", "g-h_2": "1.181464e+00", "mu_2": "9.258360e-01", "logdphi_0": "1.287825e-02", "logdphi_1": "7.040347e-02"}, "d_k1_psi_0": "-11.782796518142489960854", "pred": "-11.782796518142489960854", "dk_log_dphi_0": "-5.8913982590712449804273", "time": "18.4", "max_abs_K_minus_Kh": "1.247946e+00"}
{"k": 2, "model": "sphere", "eps": "0.04", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 56, "delta": "1.388794e-11", "c_delta": "-0.905014507739625163105036262", "minK": "0.463899", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["0.760000", "0.000001146654", 1.5708], "aw<r<=bw": ["0.743693", "0.300", 1.5708], "bw<r<abeta": ["0.736891", "0.350", 1.5708], "abeta<=r<=b": ["0.463899", "0.820", 1.5708], "b<r<=1": ["1.000000", "0.940", 0.0]}, "maxrel_C_vs_P": "1.60e-54", "sup_mu": "0.009801", "norms": {"C2(psi)": "1.326790e-01", "C2(g-h)": "4.480227e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.178280e+01", "C2(mu)": "9.258360e-01"}, "norms_by_order": {"logdphi_2": "1.178280e+01", "psi_0": "2.545374e-03", "psi_1": "1.786232e-02", "psi_2": "1.326790e-01", "g-h_0": "4.717423e-02", "mu_0": "9.800840e-03", "g-h_1": "3.920022e-01", "mu_1": "7.329633e-02", "g-h_2": "4.480227e+00", "mu_2": "9.258360e-01", "logdphi_0": "1.287825e-02", "logdphi_1": "7.040347e-02"}, "d_k1_psi_0": "-11.782796518142489960854", "pred": "-11.782796518142489960854", "dk_log_dphi_0": "-5.8913982590712449804273", "time": "20.4", "max_abs_K_minus_Kh": "5.361014e-01"}
{"k": 3, "model": "flat_t1", "eps": "0.04", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 56, "delta": "1.388794e-11", "c_delta": "-0.905014507739625163105036262", "minK": "0.282616", "minK_at": ["0.825", 1.0471975511965979], "regions": {"0<=r<=aw": ["1.787249", "0.1", 1.0472], "aw<r<=bw": ["1.232045", "0.300", 1.0472], "bw<r<abeta": ["1.068725", "0.350", 1.0472], "abeta<=r<=b": ["0.282616", "0.825", 1.0472], "b<r<=1": ["1.001000", "0.999", 0.0873]}, "maxrel_C_vs_P": "9.11e-55", "sup_mu": "0.005784", "norms": {"C3(psi)": "1.234302e+00", "C3(g-h)": "2.667621e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800587e+01", "C3(mu)": "2.178144e+01"}, "norms_by_order": {"g-h_3": "2.667621e+01", "mu_3": "2.178144e+01", "logdphi_3": "4.800587e+01", "psi_0": "1.250479e-03", "psi_1": "1.018150e-02", "psi_2": "8.433403e-02", "psi_3": "1.234302e+00", "g-h_0": "8.531885e-03", "mu_0": "5.783931e-03", "g-h_1": "7.529301e-02", "mu_1": "4.916299e-02", "g-h_2": "8.934534e-01", "mu_2": "7.019786e-01", "logdphi_0": "6.986574e-03", "logdphi_1": "5.563227e-02", "logdphi_2": "6.017384e-01"}, "d_k1_psi_0": "-47.131186072569959843419", "pred": "-47.131186072569959843419", "dk_log_dphi_0": "-23.565593036284979921709", "time": "28.3", "max_abs_K_minus_Kh": "9.597154e-01"}
{"k": 3, "model": "sphere", "eps": "0.04", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 56, "delta": "1.388794e-11", "c_delta": "-0.905014507739625163105036262", "minK": "0.609437", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["0.951441", "0.1", 1.0472], "aw<r<=bw": ["0.840311", "0.300", 1.0472], "bw<r<abeta": ["0.807334", "0.350", 1.0472], "abeta<=r<=b": ["0.609437", "0.825", 3.1416], "b<r<=1": ["1.000000", "0.940", 0.0]}, "maxrel_C_vs_P": "6.41e-55", "sup_mu": "0.005784", "norms": {"C3(psi)": "1.234302e+00", "C3(g-h)": "6.523981e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800587e+01", "C3(mu)": "2.178144e+01"}, "norms_by_order": {"g-h_3": "6.523981e+01", "mu_3": "2.178144e+01", "logdphi_3": "4.800587e+01", "psi_0": "1.250479e-03", "psi_1": "1.018150e-02", "psi_2": "8.433403e-02", "psi_3": "1.234302e+00", "g-h_0": "2.556495e-02", "mu_0": "5.783931e-03", "g-h_1": "2.354859e-01", "mu_1": "4.916299e-02", "g-h_2": "2.273262e+00", "mu_2": "7.019786e-01", "logdphi_0": "6.986574e-03", "logdphi_1": "5.563227e-02", "logdphi_2": "6.017384e-01"}, "d_k1_psi_0": "-47.131186072569959843419", "pred": "-47.131186072569959843419", "dk_log_dphi_0": "-23.565593036284979921709", "time": "25.9", "max_abs_K_minus_Kh": "3.905635e-01"}
total time 556.1s
