eps 0.0025 prec 219 delta 1.915e-174 radii 181 angles 48 series time 215.0s
{"k": 1, "model": "sphere_off", "eps": "0.0025", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 219, "delta": "1.915170e-174", "c_delta": "-0.905014507739625163105540712", "minK": "0.258113", "minK_at": ["0.680", 0.0], "regions": {"0<=r<=aw": ["1.761704", "0.1", 3.1416], "aw<r<=bw": ["0.702157", "0.275", 3.1416], "bw<r<abeta": ["0.726734", "0.305", 3.1416], "abeta<=r<=b": ["0.258113", "0.680", 0.0], "b<r<=1": ["1.000000", "0.995", 0.2618]}, "maxrel_C_vs_P": "1.19e-217", "sup_mu": "0.001136", "norms": {"C1(psi)": "2.339807e-03", "C1(g-h)": "2.238352e-02", "C1(w)": "4.000000e-02", "C1(logdphi)": "1.600074e-02", "C1(mu)": "7.518263e-03"}, "norms_by_order": {"psi_0": "3.721316e-04", "psi_1": "2.339807e-03", "g-h_0": "7.309215e-03", "w_0": "1.465804e-02", "mu_0": "1.135914e-03", "g-h_1": "2.238352e-02", "w_1": "4.000000e-02", "mu_1": "7.518263e-03", "logdphi_0": "1.823786e-03", "logdphi_1": "1.600074e-02"}, "d_k1_psi_0": "-3.9954749274613018741844", "pred": "-3.9954749274613018741844", "dk_log_dphi_0": "-1.9977374637306509370922", "time": "107.9", "in_ratio": ["-1.3519", "0.1", 3.1416], "in_resid_over_eps": "1.9535", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-47.7479", ["0.680", 0.0]]}
total time 324.7s
