kap=end  agg=sum sq=ipow: exact equality in 0/4229 cells; max |diff| 1.949e-06; min diff -1.949e-06
kap=end  agg=sum sq=imul: exact equality in 0/4229 cells; max |diff| 1.949e-06; min diff -1.949e-06
kap=end  agg=sep sq=ipow: exact equality in 0/4229 cells; max |diff| 1.949e-06; min diff -1.949e-06
kap=end  agg=sep sq=imul: exact equality in 0/4229 cells; max |diff| 1.949e-06; min diff -1.949e-06
kap=term agg=sum sq=ipow: exact equality in 4229/4229 cells; max |diff| 0.000e+00; min diff 0.000e+00
kap=term agg=sum sq=imul: exact equality in 4229/4229 cells; max |diff| 0.000e+00; min diff 0.000e+00
kap=term agg=sep sq=ipow: exact equality in 4229/4229 cells; max |diff| 0.000e+00; min diff 0.000e+00
kap=term agg=sep sq=imul: exact equality in 4229/4229 cells; max |diff| 0.000e+00; min diff 0.000e+00
RESULT: best variant kap=term agg=sum sq=ipow reproduces the stored lhs exactly in 4229/4229 cells
RQ-B's own (coarser) stored lhs against my exact target S3 (u0^2/(1+u0^2))^2 (1 - 2 delta tau(u0)): failures 0/4229, min exact slack 9.688e-07

real	0m24.745s
user	0m24.675s
sys	0m0.068s
