jhc -v -ffast --optc=-march=opteron -o boyer boyer.lhs
jhc 0.1 20070302 (nioteadd+0)
Compiling [Right "boyer.lhs"]
Loading libraries: ["base","haskell98"]
Loading library: "base-1.0" @ "/home/dons/lib/jhc/base-1.0.hl"
Found object file: ~/lib/jhc/base-1.0.hl
Loading library: "haskell98-1.0" @ "/home/dons/lib/jhc/haskell98-1.0.hl"
Found object file: ~/lib/jhc/haskell98-1.0.hl
Found dependency: boyer.lhs at boyer.lhs
Determining Exports/Imports: [Main]
Typing: ["Main"]
Kind inference
Type inference
..............!
-- FloatInward-PreInit
-- typeAnalyze-PreInit
Initial optimization pass
.*.!
Initial Pass Stats
├╴E
│ ╰╴Simplify
│   ├╴application-push
│   │ ├╴case: 1
│   │ ╰╴let: 3
│   ├╴case-improve-default
│   │ ├╴[Int#]: 1
│   │ ├╴[Jhc.Prim.:]: 2
│   │ ├╴[Jhc.Prim.[]]: 5
│   │ ├╴[Main.Fun]: 2
│   │ ╰╴[Main.Var]: 5
│   ├╴case-no-default: 18
│   ├╴case-of-case: 8
│   ├╴f-beta-reduce: 6
│   ├╴inline
│   │ ├╴Forced: 5
│   │ ├╴Many: 234
│   │ ├╴ManyBranch: 12
│   │ ├╴Once: 39
│   │ ├╴OnceInLam: 4
│   │ ╰╴atomic: 9
│   ├╴known-case
│   │ ├╴1: 1
│   │ ├╴Jhc.Order.Bool#: 1
│   │ ├╴Main.Fun: 1
│   │ ╰╴_: 1
│   ├╴let-coalesce: 13339
│   ├╴let-from-case: 19
│   ╰╴strictness.let-to-case: 6
├╴EtaExpand
│ ├╴def
│ │ ├╴Main.main: 1
│ │ ╰╴W@.fJhc.List.149_f: 1
│ ╰╴use.Main.apply_subst: 1
├╴FloatInward
│ ├╴Main.apply_subst: 1
│ ├╴Main.falsep: 1
│ ├╴Main.find: 1
│ ├╴Main.one_way_unify: 1
│ ├╴Main.one_way_unify1: 1
│ ├╴Main.one_way_unify1_lst: 1
│ ├╴Main.rewrite: 1
│ ├╴Main.rewrite_with_lemmas: 1
│ ├╴Main.tautologyp: 1
│ ├╴Main.tautp: 1
│ ├╴Main.test: 1
│ ├╴Main.test0: 1
│ ╰╴Main.truep: 1
├╴LetFloat
│ ╰╴Full-Lazy
│   ╰╴float
│     ├╴Jhc.Basics.82_go: 1
│     ├╴x1680: 1
│     ├╴x6292: 1
│     ├╴x6294: 1
│     ├╴x6296: 1
│     ├╴x6298: 1
│     ├╴x6300: 1
│     ├╴x6304: 1
│     ├╴x6306: 1
│     ├╴x6308: 1
│     ├╴x6310: 1
│     ├╴x6312: 1
│     ├╴x6314: 1
│     ├╴x6316: 1
│     ├╴x6318: 1
│     ├╴x6320: 1
│     ├╴x6322: 1
│     ├╴x6324: 1
│     ├╴x6326: 1
│     ├╴x6328: 1
│     ├╴x6330: 1
│     ├╴x6334: 1
│     ├╴x6336: 1
│     ├╴x6342: 1
│     ├╴x6352: 1
│     ├╴x6356: 1
│     ├╴x6358: 1
│     ├╴x6360: 1
│     ├╴x6362: 1
│     ├╴x6364: 1
│     ├╴x6368: 1
│     ├╴x6372: 1
│     ├╴x6374: 1
│     ├╴x6378: 1
│     ├╴x6380: 1
│     ├╴x6382: 1
│     ├╴x6384: 1
│     ├╴x6386: 1
│     ├╴x6388: 1
│     ├╴x6390: 1
│     ├╴x6392: 1
│     ├╴x6394: 1
│     ├╴x6402: 1
│     ├╴x6404: 1
│     ├╴x6406: 1
│     ├╴x6408: 1
│     ├╴x6410: 1
│     ├╴x6412: 1
│     ├╴x6414: 1
│     ├╴x6416: 1
│     ├╴x6418: 1
│     ├╴x6420: 1
│     ├╴x6422: 1
│     ├╴x6424: 1
│     ├╴x6426: 1
│     ├╴x6428: 1
│     ├╴x6430: 1
│     ├╴x6432: 1
│     ├╴x6434: 1
│     ├╴x6436: 1
│     ├╴x6438: 1
│     ├╴x6440: 1
│     ├╴x6444: 1
│     ├╴x6446: 1
│     ├╴x6448: 1
│     ├╴x6450: 1
│     ├╴x6452: 1
│     ├╴x6456: 1
│     ├╴x6460: 1
│     ├╴x6464: 1
│     ├╴x6468: 1
│     ├╴x6472: 1
│     ├╴x6476: 1
│     ├╴x6478: 1
│     ├╴x6480: 1
│     ├╴x6482: 1
│     ├╴x6500: 1
│     ├╴x6502: 1
│     ├╴x6508: 1
│     ├╴x6510: 1
│     ├╴x6512: 1
│     ├╴x6514: 1
│     ├╴x6528: 1
│     ├╴x6532: 1
│     ├╴x6534: 1
│     ├╴x6536: 1
│     ├╴x6540: 1
│     ├╴x6556: 1
│     ├╴x6558: 1
│     ├╴x6560: 1
│     ├╴x6562: 1
│     ├╴x6564: 1
│     ├╴x6566: 1
│     ├╴x6568: 1
│     ├╴x6578: 1
│     ├╴x6580: 1
│     ├╴x6602: 1
│     ├╴x6604: 1
│     ├╴x6606: 1
│     ├╴x6608: 1
│     ├╴x6610: 1
│     ├╴x6612: 1
│     ├╴x6614: 1
│     ├╴x6618: 1
│     ├╴x6624: 1
│     ├╴x6626: 1
│     ├╴x6628: 1
│     ├╴x6630: 1
│     ├╴x6632: 1
│     ├╴x6642: 1
│     ├╴x6644: 1
│     ├╴x6646: 1
│     ├╴x6648: 1
│     ├╴x6650: 1
│     ├╴x6652: 1
│     ├╴x6654: 1
│     ├╴x6656: 1
│     ├╴x6658: 1
│     ├╴x6660: 1
│     ├╴x6662: 1
│     ├╴x6664: 1
│     ├╴x6672: 1
│     ├╴x6674: 1
│     ├╴x6676: 1
│     ├╴x6678: 1
│     ├╴x6686: 1
│     ├╴x6688: 1
│     ├╴x6690: 1
│     ├╴x6692: 1
│     ├╴x6694: 1
│     ├╴x6704: 1
│     ├╴x6706: 1
│     ├╴x6708: 1
│     ├╴x6710: 1
│     ├╴x6712: 1
│     ├╴x6714: 1
│     ├╴x6716: 1
│     ├╴x6718: 1
│     ├╴x6720: 1
│     ├╴x6722: 1
│     ├╴x6724: 1
│     ├╴x6726: 1
│     ├╴x6728: 1
│     ├╴x6730: 1
│     ├╴x6732: 1
│     ├╴x6734: 1
│     ├╴x6736: 1
│     ├╴x6738: 1
│     ├╴x6740: 1
│     ├╴x6742: 1
│     ├╴x6744: 1
│     ├╴x6746: 1
│     ├╴x6748: 1
│     ├╴x6750: 1
│     ├╴x6752: 1
│     ├╴x6754: 1
│     ├╴x6756: 1
│     ├╴x6758: 1
│     ├╴x6760: 1
│     ├╴x6762: 1
│     ├╴x6764: 1
│     ├╴x6766: 1
│     ├╴x6768: 1
│     ├╴x6770: 1
│     ├╴x6772: 1
│     ├╴x6782: 1
│     ├╴x6784: 1
│     ├╴x6786: 1
│     ├╴x6788: 1
│     ├╴x6790: 1
│     ├╴x6792: 1
│     ├╴x6794: 1
│     ├╴x6796: 1
│     ├╴x6798: 1
│     ├╴x6800: 1
│     ├╴x6802: 1
│     ├╴x6804: 1
│     ├╴x6806: 1
│     ├╴x6808: 1
│     ├╴x6810: 1
│     ├╴x6812: 1
│     ├╴x6814: 1
│     ├╴x6816: 1
│     ├╴x6818: 1
│     ├╴x6820: 1
│     ├╴x6822: 1
│     ├╴x6824: 1
│     ├╴x6826: 1
│     ├╴x6828: 1
│     ├╴x6830: 1
│     ├╴x6832: 1
│     ├╴x6834: 1
│     ├╴x6836: 1
│     ├╴x6838: 1
│     ├╴x6840: 1
│     ├╴x6842: 1
│     ├╴x6844: 1
│     ├╴x6846: 1
│     ├╴x6848: 1
│     ├╴x6850: 1
│     ├╴x6852: 1
│     ├╴x6854: 1
│     ├╴x6856: 1
│     ├╴x6858: 1
│     ├╴x6860: 1
│     ├╴x6862: 1
│     ├╴x6864: 1
│     ├╴x6866: 1
│     ├╴x6868: 1
│     ├╴x6870: 1
│     ├╴x6872: 1
│     ├╴x6874: 1
│     ├╴x6876: 1
│     ├╴x6878: 1
│     ├╴x6880: 1
│     ├╴x6882: 1
│     ├╴x6884: 1
│     ├╴x6886: 1
│     ├╴x6888: 1
│     ├╴x6890: 1
│     ├╴x6892: 1
│     ├╴x6894: 1
│     ├╴x6896: 1
│     ├╴x6898: 1
│     ├╴x6900: 1
│     ├╴x6902: 1
│     ├╴x6904: 1
│     ├╴x6906: 1
│     ├╴x6908: 1
│     ├╴x6910: 1
│     ├╴x6912: 1
│     ├╴x6914: 1
│     ├╴x6916: 1
│     ├╴x6918: 1
│     ├╴x6924: 1
│     ├╴x6926: 1
│     ├╴x6928: 1
│     ├╴x6930: 1
│     ├╴x6932: 1
│     ├╴x6934: 1
│     ├╴x6936: 1
│     ├╴x6938: 1
│     ├╴x6940: 1
│     ├╴x6942: 1
│     ├╴x6944: 1
│     ├╴x6946: 1
│     ├╴x6948: 1
│     ├╴x6954: 1
│     ├╴x6956: 1
│     ├╴x6958: 1
│     ├╴x6962: 1
│     ├╴x6964: 1
│     ├╴x6966: 1
│     ├╴x6968: 1
│     ├╴x6970: 1
│     ├╴x6972: 1
│     ├╴x6974: 1
│     ├╴x6976: 1
│     ├╴x6978: 1
│     ├╴x6980: 1
│     ├╴x6982: 1
│     ├╴x6984: 1
│     ├╴x6986: 1
│     ├╴x6988: 1
│     ├╴x6990: 1
│     ├╴x6998: 1
│     ├╴x7000: 1
│     ├╴x7002: 1
│     ├╴x7004: 1
│     ├╴x7006: 1
│     ├╴x7008: 1
│     ├╴x7010: 1
│     ├╴x7018: 1
│     ├╴x7020: 1
│     ├╴x7022: 1
│     ├╴x7024: 1
│     ├╴x7026: 1
│     ├╴x7028: 1
│     ├╴x7030: 1
│     ├╴x7032: 1
│     ├╴x7034: 1
│     ├╴x7036: 1
│     ├╴x7038: 1
│     ├╴x7040: 1
│     ├╴x7042: 1
│     ├╴x7044: 1
│     ├╴x7054: 1
│     ├╴x7056: 1
│     ├╴x7060: 1
│     ├╴x7062: 1
│     ├╴x7064: 1
│     ├╴x7066: 1
│     ├╴x7068: 1
│     ├╴x7070: 1
│     ├╴x7072: 1
│     ├╴x7074: 1
│     ├╴x7076: 1
│     ├╴x7078: 1
│     ├╴x7080: 1
│     ├╴x7082: 1
│     ├╴x7084: 1
│     ├╴x7086: 1
│     ├╴x7088: 1
│     ├╴x7090: 1
│     ├╴x7092: 1
│     ├╴x7094: 1
│     ├╴x7096: 1
│     ├╴x7098: 1
│     ├╴x7100: 1
│     ├╴x7102: 1
│     ├╴x7104: 1
│     ├╴x7112: 1
│     ├╴x7114: 1
│     ├╴x7116: 1
│     ├╴x7118: 1
│     ├╴x7126: 1
│     ├╴x7128: 1
│     ├╴x7130: 1
│     ├╴x7132: 1
│     ├╴x7134: 1
│     ├╴x7136: 1
│     ├╴x7138: 1
│     ├╴x7140: 1
│     ├╴x7142: 1
│     ├╴x7144: 1
│     ├╴x7146: 1
│     ├╴x7148: 1
│     ├╴x7150: 1
│     ├╴x7166: 1
│     ├╴x7168: 1
│     ├╴x7170: 1
│     ├╴x7174: 1
│     ├╴x7176: 1
│     ├╴x7178: 1
│     ├╴x7180: 1
│     ├╴x7182: 1
│     ├╴x7184: 1
│     ├╴x7186: 1
│     ├╴x7188: 1
│     ├╴x7190: 1
│     ├╴x7192: 1
│     ├╴x7194: 1
│     ├╴x7196: 1
│     ├╴x7198: 1
│     ├╴x7200: 1
│     ├╴x7202: 1
│     ├╴x7204: 1
│     ├╴x7206: 1
│     ├╴x7208: 1
│     ├╴x7210: 1
│     ├╴x7212: 1
│     ├╴x7214: 1
│     ├╴x7216: 1
│     ├╴x7218: 1
│     ├╴x7220: 1
│     ├╴x7222: 1
│     ├╴x7224: 1
│     ├╴x7226: 1
│     ├╴x7228: 1
│     ╰╴x7230: 1
├╴Rule
│ ├╴User
│ │ ╰╴Rule
│ │   ├╴Instance@.iJhc.Monad.>>=.Jhc.Prim.IO: 1
│ │   ├╴Instance@.iJhc.Monad.fail.Jhc.Prim.IO: 1
│ │   ├╴Instance@.iJhc.Order.==.Jhc.Prim.[]: 1
│ │   ├╴Instance@.iJhc.Order.==.Main.Id: 4
│ │   ├╴Instance@.iJhc.Order.==.Main.Term: 1
│ │   ╰╴Instance@.iPrelude.Text.show.Jhc.Order.Bool: 1
│ ╰╴error: 3
╰╴SimpleRecursive
  ├╴Main.apply_subst: 1
  ╰╴Main.find: 1
-- FloatInward-Init-Big-One
-- Simplify-Init-Big-One
-- Simplify-Init-Big-One
-- Simplify-Init-Big-One
-- Simplify-Init-Big-One
Total: Init-Big-One
╰╴E
  ╰╴Simplify
    ├╴case-default-case: 3
    ├╴case-of-case: 11
    ├╴inline
    │ ├╴Many: 4
    │ ╰╴atomic: 3
    ├╴known-case
    │ ├╴Jhc.Order.Bool#: 3
    │ ╰╴_: 1
    ├╴let-coalesce: 4462
    ├╴let-from-case: 11
    ╰╴strictness.let-to-case: 2
Init-Big-One Stats
╰╴E
  ╰╴Simplify
    ├╴case-default-case: 3
    ├╴case-of-case: 11
    ├╴inline
    │ ├╴Many: 4
    │ ╰╴atomic: 3
    ├╴known-case
    │ ├╴Jhc.Order.Bool#: 3
    │ ╰╴_: 1
    ├╴let-coalesce: 4462
    ├╴let-from-case: 11
    ╰╴strictness.let-to-case: 2
w.w..!
MainPass Stats
╰╴E
  ├╴Simplify
  │ ├╴case-of-case: 13
  │ ├╴case-trailing: 3
  │ ├╴inline
  │ │ ├╴Forced: 1
  │ │ ├╴Once: 2
  │ │ ╰╴atomic: 6
  │ ├╴known-case
  │ │ ├╴Jhc.Order.Bool#: 6
  │ │ ├╴Main.Id#: 2
  │ │ ╰╴_: 2
  │ ├╴let-coalesce: 8924
  │ ├╴let-from-case: 22
  │ ╰╴strictness.let-to-case: 2
  ╰╴Workwrap
    ├╴CPR.Jhc.Order.Bool#: 2
    ╰╴arg.Main.Id#: 2
Writing haskell object file: boyer.ho