CLEAN (EXTRA BIT)
Float64x1 (power  0):  14 terms;   1 bits
Float64x1 (power  1):  11 terms;   2 bits
Float64x1 (power  2):  10 terms;   3 bits
Float64x1 (power  3):   8 terms;   4 bits
Float64x1 (power  4):   7 terms;   5 bits
Float64x1 (power  5):   6 terms;   6 bits
Float64x1 (power  6):   6 terms;   7 bits
Float64x1 (power  7):   5 terms;   8 bits
Float64x1 (power  8):   5 terms;   9 bits
Float64x1 (power  9):   4 terms;  10 bits
Float64x1 (power 10):   4 terms;  11 bits
Float64x1 (power 11):   4 terms;  12 bits
Float64x1 (power 12):   4 terms;  13 bits
Float64x1 (power 13):   3 terms;  14 bits
Float64x1 (power 14):   3 terms;  15 bits
Float64x1 (power 15):   3 terms;  16 bits
Float64x1 (power 16):   3 terms;  17 bits
Float64x1 (power 17):   3 terms;  18 bits
Float64x1 (power 18):   3 terms;  19 bits
Float64x1 (power 19):   3 terms;  20 bits
Float64x1 (power 20):   3 terms;  21 bits

Float64x2 (power  0):  23 terms;   1 bits
Float64x2 (power  1):  20 terms;   2 bits
Float64x2 (power  2):  17 terms;   3 bits
Float64x2 (power  3):  15 terms;   4 bits
Float64x2 (power  4):  13 terms;   5 bits
Float64x2 (power  5):  12 terms;   6 bits
Float64x2 (power  6):  11 terms;   7 bits
Float64x2 (power  7):  10 terms;   8 bits
Float64x2 (power  8):   9 terms;   9 bits
Float64x2 (power  9):   9 terms;  10 bits
Float64x2 (power 10):   8 terms;  11 bits
Float64x2 (power 11):   7 terms;  12 bits
Float64x2 (power 12):   7 terms;  13 bits
Float64x2 (power 13):   7 terms;  14 bits
Float64x2 (power 14):   6 terms;  15 bits
Float64x2 (power 15):   6 terms;  16 bits
Float64x2 (power 16):   6 terms;  17 bits
Float64x2 (power 17):   5 terms;  18 bits
Float64x2 (power 18):   5 terms;  19 bits
Float64x2 (power 19):   5 terms;  20 bits
Float64x2 (power 20):   5 terms;  21 bits

Float64x3 (power  0):  32 terms;   1 bits
Float64x3 (power  1):  28 terms;   2 bits
Float64x3 (power  2):  24 terms;   3 bits
Float64x3 (power  3):  21 terms;   4 bits
Float64x3 (power  4):  19 terms;   5 bits
Float64x3 (power  5):  17 terms;   6 bits
Float64x3 (power  6):  16 terms;   7 bits
Float64x3 (power  7):  15 terms;   8 bits
Float64x3 (power  8):  13 terms;   9 bits
Float64x3 (power  9):  13 terms;  10 bits
Float64x3 (power 10):  12 terms;  11 bits
Float64x3 (power 11):  11 terms;  12 bits
Float64x3 (power 12):  10 terms;  13 bits
Float64x3 (power 13):  10 terms;  14 bits
Float64x3 (power 14):   9 terms;  15 bits
Float64x3 (power 15):   9 terms;  16 bits
Float64x3 (power 16):   8 terms;  17 bits
Float64x3 (power 17):   8 terms;  18 bits
Float64x3 (power 18):   8 terms;  19 bits
Float64x3 (power 19):   7 terms;  20 bits
Float64x3 (power 20):   7 terms;  21 bits

Float64x4 (power  0):  41 terms;   1 bits
Float64x4 (power  1):  35 terms;   2 bits
Float64x4 (power  2):  31 terms;   3 bits
Float64x4 (power  3):  28 terms;   4 bits
Float64x4 (power  4):  25 terms;   5 bits
Float64x4 (power  5):  22 terms;   6 bits
Float64x4 (power  6):  21 terms;   7 bits
Float64x4 (power  7):  19 terms;   8 bits
Float64x4 (power  8):  18 terms;   9 bits
Float64x4 (power  9):  16 terms;  10 bits
Float64x4 (power 10):  15 terms;  11 bits
Float64x4 (power 11):  14 terms;  12 bits
Float64x4 (power 12):  13 terms;  13 bits
Float64x4 (power 13):  13 terms;  14 bits
Float64x4 (power 14):  12 terms;  15 bits
Float64x4 (power 15):  11 terms;  16 bits
Float64x4 (power 16):  11 terms;  17 bits
Float64x4 (power 17):  10 terms;  18 bits
Float64x4 (power 18):  10 terms;  19 bits
Float64x4 (power 19):  10 terms;  20 bits
Float64x4 (power 20):   9 terms;  21 bits

Float64x5 (power  0):  49 terms;   1 bits
Float64x5 (power  1):  42 terms;   2 bits
Float64x5 (power  2):  37 terms;   3 bits
Float64x5 (power  3):  33 terms;   4 bits
Float64x5 (power  4):  30 terms;   5 bits
Float64x5 (power  5):  27 terms;   6 bits
Float64x5 (power  6):  25 terms;   7 bits
Float64x5 (power  7):  23 terms;   8 bits
Float64x5 (power  8):  22 terms;   9 bits
Float64x5 (power  9):  20 terms;  10 bits
Float64x5 (power 10):  19 terms;  11 bits
Float64x5 (power 11):  18 terms;  12 bits
Float64x5 (power 12):  17 terms;  13 bits
Float64x5 (power 13):  16 terms;  14 bits
Float64x5 (power 14):  15 terms;  15 bits
Float64x5 (power 15):  14 terms;  16 bits
Float64x5 (power 16):  13 terms;  17 bits
Float64x5 (power 17):  13 terms;  18 bits
Float64x5 (power 18):  12 terms;  19 bits
Float64x5 (power 19):  12 terms;  20 bits
Float64x5 (power 20):  11 terms;  21 bits

Float64x6 (power  0):  56 terms;   0 bits
Float64x6 (power  1):  49 terms;   2 bits
Float64x6 (power  2):  44 terms;   3 bits
Float64x6 (power  3):  39 terms;   4 bits
Float64x6 (power  4):  35 terms;   5 bits
Float64x6 (power  5):  32 terms;   6 bits
Float64x6 (power  6):  30 terms;   7 bits
Float64x6 (power  7):  27 terms;   8 bits
Float64x6 (power  8):  25 terms;   9 bits
Float64x6 (power  9):  24 terms;  10 bits
Float64x6 (power 10):  22 terms;  11 bits
Float64x6 (power 11):  21 terms;  12 bits
Float64x6 (power 12):  20 terms;  13 bits
Float64x6 (power 13):  19 terms;  14 bits
Float64x6 (power 14):  18 terms;  15 bits
Float64x6 (power 15):  17 terms;  16 bits
Float64x6 (power 16):  16 terms;  17 bits
Float64x6 (power 17):  15 terms;  18 bits
Float64x6 (power 18):  15 terms;  19 bits
Float64x6 (power 19):  14 terms;  20 bits
Float64x6 (power 20):  14 terms;  21 bits

