eps 0.01 prec 89 delta 3.720e-44 radii 357 angles 48 series time 214.0s
{"k": 1, "model": "sphere_off", "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": "-1.944986", "minK_at": ["0.685", 0.0], "regions": {"0<=r<=aw": ["3.840907", "0.1", 3.1416], "aw<r<=bw": ["-0.121015", "0.280", 3.1416], "bw<r<abeta": ["-0.036732", "0.305", 3.1416], "abeta<=r<=b": ["-1.944986", "0.685", 0.0], "b<r<=1": ["1.000000", "0.910", 0.1309]}, "maxrel_C_vs_P": "1.30e-85", "sup_mu": "0.004545", "norms": {"C1(psi)": "9.359228e-03", "C1(g-h)": "1.087496e-01", "C1(w)": "1.600000e-01", "C1(logdphi)": "3.981900e+00", "C1(mu)": "3.029422e-02"}, "norms_by_order": {"g-h_0": "3.708975e-02", "w_0": "7.463216e-02", "g-h_1": "1.087496e-01", "logdphi_1": "3.981900e+00", "psi_0": "1.488527e-03", "psi_1": "9.359228e-03", "mu_0": "4.544672e-03", "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": "74.3", "in_ratio": ["0.1532", "0.1", 3.1416], "in_resid_over_eps": "91.4090", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-47.4807", ["0.680", 0.0]]}
{"k": 2, "model": "sphere_off", "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.172802", "minK_at": ["0.705", 0.0], "regions": {"0<=r<=aw": ["-0.041667", "6.025111E-23", 1.5708], "aw<r<=bw": ["-0.042065", "0.300", 1.5708], "bw<r<abeta": ["-0.042574", "0.315", 1.5708], "abeta<=r<=b": ["-0.172802", "0.705", 0.0], "b<r<=1": ["1.000000", "0.910", 0.1309]}, "maxrel_C_vs_P": "2.32e-83", "sup_mu": "0.002448", "norms": {"C2(psi)": "3.316974e-02", "C2(g-h)": "1.440452e-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": "1.045404e-02", "mu_1": "1.821077e-02", "g-h_2": "1.440452e-01", "mu_2": "2.310881e-01", "logdphi_1": "1.754214e-02", "g-h_0": "1.437804e-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": "55.6", "max_abs_K_minus_Kh": "1.236839e+00"}
total time 345.8s
