eps 0.02 prec 67 delta 1.929e-22 radii 292 angles 48 series time 214.5s
{"k": 1, "model": "sphere_off", "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": "-4.833427", "minK_at": ["0.685", 0.0], "regions": {"0<=r<=aw": ["6.170128", "0.1", 3.1416], "aw<r<=bw": ["-1.071170", "0.280", 3.1416], "bw<r<abeta": ["-0.932173", "0.305", 3.1416], "abeta<=r<=b": ["-4.833427", "0.685", 0.0], "b<r<=1": ["1.000000", "0.955", 0.1309]}, "maxrel_C_vs_P": "8.48e-63", "sup_mu": "0.009092", "norms": {"C1(psi)": "1.871846e-02", "C1(g-h)": "2.496462e-01", "C1(w)": "3.200000e-01", "C1(logdphi)": "3.963799e+00", "C1(mu)": "6.118779e-02"}, "norms_by_order": {"g-h_0": "8.015021e-02", "w_0": "1.492643e-01", "g-h_1": "2.496462e-01", "logdphi_1": "3.963799e+00", "psi_0": "2.977053e-03", "psi_1": "1.871846e-02", "mu_0": "9.092056e-03", "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": "52.1", "in_ratio": ["2.1265", "0.1", 3.1416], "in_resid_over_eps": "89.4145", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-47.1286", ["0.680", 0.0]]}
{"k": 2, "model": "sphere_off", "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": "-1.337158", "minK_at": ["0.705", 0.0], "regions": {"0<=r<=aw": ["-1.083333", "6.234966E-12", 1.5708], "aw<r<=bw": ["-1.072607", "0.300", 1.5708], "bw<r<abeta": ["-1.074628", "0.320", 1.5708], "abeta<=r<=b": ["-1.337158", "0.705", 0.0], "b<r<=1": ["1.000000", "0.955", 0.1309]}, "maxrel_C_vs_P": "2.38e-62", "sup_mu": "0.004897", "norms": {"C2(psi)": "6.633948e-02", "C2(g-h)": "2.880243e-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": "2.879638e-03", "mu_0": "4.897086e-03", "g-h_1": "2.094302e-02", "mu_1": "3.649680e-02", "g-h_2": "2.880243e-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": "44.5", "max_abs_K_minus_Kh": "2.472031e+00"}
total time 313.0s
