eps 0.01 prec 89 delta 3.720e-44 radii 357 angles 37 series time 416.1s
{"k": 1, "model": "flat_t1", "eps": "0.01", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.905014507739625163105540712", "minK": "0.665084", "minK_at": ["0.695", 0.0], "regions": {"0<=r<=aw": ["2.504647", "0.1", 3.1416], "aw<r<=bw": ["1.480778", "0.280", 3.1416], "bw<r<abeta": ["1.485322", "0.305", 3.1416], "abeta<=r<=b": ["0.665084", "0.695", 0.0], "b<r<=1": ["1.001000", "0.999", 0.0]}, "maxrel_C_vs_P": "7.13e-88", "sup_mu": "0.004545", "norms": {"C1(psi)": "9.359228e-03", "C1(g-h)": "4.019242e-01", "C1(w)": "1.600000e-01", "C1(logdphi)": "3.981900e+00", "C1(mu)": "3.029422e-02"}, "norms_by_order": {"g-h_0": "1.609798e-01", "w_0": "7.463216e-02", "logdphi_1": "3.981900e+00", "psi_0": "1.488527e-03", "psi_1": "9.359228e-03", "mu_0": "4.544672e-03", "g-h_1": "4.019242e-01", "w_1": "1.600000e-01", "mu_1": "3.029422e-02", "logdphi_0": "7.315187e-03"}, "d_k1_psi_0": "-3.9818997098452074967378", "pred": "-3.9818997098452074967378", "dk_log_dphi_0": "-1.9909498549226037483689", "time": "38.2", "in_ratio": ["2.7791", "0.1", 3.1416], "in_resid_over_eps": "93.3120", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-47.0264", ["0.675", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.01", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.905014507739625163105540712", "minK": "0.750809", "minK_at": ["0.685", 0.0], "regions": {"0<=r<=aw": ["1.078873", "0.1", 3.1416], "aw<r<=bw": ["0.873654", "0.275", 3.1416], "bw<r<abeta": ["0.884491", "0.305", 3.1416], "abeta<=r<=b": ["0.750809", "0.685", 0.0], "b<r<=1": ["1.000000", "0.999", 0.3491]}, "maxrel_C_vs_P": "7.20e-88", "sup_mu": "0.004545", "norms": {"C1(psi)": "9.359228e-03", "C1(g-h)": "1.686842e+00", "C1(w)": "1.600000e-01", "C1(logdphi)": "3.981900e+00", "C1(mu)": "3.029422e-02"}, "norms_by_order": {"g-h_0": "6.439193e-01", "w_0": "7.463216e-02", "logdphi_1": "3.981900e+00", "psi_0": "1.488527e-03", "psi_1": "9.359228e-03", "mu_0": "4.544672e-03", "g-h_1": "1.686842e+00", "w_1": "1.600000e-01", "mu_1": "3.029422e-02", "logdphi_0": "7.315187e-03"}, "d_k1_psi_0": "-3.9818997098452074967378", "pred": "-3.9818997098452074967378", "dk_log_dphi_0": "-1.9909498549226037483689", "time": "39.7", "in_ratio": ["3.4680", "0.04660548", 3.1416], "in_resid_over_eps": "93.3120", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-46.1714", ["0.675", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.01", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.905014507739625163105540712", "minK": "0.881290", "minK_at": ["0.825", 1.5707963267948966], "regions": {"0<=r<=aw": ["1.739674", "0.1", 1.5708], "aw<r<=bw": ["1.585203", "0.300", 1.5708], "bw<r<abeta": ["1.530465", "0.350", 1.5708], "abeta<=r<=b": ["0.881290", "0.825", 1.5708], "b<r<=1": ["1.001000", "0.999", 0.0]}, "maxrel_C_vs_P": "3.28e-87", "sup_mu": "0.002448", "norms": {"C2(psi)": "3.316974e-02", "C2(g-h)": "2.944039e-01", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.194570e+01", "C2(mu)": "2.310881e-01"}, "norms_by_order": {"logdphi_2": "1.194570e+01", "psi_0": "6.363434e-04", "psi_1": "4.465580e-03", "psi_2": "3.316974e-02", "g-h_1": "2.936045e-02", "mu_1": "1.821077e-02", "g-h_2": "2.944039e-01", "mu_2": "2.310881e-01", "logdphi_1": "1.754214e-02", "g-h_0": "3.748355e-03", "mu_0": "2.447711e-03", "logdphi_0": "3.204049e-03"}, "d_k1_psi_0": "-11.945699129535622490213", "pred": "-11.945699129535622490213", "dk_log_dphi_0": "-5.9728495647678112451068", "time": "33.1", "max_abs_K_minus_Kh": "3.113674e-01"}
{"k": 2, "model": "sphere", "eps": "0.01", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.905014507739625163105540712", "minK": "0.866237", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["0.939569", "0.1", 1.5708], "aw<r<=bw": ["0.934820", "0.300", 1.5708], "bw<r<abeta": ["0.933445", "0.350", 1.5708], "abeta<=r<=b": ["0.866237", "0.820", 1.5708], "b<r<=1": ["1.000000", "0.999", 0.3491]}, "maxrel_C_vs_P": "1.30e-87", "sup_mu": "0.002448", "norms": {"C2(psi)": "3.316974e-02", "C2(g-h)": "1.120000e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.194570e+01", "C2(mu)": "2.310881e-01"}, "norms_by_order": {"logdphi_2": "1.194570e+01", "psi_0": "6.363434e-04", "psi_1": "4.465580e-03", "psi_2": "3.316974e-02", "g-h_1": "9.695274e-02", "mu_1": "1.821077e-02", "g-h_2": "1.120000e+00", "mu_2": "2.310881e-01", "logdphi_1": "1.754214e-02", "g-h_0": "1.170985e-02", "mu_0": "2.447711e-03", "logdphi_0": "3.204049e-03"}, "d_k1_psi_0": "-11.945699129535622490213", "pred": "-11.945699129535622490213", "dk_log_dphi_0": "-5.9728495647678112451068", "time": "33.3", "max_abs_K_minus_Kh": "1.337630e-01"}
{"k": 3, "model": "flat_t1", "eps": "0.01", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.905014507739625163105540712", "minK": "0.963046", "minK_at": ["0.830", 3.141592653589793], "regions": {"0<=r<=aw": ["1.931898", "0.1", 3.1416], "aw<r<=bw": ["1.682649", "0.300", 1.0472], "bw<r<abeta": ["1.601640", "0.350", 1.0472], "abeta<=r<=b": ["0.963046", "0.830", 3.1416], "b<r<=1": ["1.001000", "0.999", 0.0]}, "maxrel_C_vs_P": "4.50e-88", "sup_mu": "0.001445", "norms": {"C3(psi)": "3.085755e-01", "C3(g-h)": "6.666339e+00", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800147e+01", "C3(mu)": "5.443875e+00"}, "norms_by_order": {"logdphi_3": "4.800147e+01", "psi_0": "3.126198e-04", "psi_1": "2.545374e-03", "psi_2": "2.108351e-02", "psi_3": "3.085755e-01", "g-h_1": "1.873436e-02", "mu_1": "1.224844e-02", "g-h_2": "2.229264e-01", "mu_2": "1.753327e-01", "g-h_3": "6.666339e+00", "mu_3": "5.443875e+00", "logdphi_1": "1.390859e-02", "logdphi_2": "1.502009e-01", "g-h_0": "2.125595e-03", "mu_0": "1.445039e-03", "logdphi_0": "1.742073e-03"}, "d_k1_psi_0": "-47.782796518142489960854", "pred": "-47.782796518142489960854", "dk_log_dphi_0": "-23.891398259071244980427", "time": "41.6", "max_abs_K_minus_Kh": "2.384008e-01"}
{"k": 3, "model": "sphere", "eps": "0.01", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 89, "delta": "3.720076e-44", "c_delta": "-0.905014507739625163105540712", "minK": "0.902468", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["0.987845", "0.1", 1.0472], "aw<r<=bw": ["0.959673", "0.300", 3.1416], "bw<r<abeta": ["0.951327", "0.350", 3.1416], "abeta<=r<=b": ["0.902468", "0.825", 3.1416], "b<r<=1": ["1.000000", "0.999", 0.3491]}, "maxrel_C_vs_P": "6.82e-88", "sup_mu": "0.001445", "norms": {"C3(psi)": "3.085755e-01", "C3(g-h)": "1.630353e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800147e+01", "C3(mu)": "5.443875e+00"}, "norms_by_order": {"logdphi_3": "4.800147e+01", "psi_0": "3.126198e-04", "psi_1": "2.545374e-03", "psi_2": "2.108351e-02", "psi_3": "3.085755e-01", "g-h_1": "5.852531e-02", "mu_1": "1.224844e-02", "g-h_2": "5.667421e-01", "mu_2": "1.753327e-01", "g-h_3": "1.630353e+01", "mu_3": "5.443875e+00", "logdphi_1": "1.390859e-02", "logdphi_2": "1.502009e-01", "g-h_0": "6.365191e-03", "mu_0": "1.445039e-03", "logdphi_0": "1.742073e-03"}, "d_k1_psi_0": "-47.782796518142489960854", "pred": "-47.782796518142489960854", "dk_log_dphi_0": "-23.891398259071244980427", "time": "35.0", "max_abs_K_minus_Kh": "9.753233e-02"}
total time 641.2s
