Skip to content

Instantly share code, notes, and snippets.

@cutsea110

cutsea110/rule_2_18.log

Created November 20, 2021 23:46
Show Gist options
  • Save cutsea110/c92e58ab3c03e277abea03f9c9679a63 to your computer and use it in GitHub Desktop.
Save cutsea110/c92e58ab3c03e277abea03f9c9679a63 to your computer and use it in GitHub Desktop.
Download ZIP
applying for rule 2.18
Raw
rule_2_18.log
Up to date
Hello, Haskell!
1) Heap [ 13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
2: NSupercomb main
1: NSupercomb double ]
Stack [ 2: NSupercomb main ]
Dump Depth 0
2) Heap [ 2: NAp #1 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 2: NAp 1 17 (NAp #15 #16) ]
Dump Depth 0
3) Heap [ 2: NAp #1 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 1: NSupercomb double
2: NAp 1 17 (NAp #15 #16) ]
Dump Depth 0
4) Heap [ 2: NAp #18 #17
18: NAp #10 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 2: NAp 18 17 (NAp #15 #16) ]
Dump Depth 0
5) Heap [ 2: NAp #18 #17
18: NAp #10 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 18: NAp 10 17 (NAp #15 #16)
2: NAp 18 17 (NAp #15 #16) ]
Dump Depth 0
6) Heap [ 2: NAp #18 #17
18: NAp #10 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 10: NPrim Add
18: NAp 10 17 (NAp #15 #16)
2: NAp 18 17 (NAp #15 #16) ]
Dump Depth 0
7) Heap [ 2: NAp #18 #17
18: NAp #10 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 17: NAp 15 16 (NNum 3) ]
Dump Depth 1
8) Heap [ 2: NAp #18 #17
18: NAp #10 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 15: NAp 14 4 (NSupercomb K)
17: NAp 15 16 (NNum 3) ]
Dump Depth 1
9) Heap [ 2: NAp #18 #17
18: NAp #10 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 14: NAp 6 4 (NSupercomb K)
15: NAp 14 4 (NSupercomb K)
17: NAp 15 16 (NNum 3) ]
Dump Depth 1
10) Heap [ 2: NAp #18 #17
18: NAp #10 #17
17: NAp #15 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 6: NSupercomb S
14: NAp 6 4 (NSupercomb K)
15: NAp 14 4 (NSupercomb K)
17: NAp 15 16 (NNum 3) ]
Dump Depth 1
11) Heap [ 17: NAp #19 #20
20: NAp #4 #16
19: NAp #4 #16
2: NAp #18 #17
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 17: NAp 19 20 (NAp #4 #16) ]
Dump Depth 1
12) Heap [ 17: NAp #19 #20
20: NAp #4 #16
19: NAp #4 #16
2: NAp #18 #17
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 19: NAp 4 16 (NNum 3)
17: NAp 19 20 (NAp #4 #16) ]
Dump Depth 1
13) Heap [ 17: NAp #19 #20
20: NAp #4 #16
19: NAp #4 #16
2: NAp #18 #17
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 4: NSupercomb K
19: NAp 4 16 (NNum 3)
17: NAp 19 20 (NAp #4 #16) ]
Dump Depth 1
14) Heap [ 17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
2: NAp #18 #17
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 17: NInd #16 ]
Dump Depth 1
15) Heap [ 17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
2: NAp #18 #17
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 16: NNum 3 ]
Dump Depth 1
16) Heap [ 17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
2: NAp #18 #17
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 2: NAp 18 17 (NInd #16) ]
Dump Depth 0
17) Heap [ 2: NAp #18 #16
17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 2: NAp 18 16 (NNum 3) ]
Dump Depth 0
18) Heap [ 2: NAp #18 #16
17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
18: NAp #10 #17
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 18: NAp 10 17 (NInd #16)
2: NAp 18 16 (NNum 3) ]
Dump Depth 0
19) Heap [ 18: NAp #10 #16
2: NAp #18 #16
17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 18: NAp 10 16 (NNum 3)
2: NAp 18 16 (NNum 3) ]
Dump Depth 0
20) Heap [ 18: NAp #10 #16
2: NAp #18 #16
17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 10: NPrim Add
18: NAp 10 16 (NNum 3)
2: NAp 18 16 (NNum 3) ]
Dump Depth 0
21) Heap [ 2: NNum 6
18: NAp #10 #16
17: NInd #16
20: NAp #4 #16
19: NAp #4 #16
16: NNum 3
15: NAp #14 #4
14: NAp #6 #4
13: NPrim Div
12: NPrim Mul
11: NPrim Sub
10: NPrim Add
9: NPrim Neg
8: NSupercomb twice
7: NSupercomb compose
6: NSupercomb S
5: NSupercomb K1
4: NSupercomb K
3: NSupercomb I
1: NSupercomb double ]
Stack [ 2: NNum 6 ]
Dump Depth 0
Total number of steps = 20
Supercombinator steps = 4
Primitive steps = 0
Allocation count = 20
Stack maximum depth = 3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment