eps 0.03 prec 60 delta 3.338e-15 radii 270 angles 37 series time 416.2s
{"k": 1, "model": "flat_t1", "eps": "0.03", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 60, "delta": "3.338238e-15", "c_delta": "-0.905014507739625163105540712", "minK": "-0.672433", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["3.239717", "0.1", 3.1416], "aw<r<=bw": ["0.875071", "0.280", 3.1416], "bw<r<abeta": ["0.915052", "0.305", 3.1416], "abeta<=r<=b": ["-0.672433", "0.690", 0.0], "b<r<=1": ["1.001000", "0.999", 0.5236]}, "maxrel_C_vs_P": "3.35e-56", "sup_mu": "0.013642", "norms": {"C1(psi)": "2.807768e-02", "C1(g-h)": "1.596152e+00", "C1(w)": "4.800000e-01", "C1(logdphi)": "3.945699e+00", "C1(mu)": "9.269750e-02"}, "norms_by_order": {"g-h_0": "5.648547e-01", "w_0": "2.238965e-01", "logdphi_1": "3.945699e+00", "psi_0": "4.465580e-03", "psi_1": "2.807768e-02", "mu_0": "1.364215e-02", "g-h_1": "1.596152e+00", "w_1": "4.800000e-01", "mu_1": "9.269750e-02", "logdphi_0": "2.210808e-02"}, "d_k1_psi_0": "-3.9456991295356224902136", "pred": "-3.9456991295356224902136", "dk_log_dphi_0": "-1.9728495647678112451068", "time": "25.2", "in_ratio": ["6.6478", "0.1", 3.1416], "in_resid_over_eps": "89.5568", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-46.3176", ["0.680", 0.0]]}
{"k": 1, "model": "sphere", "eps": "0.03", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 60, "delta": "3.338238e-15", "c_delta": "-0.905014507739625163105540712", "minK": "0.265961", "minK_at": ["0.690", 0.0], "regions": {"0<=r<=aw": ["1.173891", "0.1", 3.1416], "aw<r<=bw": ["0.663625", "0.275", 3.1416], "bw<r<abeta": ["0.688332", "0.305", 3.1416], "abeta<=r<=b": ["0.265961", "0.690", 0.0], "b<r<=1": ["1.000000", "0.935", 0.1745]}, "maxrel_C_vs_P": "1.12e-58", "sup_mu": "0.013642", "norms": {"C1(psi)": "2.807768e-02", "C1(g-h)": "6.434130e+00", "C1(w)": "4.800000e-01", "C1(logdphi)": "3.945699e+00", "C1(mu)": "9.269750e-02"}, "norms_by_order": {"g-h_0": "2.259419e+00", "w_0": "2.238965e-01", "logdphi_1": "3.945699e+00", "psi_0": "4.465580e-03", "psi_1": "2.807768e-02", "mu_0": "1.364215e-02", "g-h_1": "6.434130e+00", "w_1": "4.800000e-01", "mu_1": "9.269750e-02", "logdphi_0": "2.210808e-02"}, "d_k1_psi_0": "-3.9456991295356224902136", "pred": "-3.9456991295356224902136", "dk_log_dphi_0": "-1.9728495647678112451068", "time": "23.1", "in_ratio": ["7.4190", "0.1", 3.1416], "in_resid_over_eps": "89.5568", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-45.4668", ["0.675", 0.0]]}
{"k": 2, "model": "flat_t1", "eps": "0.03", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 60, "delta": "3.338238e-15", "c_delta": "-0.905014507739625163105540712", "minK": "0.260546", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["1.262679", "0.1", 1.5708], "aw<r<=bw": ["1.094234", "0.300", 1.5708], "bw<r<abeta": ["1.033719", "0.350", 1.5708], "abeta<=r<=b": ["0.260546", "0.820", 1.5708], "b<r<=1": ["1.001000", "0.999", 0.5236]}, "maxrel_C_vs_P": "4.71e-58", "sup_mu": "0.007348", "norms": {"C2(psi)": "9.950922e-02", "C2(g-h)": "8.851349e-01", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.183710e+01", "C2(mu)": "6.940060e-01"}, "norms_by_order": {"logdphi_2": "1.183710e+01", "psi_0": "1.909030e-03", "psi_1": "1.339674e-02", "psi_2": "9.950922e-02", "g-h_0": "1.128950e-02", "mu_0": "7.348129e-03", "g-h_1": "8.858164e-02", "mu_1": "5.485852e-02", "g-h_2": "8.851349e-01", "mu_2": "6.940060e-01", "logdphi_0": "9.643109e-03", "logdphi_1": "5.274374e-02"}, "d_k1_psi_0": "-11.837097388606867470641", "pred": "-11.837097388606867470641", "dk_log_dphi_0": "-5.9185486943034337353205", "time": "21.1", "max_abs_K_minus_Kh": "9.353400e-01"}
{"k": 2, "model": "sphere", "eps": "0.03", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 60, "delta": "3.338238e-15", "c_delta": "-0.905014507739625163105540712", "minK": "0.598186", "minK_at": ["0.820", 1.5707963267948966], "regions": {"0<=r<=aw": ["0.819729", "0.1", 1.5708], "aw<r<=bw": ["0.806679", "0.300", 1.5708], "bw<r<abeta": ["0.801899", "0.350", 1.5708], "abeta<=r<=b": ["0.598186", "0.820", 1.5708], "b<r<=1": ["1.000000", "0.935", 0.1745]}, "maxrel_C_vs_P": "1.86e-58", "sup_mu": "0.007348", "norms": {"C2(psi)": "9.950922e-02", "C2(g-h)": "3.360019e+00", "C2(w)": "0.000000e+00", "C2(logdphi)": "1.183710e+01", "C2(mu)": "6.940060e-01"}, "norms_by_order": {"logdphi_2": "1.183710e+01", "psi_0": "1.909030e-03", "psi_1": "1.339674e-02", "psi_2": "9.950922e-02", "g-h_0": "3.529666e-02", "mu_0": "7.348129e-03", "g-h_1": "2.929325e-01", "mu_1": "5.485852e-02", "g-h_2": "3.360019e+00", "mu_2": "6.940060e-01", "logdphi_0": "9.643109e-03", "logdphi_1": "5.274374e-02"}, "d_k1_psi_0": "-11.837097388606867470641", "pred": "-11.837097388606867470641", "dk_log_dphi_0": "-5.9185486943034337353205", "time": "24.3", "max_abs_K_minus_Kh": "4.018135e-01"}
{"k": 3, "model": "flat_t1", "eps": "0.03", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 60, "delta": "3.338238e-15", "c_delta": "-0.905014507739625163105540712", "minK": "0.509726", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["1.835424", "0.1", 1.0472], "aw<r<=bw": ["1.381248", "0.300", 3.1416], "bw<r<abeta": ["1.245145", "0.350", 3.1416], "abeta<=r<=b": ["0.509726", "0.825", 3.1416], "b<r<=1": ["1.001000", "0.999", 0.5236]}, "maxrel_C_vs_P": "4.04e-59", "sup_mu": "0.004337", "norms": {"C3(psi)": "9.257264e-01", "C3(g-h)": "2.000444e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800441e+01", "C3(mu)": "1.633459e+01"}, "norms_by_order": {"logdphi_3": "4.800441e+01", "psi_0": "9.378593e-04", "psi_1": "7.636121e-03", "psi_2": "6.325052e-02", "psi_3": "9.257264e-01", "g-h_0": "6.391527e-03", "mu_0": "4.337004e-03", "g-h_1": "5.638062e-02", "mu_1": "3.682985e-02", "g-h_2": "6.696529e-01", "mu_2": "5.263220e-01", "g-h_3": "2.000444e+01", "mu_3": "1.633459e+01", "logdphi_0": "5.235349e-03", "logdphi_1": "4.172493e-02", "logdphi_2": "4.510698e-01"}, "d_k1_psi_0": "-47.348389554427469882564", "pred": "-47.348389554427469882564", "dk_log_dphi_0": "-23.674194777213734941282", "time": "30.3", "max_abs_K_minus_Kh": "7.182523e-01"}
{"k": 3, "model": "sphere", "eps": "0.03", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 60, "delta": "3.338238e-15", "c_delta": "-0.905014507739625163105540712", "minK": "0.707186", "minK_at": ["0.825", 3.141592653589793], "regions": {"0<=r<=aw": ["0.963565", "0.1", 3.1416], "aw<r<=bw": ["0.879830", "0.300", 1.0472], "bw<r<abeta": ["0.854997", "0.350", 3.1416], "abeta<=r<=b": ["0.707186", "0.825", 3.1416], "b<r<=1": ["1.000000", "0.935", 0.1745]}, "maxrel_C_vs_P": "7.00e-59", "sup_mu": "0.004337", "norms": {"C3(psi)": "9.257264e-01", "C3(g-h)": "4.892344e+01", "C3(w)": "0.000000e+00", "C3(logdphi)": "4.800441e+01", "C3(mu)": "1.633459e+01"}, "norms_by_order": {"logdphi_3": "4.800441e+01", "psi_0": "9.378593e-04", "psi_1": "7.636121e-03", "psi_2": "6.325052e-02", "psi_3": "9.257264e-01", "g-h_0": "1.914761e-02", "mu_0": "4.337004e-03", "g-h_1": "1.762671e-01", "mu_1": "3.682985e-02", "g-h_2": "1.702372e+00", "mu_2": "5.263220e-01", "g-h_3": "4.892344e+01", "mu_3": "1.633459e+01", "logdphi_0": "5.235349e-03", "logdphi_1": "4.172493e-02", "logdphi_2": "4.510698e-01"}, "d_k1_psi_0": "-47.348389554427469882564", "pred": "-47.348389554427469882564", "dk_log_dphi_0": "-23.674194777213734941282", "time": "29.0", "max_abs_K_minus_Kh": "2.928140e-01"}
total time 573.4s