Float64x7 (power  0):  64 terms;   0 bits
Float64x7 (power  1):  56 terms;   2 bits
Float64x7 (power  2):  50 terms;   3 bits
Float64x7 (power  3):  45 terms;   4 bits
Float64x7 (power  4):  40 terms;   5 bits
Float64x7 (power  5):  37 terms;   6 bits
Float64x7 (power  6):  34 terms;   7 bits
Float64x7 (power  7):  31 terms;   8 bits
Float64x7 (power  8):  29 terms;   9 bits
Float64x7 (power  9):  27 terms;  10 bits
Float64x7 (power 10):  26 terms;  11 bits
Float64x7 (power 11):  24 terms;  12 bits
Float64x7 (power 12):  23 terms;  13 bits
Float64x7 (power 13):  22 terms;  14 bits
Float64x7 (power 14):  20 terms;  15 bits
Float64x7 (power 15):  19 terms;  16 bits
Float64x7 (power 16):  19 terms;  17 bits
Float64x7 (power 17):  18 terms;  18 bits
Float64x7 (power 18):  17 terms;  19 bits
Float64x7 (power 19):  16 terms;  20 bits
Float64x7 (power 20):  16 terms;  21 bits

Float64x8 (power  0):  71 terms;   0 bits
Float64x8 (power  1):  63 terms;   2 bits
Float64x8 (power  2):  56 terms;   3 bits
Float64x8 (power  3):  50 terms;   4 bits
Float64x8 (power  4):  46 terms;   5 bits
Float64x8 (power  5):  42 terms;   6 bits
Float64x8 (power  6):  38 terms;   7 bits
Float64x8 (power  7):  36 terms;   8 bits
Float64x8 (power  8):  33 terms;   9 bits
Float64x8 (power  9):  31 terms;  10 bits
Float64x8 (power 10):  29 terms;  11 bits
Float64x8 (power 11):  27 terms;  12 bits
Float64x8 (power 12):  26 terms;  13 bits
Float64x8 (power 13):  24 terms;  14 bits
Float64x8 (power 14):  23 terms;  15 bits
Float64x8 (power 15):  22 terms;  16 bits
Float64x8 (power 16):  21 terms;  17 bits
Float64x8 (power 17):  20 terms;  18 bits
Float64x8 (power 18):  19 terms;  19 bits
Float64x8 (power 19):  19 terms;  20 bits
Float64x8 (power 20):  18 terms;  21 bits

CLEAN (NO EXTRA)
Float64x1 (power  0):  13 terms;   6 bits
Float64x1 (power  1):  11 terms;   6 bits
Float64x1 (power  2):   9 terms;   6 bits
Float64x1 (power  3):   8 terms;   6 bits
Float64x1 (power  4):   7 terms;   7 bits
Float64x1 (power  5):   6 terms;   7 bits
Float64x1 (power  6):   6 terms;   8 bits
Float64x1 (power  7):   5 terms;   9 bits
Float64x1 (power  8):   5 terms;   9 bits
Float64x1 (power  9):   4 terms;  10 bits
Float64x1 (power 10):   4 terms;  11 bits
Float64x1 (power 11):   4 terms;  12 bits
Float64x1 (power 12):   4 terms;  13 bits
Float64x1 (power 13):   3 terms;  14 bits
Float64x1 (power 14):   3 terms;  15 bits
Float64x1 (power 15):   3 terms;  16 bits
Float64x1 (power 16):   3 terms;  17 bits
Float64x1 (power 17):   3 terms;  18 bits
Float64x1 (power 18):   3 terms;  19 bits
Float64x1 (power 19):   3 terms;  20 bits
Float64x1 (power 20):   3 terms;  21 bits

Float64x2 (power  0):  22 terms;   6 bits
Float64x2 (power  1):  19 terms;   6 bits
Float64x2 (power  2):  17 terms;   6 bits
Float64x2 (power  3):  15 terms;   6 bits
Float64x2 (power  4):  13 terms;   6 bits
Float64x2 (power  5):  12 terms;   7 bits
Float64x2 (power  6):  11 terms;   8 bits
Float64x2 (power  7):  10 terms;   8 bits
Float64x2 (power  8):   9 terms;   9 bits
Float64x2 (power  9):   9 terms;  10 bits
Float64x2 (power 10):   8 terms;  11 bits
Float64x2 (power 11):   7 terms;  12 bits
Float64x2 (power 12):   7 terms;  13 bits
Float64x2 (power 13):   7 terms;  14 bits
Float64x2 (power 14):   6 terms;  15 bits
Float64x2 (power 15):   6 terms;  16 bits
Float64x2 (power 16):   6 terms;  17 bits
Float64x2 (power 17):   5 terms;  18 bits
Float64x2 (power 18):   5 terms;  19 bits
Float64x2 (power 19):   5 terms;  20 bits
Float64x2 (power 20):   5 terms;  21 bits

Float64x3 (power  0):  31 terms;   6 bits
Float64x3 (power  1):  27 terms;   6 bits
Float64x3 (power  2):  24 terms;   6 bits
Float64x3 (power  3):  21 terms;   6 bits
Float64x3 (power  4):  19 terms;   6 bits
Float64x3 (power  5):  17 terms;   7 bits
Float64x3 (power  6):  16 terms;   8 bits
Float64x3 (power  7):  15 terms;   8 bits
Float64x3 (power  8):  13 terms;   9 bits
Float64x3 (power  9):  13 terms;  10 bits
Float64x3 (power 10):  12 terms;  11 bits
Float64x3 (power 11):  11 terms;  12 bits
Float64x3 (power 12):  10 terms;  13 bits
Float64x3 (power 13):  10 terms;  14 bits
Float64x3 (power 14):   9 terms;  15 bits
Float64x3 (power 15):   9 terms;  16 bits
Float64x3 (power 16):   8 terms;  17 bits
Float64x3 (power 17):   8 terms;  18 bits
Float64x3 (power 18):   8 terms;  19 bits
Float64x3 (power 19):   7 terms;  20 bits
Float64x3 (power 20):   7 terms;  21 bits

Float64x4 (power  0):  40 terms;   6 bits
Float64x4 (power  1):  35 terms;   6 bits
Float64x4 (power  2):  31 terms;   6 bits
Float64x4 (power  3):  27 terms;   6 bits
Float64x4 (power  4):  25 terms;   6 bits
Float64x4 (power  5):  22 terms;   7 bits
Float64x4 (power  6):  21 terms;   7 bits
Float64x4 (power  7):  19 terms;   8 bits
Float64x4 (power  8):  18 terms;   9 bits
Float64x4 (power  9):  16 terms;  10 bits
Float64x4 (power 10):  15 terms;  11 bits
Float64x4 (power 11):  14 terms;  12 bits
Float64x4 (power 12):  13 terms;  13 bits
Float64x4 (power 13):  13 terms;  14 bits
Float64x4 (power 14):  12 terms;  15 bits
Float64x4 (power 15):  11 terms;  16 bits
Float64x4 (power 16):  11 terms;  17 bits
Float64x4 (power 17):  10 terms;  18 bits
Float64x4 (power 18):  10 terms;  19 bits
Float64x4 (power 19):  10 terms;  20 bits
Float64x4 (power 20):   9 terms;  21 bits

