eps 0.02 prec 67 delta 1.929e-22 radii 292 angles 37 series time 416.1s
{"k": 1, "model": "flat_t1", "eps": "0.02", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.905014507739625163105540712", "minK": "-0.008831", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["2.919992", "0.1", 3.1416], "aw<r<=bw": ["1.156060", "0.280", 3.1416], "bw<r<abeta": ["1.181744", "0.305", 3.1416], "abeta<=r<=b": ["-0.008831", "0.690", 0.0], "b<r<=1": ["1.001000", "0.999", 0.6109]}, "maxrel_C_vs_P": "3.48e-63", "sup_mu": "0.009092", "norms": {"C1(psi)": "1.871846e-02", "C1(g-h)": "9.174321e-01", "C1(w)": "3.200000e-01", "C1(logdphi)": "3.963799e+00", "C1(mu)": "6.118779e-02"}, "norms_by_order": {"g-h_0": "3.478742e-01", "w_0": "1.492643e-01", "logdphi_1": "3.963799e+00", "psi_0": "2.977053e-03", "psi_1": "1.871846e-02", "mu_0": "9.092056e-03", "g-h_1": "9.174321e-01", "w_1": "3.200000e-01", "mu_1": "6.118779e-02", "logdphi_0": "1.468428e-02"}, "d_k1_psi_0": "-3.9637994196904149934757", "pred": "-3.9637994196904149934757", "dk_log_dphi_0": "-1.9818997098452074967378", "time": "26.8", "in_ratio": ["4.7320", "0.1", 3.1416], "in_resid_over_eps": "91.3005", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-46.6621", ["0.675", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.02", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.905014507739625163105540712", "minK": "0.506284", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["1.135903", "0.1", 3.1416], "aw<r<=bw": ["0.762051", "0.275", 3.1416], "bw<r<abeta": ["0.780974", "0.305", 3.1416], "abeta<=r<=b": ["0.506284", "0.690", 0.0], "b<r<=1": ["1.000000", "0.970", 0.7854]}, "maxrel_C_vs_P": "8.50e-66", "sup_mu": "0.009092", "norms": {"C1(psi)": "1.871846e-02", "C1(g-h)": "3.766369e+00", "C1(w)": "3.200000e-01", "C1(logdphi)": "3.963799e+00", "C1(mu)": "6.118779e-02"}, "norms_by_order": {"g-h_0": "1.391497e+00", "w_0": "1.492643e-01", "logdphi_1": "3.963799e+00", "psi_0": "2.977053e-03", "psi_1": "1.871846e-02", "mu_0": "9.092056e-03", "g-h_1": "3.766369e+00", "w_1": "3.200000e-01", "mu_1": "6.118779e-02", "logdphi_0": "1.468428e-02"}, "d_k1_psi_0": "-3.9637994196904149934757", "pred": "-3.9637994196904149934757", "dk_log_dphi_0": "-1.9818997098452074967378", "time": "26.3", "in_ratio": ["5.5087", "0.1", 3.1416], "in_resid_over_eps": "91.3005", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-45.8168", ["0.675", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.02", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.905014507739625163105540712", "minK": "0.572270", "minK_at": ["0.825", 1.5707963267948966], "regions": {"0<=r<=aw": ["1.500504", "0.1", 1.5708], "aw<r<=bw": ["1.338342", "0.300", 1.5708], "bw<r<abeta": ["1.281136", "0.350", 1.5708], "abeta<=r<=b": ["0.572270", "0.825", 1.5708], "b<r<=1": ["1.001000", "0.999", 0.6109]}, "maxrel_C_vs_P": "3.13e-65", "sup_mu": "0.004897", "norms": {"C2(psi)": "6.633948e-02", "C2(g-h)": "5.894486e-01", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.189140e+01", "C2(mu)": "4.624234e-01"}, "norms_by_order": {"logdphi_2": "1.189140e+01", "psi_0": "1.272687e-03", "psi_1": "8.931159e-03", "psi_2": "6.633948e-02", "g-h_0": "7.511503e-03", "mu_0": "4.897086e-03", "g-h_1": "5.888724e-02", "mu_1": "3.649680e-02", "g-h_2": "5.894486e-01", "mu_2": "4.624234e-01", "logdphi_0": "6.418396e-03", "logdphi_1": "3.512335e-02"}, "d_k1_psi_0": "-11.891398259071244980427", "pred": "-11.891398259071244980427", "dk_log_dphi_0": "-5.9456991295356224902136", "time": "23.2", "max_abs_K_minus_Kh": "6.231472e-01"}
{"k": 2, "model": "sphere", "eps": "0.02", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.905014507739625163105540712", "minK": "0.732299", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["0.879479", "0.1", 1.5708], "aw<r<=bw": ["0.870384", "0.300", 1.5708], "bw<r<abeta": ["0.867414", "0.350", 1.5708], "abeta<=r<=b": ["0.732299", "0.820", 1.5708], "b<r<=1": ["1.000000", "0.970", 0.7854]}, "maxrel_C_vs_P": "1.34e-65", "sup_mu": "0.004897", "norms": {"C2(psi)": "6.633948e-02", "C2(g-h)": "2.240000e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.189140e+01", "C2(mu)": "4.624234e-01"}, "norms_by_order": {"logdphi_2": "1.189140e+01", "psi_0": "1.272687e-03", "psi_1": "8.931159e-03", "psi_2": "6.633948e-02", "g-h_0": "2.347530e-02", "mu_0": "4.897086e-03", "g-h_1": "1.945889e-01", "mu_1": "3.649680e-02", "g-h_2": "2.240000e+00", "mu_2": "4.624234e-01", "logdphi_0": "6.418396e-03", "logdphi_1": "3.512335e-02"}, "d_k1_psi_0": "-11.891398259071244980427", "pred": "-11.891398259071244980427", "dk_log_dphi_0": "-5.9456991295356224902136", "time": "27.3", "max_abs_K_minus_Kh": "2.677008e-01"}
{"k": 3, "model": "flat_t1", "eps": "0.02", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.905014507739625163105540712", "minK": "0.736665", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["1.883640", "0.1", 1.0472], "aw<r<=bw": ["1.531446", "0.300", 3.1416], "bw<r<abeta": ["1.422779", "0.350", 1.0472], "abeta<=r<=b": ["0.736665", "0.825", 3.1416], "b<r<=1": ["1.001000", "0.999", 0.6109]}, "maxrel_C_vs_P": "4.00e-66", "sup_mu": "0.002891", "norms": {"C3(psi)": "6.171509e-01", "C3(g-h)": "1.333449e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800294e+01", "C3(mu)": "1.088874e+01"}, "norms_by_order": {"logdphi_3": "4.800294e+01", "psi_0": "6.252395e-04", "psi_1": "5.090748e-03", "psi_2": "4.216701e-02", "psi_3": "6.171509e-01", "g-h_1": "3.752782e-02", "mu_1": "2.452503e-02", "g-h_2": "4.461440e-01", "mu_2": "3.507734e-01", "g-h_3": "1.333449e+01", "mu_3": "1.088874e+01", "logdphi_1": "2.781696e-02", "logdphi_2": "3.005574e-01", "g-h_0": "4.256101e-03", "mu_0": "2.890706e-03", "logdphi_0": "3.487185e-03"}, "d_k1_psi_0": "-47.565593036284979921709", "pred": "-47.565593036284979921709", "dk_log_dphi_0": "-23.782796518142489960854", "time": "31.8", "max_abs_K_minus_Kh": "4.778162e-01"}
{"k": 3, "model": "sphere", "eps": "0.02", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 67, "delta": "1.928750e-22", "c_delta": "-0.905014507739625163105540712", "minK": "0.804863", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["0.975700", "0.1", 1.0472], "aw<r<=bw": ["0.919617", "0.300", 1.0472], "bw<r<abeta": ["0.902993", "0.350", 1.0472], "abeta<=r<=b": ["0.804863", "0.825", 3.1416], "b<r<=1": ["1.000000", "0.970", 0.7854]}, "maxrel_C_vs_P": "6.00e-66", "sup_mu": "0.002891", "norms": {"C3(psi)": "6.171509e-01", "C3(g-h)": "3.261134e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800294e+01", "C3(mu)": "1.088874e+01"}, "norms_by_order": {"logdphi_3": "4.800294e+01", "psi_0": "6.252395e-04", "psi_1": "5.090748e-03", "psi_2": "4.216701e-02", "psi_3": "6.171509e-01", "g-h_1": "1.172806e-01", "mu_1": "2.452503e-02", "g-h_2": "1.134199e+00", "mu_2": "3.507734e-01", "g-h_3": "3.261134e+01", "mu_3": "1.088874e+01", "logdphi_1": "2.781696e-02", "logdphi_2": "3.005574e-01", "g-h_0": "1.274771e-02", "mu_0": "2.890706e-03", "logdphi_0": "3.487185e-03"}, "d_k1_psi_0": "-47.565593036284979921709", "pred": "-47.565593036284979921709", "dk_log_dphi_0": "-23.782796518142489960854", "time": "33.4", "max_abs_K_minus_Kh": "1.951370e-01"}
total time 589.1s
