Details

Time bar (total: 29.6s)

sample692.0ms

Algorithm
halfpoints
Results

simplify192.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
192.0ms
(/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))

prune121.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize416.0ms

Local error

Found 4 expressions with local error:

0.6b
(/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
0.5b
(/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
0.2b
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
0.2b
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative associate-+l+ associate-/l/
1×associate-*r/ p16-flip-- associate-/l*
Counts
4 → 7
Calls
4 calls:
Slowest
45.0ms
(/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
18.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
18.0ms
(/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
17.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
0.0ms
(/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
0.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
0.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

simplify934.0ms

Counts
9 → 11
Calls
9 calls:
Slowest
160.0ms
(/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
159.0ms
(*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))
150.0ms
(/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
144.0ms
(*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
129.0ms
(/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))

prune755.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

localize462.0ms

Local error

Found 4 expressions with local error:

0.5b
(/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
0.5b
(/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
0.3b
(/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))
0.2b
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-/r/
2×p16-flip--
1×+-commutative associate-+l+ associate-/r* associate-/l* associate-/l/
Counts
4 → 7
Calls
4 calls:
Slowest
104.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
23.0ms
(/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
8.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))
8.0ms
(/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))
0.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
0.0ms
(/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))
0.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

simplify1.4s

Counts
10 → 11
Calls
10 calls:
Slowest
528.0ms
(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
219.0ms
(/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))))
132.0ms
(*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))
122.0ms
(/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
105.0ms
(/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))

prune635.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize453.0ms

Local error

Found 4 expressions with local error:

0.6b
(/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
0.5b
(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
0.2b
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))
0.2b
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-/r/
2×p16-flip--
1×+-commutative associate-+l+ associate-/r* associate-/l/
Counts
4 → 6
Calls
4 calls:
Slowest
102.0ms
(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
59.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))
28.0ms
(/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
17.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
0.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))
0.0ms
(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
0.0ms
(+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))

simplify4.3s

Counts
9 → 10
Calls
9 calls:
Slowest
754.0ms
(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
734.0ms
(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
681.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))
602.0ms
(/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))
556.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))))

prune615.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize448.0ms

Local error

Found 4 expressions with local error:

0.6b
(/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
0.5b
(/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))
0.2b
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)))
0.2b
(+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-/r/
2×p16-flip--
1×+-commutative associate-+r+ associate-/r* associate-/l/
Counts
4 → 6
Calls
4 calls:
Slowest
48.0ms
(/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))
26.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)))
16.0ms
(/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
8.0ms
(+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
0.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)))
0.0ms
(/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha))
0.0ms
(+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i)))

simplify1.9s

Counts
9 → 10
Calls
9 calls:
Slowest
883.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))))
593.0ms
(/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)))
264.0ms
(/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
158.0ms
(*.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))
4.0ms
(+.p16 beta (*.p16 (real->posit16 2) i))

prune401.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

regimes941.0ms

Accuracy

-∞% (-63.4b remaining)

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

bsearch7.0ms

end0.0ms

sample14.4s

Algorithm
halfpoints
Results