Float64x5 (power  0):  48 terms;   5 bits
Float64x5 (power  1):  42 terms;   5 bits
Float64x5 (power  2):  37 terms;   5 bits
Float64x5 (power  3):  33 terms;   5 bits
Float64x5 (power  4):  30 terms;   6 bits
Float64x5 (power  5):  27 terms;   6 bits
Float64x5 (power  6):  25 terms;   7 bits
Float64x5 (power  7):  23 terms;   8 bits
Float64x5 (power  8):  22 terms;   9 bits
Float64x5 (power  9):  20 terms;  10 bits
Float64x5 (power 10):  19 terms;  11 bits
Float64x5 (power 11):  18 terms;  12 bits
Float64x5 (power 12):  17 terms;  13 bits
Float64x5 (power 13):  16 terms;  14 bits
Float64x5 (power 14):  15 terms;  15 bits
Float64x5 (power 15):  14 terms;  16 bits
Float64x5 (power 16):  13 terms;  17 bits
Float64x5 (power 17):  13 terms;  18 bits
Float64x5 (power 18):  12 terms;  19 bits
Float64x5 (power 19):  12 terms;  20 bits
Float64x5 (power 20):  11 terms;  21 bits

Float64x6 (power  0):  56 terms;   5 bits
Float64x6 (power  1):  49 terms;   5 bits
Float64x6 (power  2):  43 terms;   5 bits
Float64x6 (power  3):  39 terms;   6 bits
Float64x6 (power  4):  35 terms;   6 bits
Float64x6 (power  5):  32 terms;   6 bits
Float64x6 (power  6):  30 terms;   7 bits
Float64x6 (power  7):  27 terms;   8 bits
Float64x6 (power  8):  25 terms;   9 bits
Float64x6 (power  9):  24 terms;  10 bits
Float64x6 (power 10):  22 terms;  11 bits
Float64x6 (power 11):  21 terms;  12 bits
Float64x6 (power 12):  20 terms;  13 bits
Float64x6 (power 13):  19 terms;  14 bits
Float64x6 (power 14):  18 terms;  15 bits
Float64x6 (power 15):  17 terms;  16 bits
Float64x6 (power 16):  16 terms;  17 bits
Float64x6 (power 17):  15 terms;  18 bits
Float64x6 (power 18):  15 terms;  19 bits
Float64x6 (power 19):  14 terms;  20 bits
Float64x6 (power 20):  14 terms;  21 bits

Float64x7 (power  0):  63 terms;   5 bits
Float64x7 (power  1):  55 terms;   5 bits
Float64x7 (power  2):  49 terms;   5 bits
Float64x7 (power  3):  44 terms;   6 bits
Float64x7 (power  4):  40 terms;   6 bits
Float64x7 (power  5):  37 terms;   6 bits
Float64x7 (power  6):  34 terms;   7 bits
Float64x7 (power  7):  31 terms;   8 bits
Float64x7 (power  8):  29 terms;   9 bits
Float64x7 (power  9):  27 terms;  10 bits
Float64x7 (power 10):  26 terms;  11 bits
Float64x7 (power 11):  24 terms;  12 bits
Float64x7 (power 12):  23 terms;  13 bits
Float64x7 (power 13):  22 terms;  14 bits
Float64x7 (power 14):  20 terms;  15 bits
Float64x7 (power 15):  19 terms;  16 bits
Float64x7 (power 16):  19 terms;  17 bits
Float64x7 (power 17):  18 terms;  18 bits
Float64x7 (power 18):  17 terms;  19 bits
Float64x7 (power 19):  16 terms;  20 bits
Float64x7 (power 20):  16 terms;  21 bits

Float64x8 (power  0):  71 terms;   4 bits
Float64x8 (power  1):  62 terms;   4 bits
Float64x8 (power  2):  56 terms;   4 bits
Float64x8 (power  3):  50 terms;   5 bits
Float64x8 (power  4):  46 terms;   5 bits
Float64x8 (power  5):  42 terms;   6 bits
Float64x8 (power  6):  38 terms;   7 bits
Float64x8 (power  7):  36 terms;   8 bits
Float64x8 (power  8):  33 terms;   9 bits
Float64x8 (power  9):  31 terms;  10 bits
Float64x8 (power 10):  29 terms;  11 bits
Float64x8 (power 11):  27 terms;  12 bits
Float64x8 (power 12):  26 terms;  13 bits
Float64x8 (power 13):  24 terms;  14 bits
Float64x8 (power 14):  23 terms;  15 bits
Float64x8 (power 15):  22 terms;  16 bits
Float64x8 (power 16):  21 terms;  17 bits
Float64x8 (power 17):  20 terms;  18 bits
Float64x8 (power 18):  19 terms;  19 bits
Float64x8 (power 19):  19 terms;  20 bits
Float64x8 (power 20):  18 terms;  21 bits

STANDARD (EXTRA BIT)
Float64x1 (power  0):  14 terms;   1 bits
Float64x1 (power  1):  11 terms;   2 bits
Float64x1 (power  2):  10 terms;   3 bits
Float64x1 (power  3):   8 terms;   4 bits
Float64x1 (power  4):   7 terms;   5 bits
Float64x1 (power  5):   6 terms;   6 bits
Float64x1 (power  6):   6 terms;   7 bits
Float64x1 (power  7):   5 terms;   8 bits
Float64x1 (power  8):   5 terms;   9 bits
Float64x1 (power  9):   4 terms;  10 bits
Float64x1 (power 10):   4 terms;  11 bits
Float64x1 (power 11):   4 terms;  12 bits
Float64x1 (power 12):   4 terms;  13 bits
Float64x1 (power 13):   3 terms;  14 bits
Float64x1 (power 14):   3 terms;  15 bits
Float64x1 (power 15):   3 terms;  16 bits
Float64x1 (power 16):   3 terms;  17 bits
Float64x1 (power 17):   3 terms;  18 bits
Float64x1 (power 18):   3 terms;  19 bits
Float64x1 (power 19):   3 terms;  20 bits
Float64x1 (power 20):   3 terms;  21 bits

Float64x2 (power  0):  23 terms;   1 bits
Float64x2 (power  1):  20 terms;   4 bits
Float64x2 (power  2):  17 terms;   5 bits
Float64x2 (power  3):  15 terms;   6 bits
Float64x2 (power  4):  13 terms;   7 bits
Float64x2 (power  5):  12 terms;   8 bits
Float64x2 (power  6):  11 terms;   9 bits
Float64x2 (power  7):  10 terms;  10 bits
Float64x2 (power  8):   9 terms;  11 bits
Float64x2 (power  9):   8 terms;  12 bits
Float64x2 (power 10):   8 terms;  13 bits
Float64x2 (power 11):   7 terms;  14 bits
Float64x2 (power 12):   7 terms;  15 bits
Float64x2 (power 13):   7 terms;  16 bits
Float64x2 (power 14):   6 terms;  17 bits
Float64x2 (power 15):   6 terms;  18 bits
Float64x2 (power 16):   6 terms;  19 bits
Float64x2 (power 17):   5 terms;  20 bits
Float64x2 (power 18):   5 terms;  21 bits
Float64x2 (power 19):   5 terms;  22 bits
Float64x2 (power 20):   5 terms;  23 bits

