Details

Time bar (total: 8.1s)

sample145.0ms

Algorithm
halfpoints
Results

simplify185.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
185.0ms
(-.p16 (+.p16 (-.p16 (*.p16 d1 d2) (*.p16 d1 d3)) (*.p16 d4 d1)) (*.p16 d1 d1))

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize89.0ms

Local error

Found 2 expressions with local error:

0.4b
(+.p16 (-.p16 d2 d3) (-.p16 d4 d1))
0.3b
(*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
2×sub-neg
1×distribute-rgt-in +-commutative associate-+l+ associate-+r+ associate-+r- distribute-lft-in *-commutative associate-+l-
Counts
2 → 8
Calls
2 calls:
Slowest
7.0ms
(+.p16 (-.p16 d2 d3) (-.p16 d4 d1))
6.0ms
(*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))

series0.0ms

Counts
2 → 2
Calls
2 calls:
Slowest
0.0ms
(+.p16 (-.p16 d2 d3) (-.p16 d4 d1))
0.0ms
(*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))

simplify174.0ms

Counts
10 → 10
Calls
10 calls:
Slowest
72.0ms
(*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
56.0ms
(*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
7.0ms
(-.p16 d3 (-.p16 d4 d1))
6.0ms
(+.p16 (-.p16 d2 d3) d4)
6.0ms
(+.p16 (neg.p16 d3) (-.p16 d4 d1))

prune169.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize93.0ms

Local error

Found 3 expressions with local error:

0.3b
(*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1))
0.2b
(-.p16 (+.p16 (-.p16 d2 d3) d4) d1)
0.2b
(+.p16 (-.p16 d2 d3) d4)

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
4×sub-neg
3×associate--l+
2×distribute-rgt-in distribute-lft-in p16-flip-- associate-+l-
1×associate--l- +-commutative associate-+l+ associate-*r/ *-commutative
Counts
3 → 13
Calls
3 calls:
Slowest
23.0ms
(-.p16 (+.p16 (-.p16 d2 d3) d4) d1)
17.0ms
(*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1))
6.0ms
(+.p16 (-.p16 d2 d3) d4)

series0.0ms

Counts
3 → 3
Calls
3 calls:
Slowest
0.0ms
(*.p16 d1 (-.p16 (+.p16 (-.p16 d2 d3) d4) d1))
0.0ms
(-.p16 (+.p16 (-.p16 d2 d3) d4) d1)
0.0ms
(+.p16 (-.p16 d2 d3) d4)

simplify524.0ms

Counts
19 → 16
Calls
19 calls:
Slowest
196.0ms
(-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1))
149.0ms
(*.p16 d1 (-.p16 (*.p16 (+.p16 (-.p16 d2 d3) d4) (+.p16 (-.p16 d2 d3) d4)) (*.p16 d1 d1)))
53.0ms
(+.p16 (+.p16 (-.p16 d2 d3) d4) d1)
26.0ms
(*.p16 d1 (+.p16 (-.p16 d2 d3) d4))
23.0ms
(*.p16 (+.p16 (-.p16 d2 d3) d4) d1)

prune265.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize88.0ms

Local error

Found 3 expressions with local error:

0.3b
(*.p16 d1 (-.p16 (+.p16 d2 (-.p16 d4 d3)) d1))
0.2b
(-.p16 (+.p16 d2 (-.p16 d4 d3)) d1)
0.2b
(+.p16 d2 (-.p16 d4 d3))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
4×sub-neg
3×associate--l+
2×distribute-rgt-in associate-+r- distribute-lft-in p16-flip--
1×associate--l- +-commutative associate-+r+ associate-*r/ *-commutative
Counts
3 → 13
Calls
3 calls:
Slowest
9.0ms
(*.p16 d1 (-.p16 (+.p16 d2 (-.p16 d4 d3)) d1))
7.0ms
(-.p16 (+.p16 d2 (-.p16 d4 d3)) d1)
3.0ms
(+.p16 d2 (-.p16 d4 d3))

series0.0ms

Counts
3 → 3
Calls
3 calls:
Slowest
0.0ms
(*.p16 d1 (-.p16 (+.p16 d2 (-.p16 d4 d3)) d1))
0.0ms
(-.p16 (+.p16 d2 (-.p16 d4 d3)) d1)
0.0ms
(+.p16 d2 (-.p16 d4 d3))

simplify1.1s

Counts
19 → 16
Calls
19 calls:
Slowest
209.0ms
(*.p16 d1 (-.p16 (*.p16 (+.p16 d2 (-.p16 d4 d3)) (+.p16 d2 (-.p16 d4 d3))) (*.p16 d1 d1)))
188.0ms
(-.p16 (*.p16 (+.p16 d2 (-.p16 d4 d3)) (+.p16 d2 (-.p16 d4 d3))) (*.p16 d1 d1))
139.0ms
(*.p16 d1 (-.p16 (+.p16 d2 (-.p16 d4 d3)) d1))
137.0ms
(*.p16 d1 (-.p16 (+.p16 d2 (-.p16 d4 d3)) d1))
134.0ms
(*.p16 d1 (-.p16 (+.p16 d2 (-.p16 d4 d3)) d1))

prune503.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize130.0ms

Local error

Found 2 expressions with local error:

0.4b
(-.p16 (+.p16 d2 d4) (+.p16 d1 d3))
0.3b
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
2×p16-flip--
1×sub-neg associate-*l/ associate--l+ *-commutative associate--r+
Counts
2 → 6
Calls
2 calls:
Slowest
19.0ms
(-.p16 (+.p16 d2 d4) (+.p16 d1 d3))
10.0ms
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)

series0.0ms

Counts
2 → 2
Calls
2 calls:
Slowest
0.0ms
(-.p16 (+.p16 d2 d4) (+.p16 d1 d3))
0.0ms
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)

simplify514.0ms

Counts
8 → 8
Calls
8 calls:
Slowest
183.0ms
(*.p16 (-.p16 (*.p16 (+.p16 d2 d4) (+.p16 d2 d4)) (*.p16 (+.p16 d1 d3) (+.p16 d1 d3))) d1)
147.0ms
(-.p16 (*.p16 (+.p16 d2 d4) (+.p16 d2 d4)) (*.p16 (+.p16 d1 d3) (+.p16 d1 d3)))
79.0ms
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)
70.0ms
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)
10.0ms
(-.p16 d4 (+.p16 d1 d3))

prune135.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes713.0ms

Accuracy

-∞% (-63.6b remaining)

Error of 0.4b against oracle of 64.0b and baseline of 64.0b

bsearch1.0ms

end0.0ms

sample3.2s

Algorithm
halfpoints
Results