eps 0.005 prec 132 delta 1.384e-87 radii 181 angles 37 series time 213.9s
{"k": 1, "model": "flat_t=0.1", "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.152591", "minK_at": ["0.685", 0.0], "regions": {"0<=r<=aw": ["0.567781", "0.1", 3.1416], "aw<r<=bw": ["0.031721", "0.280", 3.1416], "bw<r<abeta": ["0.037778", "0.305", 3.1416], "abeta<=r<=b": ["-0.152591", "0.685", 0.0], "b<r<=1": ["0.053691", "0.999", 3.0543]}, "maxrel_C_vs_P": "4.91e-129", "sup_mu": "0.002272", "norms": {"C1(psi)": "4.679614e-03", "C1(g-h)": "1.811312e-01", "C1(w)": "8.000000e-02", "C1(logdphi)": "3.200123e-02", "C1(mu)": "1.507322e-02"}, "norms_by_order": {"psi_0": "7.442633e-04", "psi_1": "4.679614e-03", "g-h_0": "6.138806e-02", "w_0": "2.931608e-02", "mu_0": "2.271998e-03", "g-h_1": "1.811312e-01", "w_1": "8.000000e-02", "mu_1": "1.507322e-02", "logdphi_0": "3.650905e-03", "logdphi_1": "3.200123e-02"}, "d_k1_psi_0": "-3.9909498549226037483689", "pred": "-3.9909498549226037483689", "dk_log_dphi_0": "-1.9954749274613018741844", "time": "33.7", "in_ratio": ["1.0817", "0.1", 3.1416], "in_resid_over_eps": "1.0817", "lemma53_max_violation": "0.000e+00", "out_ratio": ["-48.0369", ["0.680", 0.0]]}
total time 249.3s