Float64x3 (power  0):  32 terms;   1 bits
Float64x3 (power  1):  27 terms;   5 bits
Float64x3 (power  2):  24 terms;   6 bits
Float64x3 (power  3):  21 terms;   8 bits
Float64x3 (power  4):  19 terms;   8 bits
Float64x3 (power  5):  17 terms;   9 bits
Float64x3 (power  6):  16 terms;  10 bits
Float64x3 (power  7):  14 terms;  12 bits
Float64x3 (power  8):  13 terms;  12 bits
Float64x3 (power  9):  12 terms;  13 bits
Float64x3 (power 10):  12 terms;  14 bits
Float64x3 (power 11):  11 terms;  16 bits
Float64x3 (power 12):  10 terms;  16 bits
Float64x3 (power 13):  10 terms;  17 bits
Float64x3 (power 14):   9 terms;  18 bits
Float64x3 (power 15):   9 terms;  20 bits
Float64x3 (power 16):   8 terms;  20 bits
Float64x3 (power 17):   8 terms;  22 bits
Float64x3 (power 18):   7 terms;  23 bits
Float64x3 (power 19):   7 terms;  23 bits
Float64x3 (power 20):   7 terms;  25 bits

Float64x4 (power  0):  41 terms;   1 bits
Float64x4 (power  1):  35 terms;   6 bits
Float64x4 (power  2):  30 terms;   7 bits
Float64x4 (power  3):  27 terms;   8 bits
Float64x4 (power  4):  24 terms;   9 bits
Float64x4 (power  5):  22 terms;  11 bits
Float64x4 (power  6):  20 terms;  11 bits
Float64x4 (power  7):  19 terms;  13 bits
Float64x4 (power  8):  17 terms;  13 bits
Float64x4 (power  9):  16 terms;  14 bits
Float64x4 (power 10):  15 terms;  15 bits
Float64x4 (power 11):  14 terms;  17 bits
Float64x4 (power 12):  13 terms;  17 bits
Float64x4 (power 13):  13 terms;  18 bits
Float64x4 (power 14):  12 terms;  19 bits
Float64x4 (power 15):  11 terms;  20 bits
Float64x4 (power 16):  11 terms;  21 bits
Float64x4 (power 17):  10 terms;  22 bits
Float64x4 (power 18):  10 terms;  24 bits
Float64x4 (power 19):   9 terms;  24 bits
Float64x4 (power 20):   9 terms;  25 bits

Float64x5 (power  0):  48 terms;   3 bits
Float64x5 (power  1):  42 terms;   7 bits
Float64x5 (power  2):  37 terms;   8 bits
Float64x5 (power  3):  33 terms;   9 bits
Float64x5 (power  4):  30 terms;  10 bits
Float64x5 (power  5):  27 terms;  11 bits
Float64x5 (power  6):  25 terms;  12 bits
Float64x5 (power  7):  23 terms;  13 bits
Float64x5 (power  8):  21 terms;  14 bits
Float64x5 (power  9):  20 terms;  15 bits
Float64x5 (power 10):  18 terms;  16 bits
Float64x5 (power 11):  17 terms;  17 bits
Float64x5 (power 12):  16 terms;  18 bits
Float64x5 (power 13):  15 terms;  19 bits
Float64x5 (power 14):  15 terms;  21 bits
Float64x5 (power 15):  14 terms;  21 bits
Float64x5 (power 16):  13 terms;  22 bits
Float64x5 (power 17):  13 terms;  23 bits
Float64x5 (power 18):  12 terms;  24 bits
Float64x5 (power 19):  12 terms;  25 bits
Float64x5 (power 20):  11 terms;  26 bits

Float64x6 (power  0):  56 terms;   4 bits
Float64x6 (power  1):  49 terms;   8 bits
Float64x6 (power  2):  43 terms;   9 bits
Float64x6 (power  3):  39 terms;  10 bits
Float64x6 (power  4):  35 terms;  11 bits
Float64x6 (power  5):  32 terms;  13 bits
Float64x6 (power  6):  29 terms;  13 bits
Float64x6 (power  7):  27 terms;  14 bits
Float64x6 (power  8):  25 terms;  15 bits
Float64x6 (power  9):  23 terms;  16 bits
Float64x6 (power 10):  22 terms;  17 bits
Float64x6 (power 11):  21 terms;  18 bits
Float64x6 (power 12):  19 terms;  19 bits
Float64x6 (power 13):  18 terms;  20 bits
Float64x6 (power 14):  17 terms;  21 bits
Float64x6 (power 15):  17 terms;  22 bits
Float64x6 (power 16):  16 terms;  23 bits
Float64x6 (power 17):  15 terms;  24 bits
Float64x6 (power 18):  14 terms;  26 bits
Float64x6 (power 19):  14 terms;  26 bits
Float64x6 (power 20):  13 terms;  27 bits

Float64x7 (power  0):  64 terms;   4 bits
Float64x7 (power  1):  55 terms;   8 bits
Float64x7 (power  2):  49 terms;  10 bits
Float64x7 (power  3):  44 terms;  10 bits
Float64x7 (power  4):  40 terms;  12 bits
Float64x7 (power  5):  37 terms;  13 bits
Float64x7 (power  6):  34 terms;  14 bits
Float64x7 (power  7):  31 terms;  14 bits
Float64x7 (power  8):  29 terms;  16 bits
Float64x7 (power  9):  27 terms;  17 bits
Float64x7 (power 10):  25 terms;  18 bits
Float64x7 (power 11):  24 terms;  19 bits
Float64x7 (power 12):  22 terms;  19 bits
Float64x7 (power 13):  21 terms;  21 bits
Float64x7 (power 14):  20 terms;  21 bits
Float64x7 (power 15):  19 terms;  22 bits
Float64x7 (power 16):  18 terms;  24 bits
Float64x7 (power 17):  17 terms;  25 bits
Float64x7 (power 18):  17 terms;  25 bits
Float64x7 (power 19):  16 terms;  27 bits
Float64x7 (power 20):  15 terms;  28 bits

Float64x8 (power  0):  71 terms;   6 bits
Float64x8 (power  1):  62 terms;  10 bits
Float64x8 (power  2):  55 terms;  10 bits
Float64x8 (power  3):  50 terms;  12 bits
Float64x8 (power  4):  45 terms;  13 bits
Float64x8 (power  5):  41 terms;  13 bits
Float64x8 (power  6):  38 terms;  14 bits
Float64x8 (power  7):  35 terms;  15 bits
Float64x8 (power  8):  33 terms;  17 bits
Float64x8 (power  9):  30 terms;  17 bits
Float64x8 (power 10):  29 terms;  19 bits
Float64x8 (power 11):  27 terms;  19 bits
Float64x8 (power 12):  25 terms;  21 bits
Float64x8 (power 13):  24 terms;  21 bits
Float64x8 (power 14):  23 terms;  22 bits
Float64x8 (power 15):  22 terms;  23 bits
Float64x8 (power 16):  21 terms;  25 bits
Float64x8 (power 17):  20 terms;  26 bits
Float64x8 (power 18):  19 terms;  27 bits
Float64x8 (power 19):  18 terms;  28 bits
Float64x8 (power 20):  18 terms;  29 bits

