eps 0.005 prec 132 delta 1.384e-87 radii 487 angles 48 series time 213.9s
{"k": 1, "model": "sphere_off", "eps": "0.005", "fam": "A", "params": "0.2,0.9,0.1,0.3,0.35,0.9,16", "prec": 132, "delta": "1.383897e-87", "c_delta": "-0.905014507739625163105540712", "minK": "-0.479961", "minK_at": ["0.680", 0.0], "regions": {"0<=r<=aw": ["2.488404", "0.1", 3.1416], "aw<r<=bw": ["0.416316", "0.275", 3.1416], "bw<r<abeta": ["0.463022", "0.305", 3.1416], "abeta<=r<=b": ["-0.479961", "0.680", 0.0], "b<r<=1": ["1.000000", "0.935", 0.0]}, "maxrel_C_vs_P": "3.57e-128", "sup_mu": "0.002272", "norms": {"C1(psi)": "4.679614e-03", "C1(g-h)": "5.077256e-02", "C1(w)": "8.000000e-02", "C1(logdphi)": "3.990950e+00", "C1(mu)": "1.507322e-02"}, "norms_by_order": {"g-h_0": "1.785318e-02", "w_0": "3.731608e-02", "g-h_1": "5.077256e-02", "logdphi_1": "3.990950e+00", "psi_0": "7.442633e-04", "psi_1": "4.679614e-03", "mu_0": "2.271998e-03", "w_1": "8.000000e-02", "mu_1": "1.507322e-02", "logdphi_0": "3.650905e-03"}, "d_k1_psi_0": "-3.9909498549226037483689", "pred": "-3.9909498549226037483689", "dk_log_dphi_0": "-1.9954749274613018741844", "time": "131.9", "in_ratio": ["-0.8478", "0.1", 3.1416], "in_resid_over_eps": "92.5762", "lemma53_max_violation": "2.000e-112", "out_ratio": ["-47.6585", ["0.680", 0.0]]}
total time 347.5s
