Lemma 3.3(i)                                                                worst residual over 6 random parameter sets: 2.88e-60
Lemma 3.3(ii)                                                               worst residual over 6 random parameter sets: 1.56e-61
Lemma 3.3(iii)                                                              worst residual over 6 random parameter sets: 3.11e-61
Lemma 3.3(iv) incl. roots 1/k and dn h/(k cn h)                             worst residual over 6 random parameter sets: 9.23e-57
N=4: A'^2=B'^2 at lam=a^2b^2/(a^2+b^2); sn^2 Delta=1/(1+k'); Delta=K/2      worst residual over 6 random parameter sets: 7.78e-60
Lemma 3.4(a),(b) cancellations                                              worst residual over 6 random parameter sets: 1.87e-60
Lemma 3.4(e) 1 - d.f1/b^2 = a(a - c s)/b^2                                  worst residual over 6 random parameter sets: 1.09e-60
Lemma 4.0 identity                                                          worst residual over 6 random parameter sets: 1.24e-60
Lemma 4.0 local order of 1 - dn w/cn w (expect ~1e-12)                      worst residual over 6 random parameter sets: 1.61e-13
Lemma 4.4(c) half-angle identity and a k s0 c0/e0 = c s0                    worst residual over 6 random parameter sets: 6.22e-61
Section 4.7 (Pi_l - O_p)^2 formula and value 2 b^2 lam at s = 1/k           worst residual over 6 random parameter sets: 1.11e-59
Remark after 3.4: |d_l|/(a - c s) = 1                                       worst residual over 6 random parameter sets: 2.33e-61
Delta identities                                                            worst residual over 6 random parameter sets: 1.56e-61