STANDARD (NO EXTRA)
Float64x1 (power  0):  13 terms;   6 bits
Float64x1 (power  1):  11 terms;   6 bits
Float64x1 (power  2):   9 terms;   6 bits
Float64x1 (power  3):   8 terms;   6 bits
Float64x1 (power  4):   7 terms;   7 bits
Float64x1 (power  5):   6 terms;   7 bits
Float64x1 (power  6):   6 terms;   8 bits
Float64x1 (power  7):   5 terms;   9 bits
Float64x1 (power  8):   5 terms;   9 bits
Float64x1 (power  9):   4 terms;  10 bits
Float64x1 (power 10):   4 terms;  11 bits
Float64x1 (power 11):   4 terms;  12 bits
Float64x1 (power 12):   4 terms;  13 bits
Float64x1 (power 13):   3 terms;  14 bits
Float64x1 (power 14):   3 terms;  15 bits
Float64x1 (power 15):   3 terms;  16 bits
Float64x1 (power 16):   3 terms;  17 bits
Float64x1 (power 17):   3 terms;  18 bits
Float64x1 (power 18):   3 terms;  19 bits
Float64x1 (power 19):   3 terms;  20 bits
Float64x1 (power 20):   3 terms;  21 bits

Float64x2 (power  0):  22 terms;   7 bits
Float64x2 (power  1):  19 terms;   7 bits
Float64x2 (power  2):  17 terms;   7 bits
Float64x2 (power  3):  15 terms;   7 bits
Float64x2 (power  4):  13 terms;   8 bits
Float64x2 (power  5):  12 terms;   8 bits
Float64x2 (power  6):  11 terms;   9 bits
Float64x2 (power  7):  10 terms;  10 bits
Float64x2 (power  8):   9 terms;  11 bits
Float64x2 (power  9):   8 terms;  12 bits
Float64x2 (power 10):   8 terms;  13 bits
Float64x2 (power 11):   7 terms;  14 bits
Float64x2 (power 12):   7 terms;  15 bits
Float64x2 (power 13):   7 terms;  16 bits
Float64x2 (power 14):   6 terms;  17 bits
Float64x2 (power 15):   6 terms;  18 bits
Float64x2 (power 16):   6 terms;  19 bits
Float64x2 (power 17):   5 terms;  20 bits
Float64x2 (power 18):   5 terms;  21 bits
Float64x2 (power 19):   5 terms;  22 bits
Float64x2 (power 20):   5 terms;  23 bits

Float64x3 (power  0):  31 terms;   7 bits
Float64x3 (power  1):  27 terms;   7 bits
Float64x3 (power  2):  24 terms;   7 bits
Float64x3 (power  3):  21 terms;   8 bits
Float64x3 (power  4):  19 terms;   8 bits
Float64x3 (power  5):  17 terms;   9 bits
Float64x3 (power  6):  16 terms;  10 bits
Float64x3 (power  7):  14 terms;  12 bits
Float64x3 (power  8):  13 terms;  12 bits
Float64x3 (power  9):  12 terms;  13 bits
Float64x3 (power 10):  12 terms;  14 bits
Float64x3 (power 11):  11 terms;  15 bits
Float64x3 (power 12):  10 terms;  16 bits
Float64x3 (power 13):  10 terms;  18 bits
Float64x3 (power 14):   9 terms;  18 bits
Float64x3 (power 15):   9 terms;  20 bits
Float64x3 (power 16):   8 terms;  20 bits
Float64x3 (power 17):   8 terms;  21 bits
Float64x3 (power 18):   7 terms;  22 bits
Float64x3 (power 19):   7 terms;  24 bits
Float64x3 (power 20):   7 terms;  24 bits

Float64x4 (power  0):  40 terms;   6 bits
Float64x4 (power  1):  35 terms;   7 bits
Float64x4 (power  2):  30 terms;   8 bits
Float64x4 (power  3):  27 terms;   9 bits
Float64x4 (power  4):  24 terms;   9 bits
Float64x4 (power  5):  22 terms;  10 bits
Float64x4 (power  6):  20 terms;  11 bits
Float64x4 (power  7):  19 terms;  12 bits
Float64x4 (power  8):  17 terms;  13 bits
Float64x4 (power  9):  16 terms;  14 bits
Float64x4 (power 10):  15 terms;  15 bits
Float64x4 (power 11):  14 terms;  17 bits
Float64x4 (power 12):  13 terms;  17 bits
Float64x4 (power 13):  13 terms;  18 bits
Float64x4 (power 14):  12 terms;  19 bits
Float64x4 (power 15):  11 terms;  20 bits
Float64x4 (power 16):  11 terms;  22 bits
Float64x4 (power 17):  10 terms;  22 bits
Float64x4 (power 18):  10 terms;  24 bits
Float64x4 (power 19):   9 terms;  24 bits
Float64x4 (power 20):   9 terms;  25 bits

Float64x5 (power  0):  48 terms;   6 bits
Float64x5 (power  1):  42 terms;   7 bits
Float64x5 (power  2):  37 terms;   8 bits
Float64x5 (power  3):  33 terms;   9 bits
Float64x5 (power  4):  30 terms;  10 bits
Float64x5 (power  5):  27 terms;  11 bits
Float64x5 (power  6):  25 terms;  12 bits
Float64x5 (power  7):  23 terms;  13 bits
Float64x5 (power  8):  21 terms;  14 bits
Float64x5 (power  9):  20 terms;  16 bits
Float64x5 (power 10):  18 terms;  16 bits
Float64x5 (power 11):  17 terms;  17 bits
Float64x5 (power 12):  16 terms;  19 bits
Float64x5 (power 13):  15 terms;  20 bits
Float64x5 (power 14):  15 terms;  20 bits
Float64x5 (power 15):  14 terms;  21 bits
Float64x5 (power 16):  13 terms;  22 bits
Float64x5 (power 17):  13 terms;  23 bits
Float64x5 (power 18):  12 terms;  24 bits
Float64x5 (power 19):  12 terms;  25 bits
Float64x5 (power 20):  11 terms;  27 bits

Float64x6 (power  0):  55 terms;   7 bits
Float64x6 (power  1):  48 terms;   8 bits
Float64x6 (power  2):  43 terms;   9 bits
Float64x6 (power  3):  39 terms;  10 bits
Float64x6 (power  4):  35 terms;  11 bits
Float64x6 (power  5):  32 terms;  12 bits
Float64x6 (power  6):  29 terms;  13 bits
Float64x6 (power  7):  27 terms;  14 bits
Float64x6 (power  8):  25 terms;  15 bits
Float64x6 (power  9):  23 terms;  16 bits
Float64x6 (power 10):  22 terms;  17 bits
Float64x6 (power 11):  21 terms;  19 bits
Float64x6 (power 12):  19 terms;  19 bits
Float64x6 (power 13):  18 terms;  20 bits
Float64x6 (power 14):  17 terms;  21 bits
Float64x6 (power 15):  17 terms;  22 bits
Float64x6 (power 16):  16 terms;  23 bits
Float64x6 (power 17):  15 terms;  24 bits
Float64x6 (power 18):  14 terms;  25 bits
Float64x6 (power 19):  14 terms;  27 bits
Float64x6 (power 20):  13 terms;  27 bits

