base +16 j=8 maxcoeff=10000000: verified (0.1s) terms=4 cost/bit=1.0000 rel=[1, -4, 0, 0, 2, 1, 1, 0, 0]