Details

Time bar (total: 9.0s)

sample103.0ms

Algorithm
halfpoints
Results

simplify209.0ms

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

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize145.0ms

Local error

Found 2 expressions with local error:

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

rewrite22.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
11.0ms
(+.p16 (-.p16 d2 d3) (-.p16 d4 d1))
10.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)))

simplify152.0ms

Counts
5 → 10
Calls
5 calls:
Slowest
70.0ms
(*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
63.0ms
(*.p16 d1 (+.p16 (-.p16 d2 d3) (-.p16 d4 d1)))
8.0ms
(*.p16 (-.p16 d4 d1) d1)
8.0ms
(*.p16 d1 (-.p16 d4 d1))
1.0ms
(neg.p16 d1)

prune201.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize117.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.0ms

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

series0.0ms

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

simplify637.0ms

Counts
8 → 18
Calls
8 calls:
Slowest
313.0ms
(*.p16 (neg.p16 (-.p16 d3 (-.p16 d4 d1))) d1)
245.0ms
(*.p16 d1 (neg.p16 (-.p16 d3 (-.p16 d4 d1))))
57.0ms
(+.p16 d2 (-.p16 d3 (-.p16 d4 d1)))
7.0ms
(*.p16 (-.p16 d4 d1) d1)
7.0ms
(*.p16 d1 (-.p16 d4 d1))

prune397.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize98.0ms

Local error

Found 3 expressions with local error:

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

rewrite12.0ms

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

series0.0ms

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

simplify292.0ms

Counts
6 → 16
Calls
6 calls:
Slowest
124.0ms
(*.p16 (neg.p16 (+.p16 (-.p16 d3 d4) d1)) d1)
99.0ms
(*.p16 d1 (neg.p16 (+.p16 (-.p16 d3 d4) d1)))
56.0ms
(+.p16 d2 (+.p16 (-.p16 d3 d4) d1))
5.0ms
(*.p16 d1 (-.p16 d4 d1))
5.0ms
(*.p16 (-.p16 d4 d1) d1)

prune267.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize217.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative sub-neg p16-distribute-lft-out associate--l+ p16-flip-- *-commutative distribute-lft-out
Counts
3 → 7
Calls
3 calls:
Slowest
11.0ms
(-.p16 (+.p16 d3 d1) d4)
7.0ms
(+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d3 d1) d4))))
4.0ms
(*.p16 d1 (neg.p16 (-.p16 (+.p16 d3 d1) d4)))

series0.0ms

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

simplify1.3s

Counts
5 → 10
Calls
5 calls:
Slowest
378.0ms
(+.p16 d2 (neg.p16 (-.p16 (+.p16 d3 d1) d4)))
312.0ms
(+.p16 d2 (neg.p16 (-.p16 (+.p16 d3 d1) d4)))
261.0ms
(+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d3 d1) d4))))
172.0ms
(+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d3 d1) d4))))
162.0ms
(+.p16 (*.p16 d1 d2) (*.p16 d1 (neg.p16 (-.p16 (+.p16 d3 d1) d4))))

prune259.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes585.0ms

Accuracy

-∞% (-63.6b remaining)

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

bsearch1.0ms

end0.0ms

sample3.9s

Algorithm
halfpoints
Results