Float64x7 (power  0):  63 terms;   6 bits
Float64x7 (power  1):  55 terms;   9 bits
Float64x7 (power  2):  49 terms;  10 bits
Float64x7 (power  3):  44 terms;  11 bits
Float64x7 (power  4):  40 terms;  12 bits
Float64x7 (power  5):  37 terms;  13 bits
Float64x7 (power  6):  34 terms;  13 bits
Float64x7 (power  7):  31 terms;  14 bits
Float64x7 (power  8):  29 terms;  15 bits
Float64x7 (power  9):  27 terms;  16 bits
Float64x7 (power 10):  25 terms;  18 bits
Float64x7 (power 11):  24 terms;  19 bits
Float64x7 (power 12):  22 terms;  19 bits
Float64x7 (power 13):  21 terms;  21 bits
Float64x7 (power 14):  20 terms;  22 bits
Float64x7 (power 15):  19 terms;  23 bits
Float64x7 (power 16):  18 terms;  23 bits
Float64x7 (power 17):  17 terms;  25 bits
Float64x7 (power 18):  17 terms;  26 bits
Float64x7 (power 19):  16 terms;  28 bits
Float64x7 (power 20):  15 terms;  29 bits

Float64x8 (power  0):  70 terms;   6 bits
Float64x8 (power  1):  62 terms;  10 bits
Float64x8 (power  2):  55 terms;  10 bits
Float64x8 (power  3):  50 terms;  11 bits
Float64x8 (power  4):  45 terms;  13 bits
Float64x8 (power  5):  41 terms;  14 bits
Float64x8 (power  6):  38 terms;  15 bits
Float64x8 (power  7):  35 terms;  15 bits
Float64x8 (power  8):  33 terms;  16 bits
Float64x8 (power  9):  30 terms;  18 bits
Float64x8 (power 10):  29 terms;  19 bits
Float64x8 (power 11):  27 terms;  20 bits
Float64x8 (power 12):  25 terms;  21 bits
Float64x8 (power 13):  24 terms;  21 bits
Float64x8 (power 14):  23 terms;  23 bits
Float64x8 (power 15):  22 terms;  24 bits
Float64x8 (power 16):  21 terms;  24 bits
Float64x8 (power 17):  20 terms;  26 bits
Float64x8 (power 18):  19 terms;  27 bits
Float64x8 (power 19):  18 terms;  28 bits
Float64x8 (power 20):  18 terms;  28 bits

SLOPPY (EXTRA BIT)
Float64x1 (power  0):  14 terms;   1 bits
Float64x1 (power  1):  11 terms;   2 bits
Float64x1 (power  2):  10 terms;   3 bits
Float64x1 (power  3):   8 terms;   4 bits
Float64x1 (power  4):   7 terms;   5 bits
Float64x1 (power  5):   6 terms;   6 bits
Float64x1 (power  6):   6 terms;   7 bits
Float64x1 (power  7):   5 terms;   8 bits
Float64x1 (power  8):   5 terms;   9 bits
Float64x1 (power  9):   4 terms;  10 bits
Float64x1 (power 10):   4 terms;  11 bits
Float64x1 (power 11):   4 terms;  12 bits
Float64x1 (power 12):   4 terms;  13 bits
Float64x1 (power 13):   3 terms;  14 bits
Float64x1 (power 14):   3 terms;  15 bits
Float64x1 (power 15):   3 terms;  16 bits
Float64x1 (power 16):   3 terms;  17 bits
Float64x1 (power 17):   3 terms;  18 bits
Float64x1 (power 18):   3 terms;  19 bits
Float64x1 (power 19):   3 terms;  20 bits
Float64x1 (power 20):   3 terms;  21 bits

Float64x2 (power  0):  23 terms;   2 bits
Float64x2 (power  1):  20 terms;   4 bits
Float64x2 (power  2):  17 terms;   5 bits
Float64x2 (power  3):  15 terms;   6 bits
Float64x2 (power  4):  13 terms;   7 bits
Float64x2 (power  5):  12 terms;   8 bits
Float64x2 (power  6):  11 terms;   9 bits
Float64x2 (power  7):  10 terms;  10 bits
Float64x2 (power  8):   9 terms;  11 bits
Float64x2 (power  9):   8 terms;  12 bits
Float64x2 (power 10):   8 terms;  13 bits
Float64x2 (power 11):   7 terms;  14 bits
Float64x2 (power 12):   7 terms;  15 bits
Float64x2 (power 13):   7 terms;  16 bits
Float64x2 (power 14):   6 terms;  17 bits
Float64x2 (power 15):   6 terms;  18 bits
Float64x2 (power 16):   6 terms;  19 bits
Float64x2 (power 17):   5 terms;  20 bits
Float64x2 (power 18):   5 terms;  21 bits
Float64x2 (power 19):   5 terms;  22 bits
Float64x2 (power 20):   5 terms;  23 bits

Float64x3 (power  0):  32 terms;   2 bits
Float64x3 (power  1):  27 terms;   5 bits
Float64x3 (power  2):  24 terms;   6 bits
Float64x3 (power  3):  21 terms;   7 bits
Float64x3 (power  4):  19 terms;   8 bits
Float64x3 (power  5):  17 terms;   9 bits
Float64x3 (power  6):  16 terms;  10 bits
Float64x3 (power  7):  14 terms;  11 bits
Float64x3 (power  8):  13 terms;  12 bits
Float64x3 (power  9):  12 terms;  14 bits
Float64x3 (power 10):  12 terms;  14 bits
Float64x3 (power 11):  11 terms;  15 bits
Float64x3 (power 12):  10 terms;  17 bits
Float64x3 (power 13):  10 terms;  17 bits
Float64x3 (power 14):   9 terms;  19 bits
Float64x3 (power 15):   9 terms;  20 bits
Float64x3 (power 16):   8 terms;  20 bits
Float64x3 (power 17):   8 terms;  22 bits
Float64x3 (power 18):   7 terms;  22 bits
Float64x3 (power 19):   7 terms;  24 bits
Float64x3 (power 20):   7 terms;  25 bits

Float64x4 (power  0):  40 terms;   3 bits
Float64x4 (power  1):  35 terms;   6 bits
Float64x4 (power  2):  30 terms;   7 bits
Float64x4 (power  3):  27 terms;   8 bits
Float64x4 (power  4):  24 terms;   9 bits
Float64x4 (power  5):  22 terms;  11 bits
Float64x4 (power  6):  20 terms;  11 bits
Float64x4 (power  7):  19 terms;  12 bits
Float64x4 (power  8):  17 terms;  13 bits
Float64x4 (power  9):  16 terms;  15 bits
Float64x4 (power 10):  15 terms;  15 bits
Float64x4 (power 11):  14 terms;  17 bits
Float64x4 (power 12):  13 terms;  17 bits
Float64x4 (power 13):  13 terms;  18 bits
Float64x4 (power 14):  12 terms;  19 bits
Float64x4 (power 15):  11 terms;  20 bits
Float64x4 (power 16):  11 terms;  21 bits
Float64x4 (power 17):  10 terms;  23 bits
Float64x4 (power 18):  10 terms;  23 bits
Float64x4 (power 19):   9 terms;  25 bits
Float64x4 (power 20):   9 terms;  25 bits

Float64x5 (power  0):  48 terms;   4 bits
Float64x5 (power  1):  42 terms;   7 bits
Float64x5 (power  2):  37 terms;   8 bits
Float64x5 (power  3):  33 terms;   9 bits
Float64x5 (power  4):  30 terms;  10 bits
Float64x5 (power  5):  27 terms;  11 bits
Float64x5 (power  6):  25 terms;  13 bits
Float64x5 (power  7):  23 terms;  13 bits
Float64x5 (power  8):  21 terms;  15 bits
Float64x5 (power  9):  20 terms;  15 bits
Float64x5 (power 10):  18 terms;  16 bits
Float64x5 (power 11):  17 terms;  17 bits
Float64x5 (power 12):  16 terms;  19 bits
Float64x5 (power 13):  15 terms;  19 bits
Float64x5 (power 14):  15 terms;  20 bits
Float64x5 (power 15):  14 terms;  21 bits
Float64x5 (power 16):  13 terms;  22 bits
Float64x5 (power 17):  13 terms;  23 bits
Float64x5 (power 18):  12 terms;  24 bits
Float64x5 (power 19):  12 terms;  25 bits
Float64x5 (power 20):  11 terms;  26 bits

Float64x6 (power  0):  56 terms;   4 bits
Float64x6 (power  1):  49 terms;   8 bits
Float64x6 (power  2):  43 terms;   9 bits
Float64x6 (power  3):  39 terms;  11 bits
Float64x6 (power  4):  35 terms;  11 bits
Float64x6 (power  5):  32 terms;  13 bits
Float64x6 (power  6):  29 terms;  13 bits
Float64x6 (power  7):  27 terms;  15 bits
Float64x6 (power  8):  25 terms;  15 bits
Float64x6 (power  9):  23 terms;  16 bits
Float64x6 (power 10):  22 terms;  17 bits
Float64x6 (power 11):  21 terms;  18 bits
Float64x6 (power 12):  19 terms;  19 bits
Float64x6 (power 13):  18 terms;  21 bits
Float64x6 (power 14):  17 terms;  21 bits
Float64x6 (power 15):  17 terms;  22 bits
Float64x6 (power 16):  16 terms;  23 bits
Float64x6 (power 17):  15 terms;  24 bits
Float64x6 (power 18):  14 terms;  25 bits
Float64x6 (power 19):  14 terms;  26 bits
Float64x6 (power 20):  13 terms;  28 bits

Float64x7 (power  0):  64 terms;   4 bits
Float64x7 (power  1):  55 terms;   9 bits
Float64x7 (power  2):  49 terms;  10 bits
Float64x7 (power  3):  44 terms;  11 bits
Float64x7 (power  4):  40 terms;  12 bits
Float64x7 (power  5):  37 terms;  13 bits
Float64x7 (power  6):  34 terms;  14 bits
Float64x7 (power  7):  31 terms;  15 bits
Float64x7 (power  8):  29 terms;  16 bits
Float64x7 (power  9):  27 terms;  17 bits
Float64x7 (power 10):  25 terms;  18 bits
Float64x7 (power 11):  24 terms;  19 bits
Float64x7 (power 12):  22 terms;  20 bits
Float64x7 (power 13):  21 terms;  20 bits
Float64x7 (power 14):  20 terms;  22 bits
Float64x7 (power 15):  19 terms;  23 bits
Float64x7 (power 16):  18 terms;  24 bits
Float64x7 (power 17):  17 terms;  25 bits
Float64x7 (power 18):  17 terms;  26 bits
Float64x7 (power 19):  16 terms;  27 bits
Float64x7 (power 20):  15 terms;  27 bits

Float64x8 (power  0):  71 terms;   4 bits
Float64x8 (power  1):  62 terms;  10 bits
Float64x8 (power  2):  55 terms;  11 bits
Float64x8 (power  3):  50 terms;  12 bits
Float64x8 (power  4):  45 terms;  13 bits
Float64x8 (power  5):  41 terms;  14 bits
Float64x8 (power  6):  38 terms;  15 bits
Float64x8 (power  7):  35 terms;  15 bits
Float64x8 (power  8):  33 terms;  16 bits
Float64x8 (power  9):  30 terms;  18 bits
Float64x8 (power 10):  29 terms;  20 bits
Float64x8 (power 11):  27 terms;  20 bits
Float64x8 (power 12):  25 terms;  21 bits
Float64x8 (power 13):  24 terms;  22 bits
Float64x8 (power 14):  23 terms;  23 bits
Float64x8 (power 15):  22 terms;  24 bits
Float64x8 (power 16):  21 terms;  25 bits
Float64x8 (power 17):  20 terms;  26 bits
Float64x8 (power 18):  19 terms;  26 bits
Float64x8 (power 19):  18 terms;  28 bits
Float64x8 (power 20):  18 terms;  29 bits

SLOPPY (NO EXTRA)
Float64x1 (power  0):  13 terms;   6 bits
Float64x1 (power  1):  11 terms;   6 bits
Float64x1 (power  2):   9 terms;   6 bits
Float64x1 (power  3):   8 terms;   6 bits
Float64x1 (power  4):   7 terms;   7 bits
Float64x1 (power  5):   6 terms;   7 bits
Float64x1 (power  6):   6 terms;   8 bits
Float64x1 (power  7):   5 terms;   9 bits
Float64x1 (power  8):   5 terms;   9 bits
Float64x1 (power  9):   4 terms;  10 bits
Float64x1 (power 10):   4 terms;  11 bits
Float64x1 (power 11):   4 terms;  12 bits
Float64x1 (power 12):   4 terms;  13 bits
Float64x1 (power 13):   3 terms;  14 bits
Float64x1 (power 14):   3 terms;  15 bits
Float64x1 (power 15):   3 terms;  16 bits
Float64x1 (power 16):   3 terms;  17 bits
Float64x1 (power 17):   3 terms;  18 bits
Float64x1 (power 18):   3 terms;  19 bits
Float64x1 (power 19):   3 terms;  20 bits
Float64x1 (power 20):   3 terms;  21 bits

Float64x2 (power  0):  22 terms;   8 bits
Float64x2 (power  1):  19 terms;   8 bits
Float64x2 (power  2):  17 terms;   8 bits
Float64x2 (power  3):  15 terms;   8 bits
Float64x2 (power  4):  13 terms;   8 bits
Float64x2 (power  5):  12 terms;   9 bits
Float64x2 (power  6):  11 terms;   9 bits
Float64x2 (power  7):  10 terms;  10 bits
Float64x2 (power  8):   9 terms;  11 bits
Float64x2 (power  9):   8 terms;  12 bits
Float64x2 (power 10):   8 terms;  13 bits
Float64x2 (power 11):   7 terms;  14 bits
Float64x2 (power 12):   7 terms;  15 bits
Float64x2 (power 13):   7 terms;  16 bits
Float64x2 (power 14):   6 terms;  17 bits
Float64x2 (power 15):   6 terms;  18 bits
Float64x2 (power 16):   6 terms;  19 bits
Float64x2 (power 17):   5 terms;  20 bits
Float64x2 (power 18):   5 terms;  21 bits
Float64x2 (power 19):   5 terms;  22 bits
Float64x2 (power 20):   5 terms;  23 bits

Float64x3 (power  0):  31 terms;   8 bits
Float64x3 (power  1):  27 terms;   8 bits
Float64x3 (power  2):  24 terms;   8 bits
Float64x3 (power  3):  21 terms;   8 bits
Float64x3 (power  4):  19 terms;   9 bits
Float64x3 (power  5):  17 terms;   9 bits
Float64x3 (power  6):  16 terms;  11 bits
Float64x3 (power  7):  14 terms;  11 bits
Float64x3 (power  8):  13 terms;  12 bits
Float64x3 (power  9):  12 terms;  13 bits
Float64x3 (power 10):  12 terms;  14 bits
Float64x3 (power 11):  11 terms;  15 bits
Float64x3 (power 12):  10 terms;  16 bits
Float64x3 (power 13):  10 terms;  17 bits
Float64x3 (power 14):   9 terms;  19 bits
Float64x3 (power 15):   9 terms;  19 bits
Float64x3 (power 16):   8 terms;  20 bits
Float64x3 (power 17):   8 terms;  21 bits
Float64x3 (power 18):   7 terms;  23 bits
Float64x3 (power 19):   7 terms;  24 bits
Float64x3 (power 20):   7 terms;  24 bits

Float64x4 (power  0):  39 terms;   9 bits
Float64x4 (power  1):  34 terms;   9 bits
Float64x4 (power  2):  30 terms;   9 bits
Float64x4 (power  3):  27 terms;   9 bits
Float64x4 (power  4):  24 terms;   9 bits
Float64x4 (power  5):  22 terms;  10 bits
Float64x4 (power  6):  20 terms;  12 bits
Float64x4 (power  7):  19 terms;  13 bits
Float64x4 (power  8):  17 terms;  14 bits
Float64x4 (power  9):  16 terms;  14 bits
Float64x4 (power 10):  15 terms;  16 bits
Float64x4 (power 11):  14 terms;  16 bits
Float64x4 (power 12):  13 terms;  17 bits
Float64x4 (power 13):  13 terms;  18 bits
Float64x4 (power 14):  12 terms;  19 bits
Float64x4 (power 15):  11 terms;  20 bits
Float64x4 (power 16):  11 terms;  21 bits
Float64x4 (power 17):  10 terms;  22 bits
Float64x4 (power 18):  10 terms;  23 bits
Float64x4 (power 19):   9 terms;  24 bits
Float64x4 (power 20):   9 terms;  25 bits

Float64x5 (power  0):  47 terms;  10 bits
Float64x5 (power  1):  41 terms;  10 bits
Float64x5 (power  2):  37 terms;  10 bits
Float64x5 (power  3):  33 terms;  10 bits
Float64x5 (power  4):  30 terms;  10 bits
Float64x5 (power  5):  27 terms;  11 bits
Float64x5 (power  6):  25 terms;  12 bits
Float64x5 (power  7):  23 terms;  13 bits
Float64x5 (power  8):  21 terms;  14 bits
Float64x5 (power  9):  20 terms;  15 bits
Float64x5 (power 10):  18 terms;  16 bits
Float64x5 (power 11):  17 terms;  17 bits
Float64x5 (power 12):  16 terms;  18 bits
Float64x5 (power 13):  15 terms;  19 bits
Float64x5 (power 14):  15 terms;  20 bits
Float64x5 (power 15):  14 terms;  21 bits
Float64x5 (power 16):  13 terms;  22 bits
Float64x5 (power 17):  13 terms;  23 bits
Float64x5 (power 18):  12 terms;  24 bits
Float64x5 (power 19):  12 terms;  25 bits
Float64x5 (power 20):  11 terms;  26 bits

Float64x6 (power  0):  55 terms;  11 bits
Float64x6 (power  1):  48 terms;  10 bits
Float64x6 (power  2):  43 terms;  10 bits
Float64x6 (power  3):  39 terms;  10 bits
Float64x6 (power  4):  35 terms;  11 bits
Float64x6 (power  5):  32 terms;  12 bits
Float64x6 (power  6):  29 terms;  13 bits
Float64x6 (power  7):  27 terms;  14 bits
Float64x6 (power  8):  25 terms;  15 bits
Float64x6 (power  9):  23 terms;  16 bits
Float64x6 (power 10):  22 terms;  17 bits
Float64x6 (power 11):  21 terms;  18 bits
Float64x6 (power 12):  19 terms;  19 bits
Float64x6 (power 13):  18 terms;  20 bits
Float64x6 (power 14):  17 terms;  21 bits
Float64x6 (power 15):  17 terms;  23 bits
Float64x6 (power 16):  16 terms;  24 bits
Float64x6 (power 17):  15 terms;  24 bits
Float64x6 (power 18):  14 terms;  25 bits
Float64x6 (power 19):  14 terms;  26 bits
Float64x6 (power 20):  13 terms;  27 bits

Float64x7 (power  0):  63 terms;  10 bits
Float64x7 (power  1):  55 terms;  10 bits
Float64x7 (power  2):  49 terms;  11 bits
Float64x7 (power  3):  44 terms;  11 bits
Float64x7 (power  4):  40 terms;  12 bits
Float64x7 (power  5):  37 terms;  13 bits
Float64x7 (power  6):  34 terms;  15 bits
Float64x7 (power  7):  31 terms;  15 bits
Float64x7 (power  8):  29 terms;  16 bits
Float64x7 (power  9):  27 terms;  17 bits
Float64x7 (power 10):  25 terms;  18 bits
Float64x7 (power 11):  24 terms;  19 bits
Float64x7 (power 12):  22 terms;  20 bits
Float64x7 (power 13):  21 terms;  20 bits
Float64x7 (power 14):  20 terms;  22 bits
Float64x7 (power 15):  19 terms;  23 bits
Float64x7 (power 16):  18 terms;  23 bits
Float64x7 (power 17):  17 terms;  25 bits
Float64x7 (power 18):  17 terms;  26 bits
Float64x7 (power 19):  16 terms;  27 bits
Float64x7 (power 20):  15 terms;  28 bits

Float64x8 (power  0):  70 terms;  10 bits
Float64x8 (power  1):  62 terms;  10 bits
Float64x8 (power  2):  55 terms;  10 bits
Float64x8 (power  3):  50 terms;  11 bits
Float64x8 (power  4):  45 terms;  13 bits
Float64x8 (power  5):  41 terms;  14 bits
Float64x8 (power  6):  38 terms;  15 bits
Float64x8 (power  7):  35 terms;  16 bits
Float64x8 (power  8):  33 terms;  17 bits
Float64x8 (power  9):  30 terms;  18 bits
Float64x8 (power 10):  29 terms;  19 bits
Float64x8 (power 11):  27 terms;  19 bits
Float64x8 (power 12):  25 terms;  20 bits
Float64x8 (power 13):  24 terms;  22 bits
Float64x8 (power 14):  23 terms;  23 bits
Float64x8 (power 15):  22 terms;  25 bits
Float64x8 (power 16):  21 terms;  24 bits
Float64x8 (power 17):  20 terms;  26 bits
Float64x8 (power 18):  19 terms;  28 bits
Float64x8 (power 19):  18 terms;  28 bits
Float64x8 (power 20):  18 terms;  29 bits
