Details

Time bar (total: 23.8s)

sample531.0ms

Algorithm
halfpoints
Results

simplify124.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
124.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))

prune113.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize403.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
3×+-commutative
1×associate-+l+ associate-+r+ associate-/r* p16-times-frac associate-*l/ p16-flip-- associate-/l* associate-/l/
Counts
4 → 9
Calls
4 calls:
Slowest
28.0ms
(+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
12.0ms
(+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0))
8.0ms
(+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))
4.0ms
(/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))

series0.0ms

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

simplify1.4s

Counts
9 → 13
Calls
9 calls:
Slowest
303.0ms
(/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
301.0ms
(/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
300.0ms
(/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
240.0ms
(/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))
80.0ms
(*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha))

prune694.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.6b

localize487.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

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

series0.0ms

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

simplify841.0ms

Counts
11 → 10
Calls
11 calls:
Slowest
248.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
110.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
81.0ms
(/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
75.0ms
(/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
73.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))

prune480.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.4b

localize331.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

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

series0.0ms

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

simplify221.0ms

Counts
3 → 10
Calls
3 calls:
Slowest
185.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
29.0ms
(+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
6.0ms
(-.p16 (*.p16 beta beta) (*.p16 alpha alpha))

prune506.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize318.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

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

series0.0ms

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

simplify308.0ms

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

prune320.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.4b

regimes1.1s

Accuracy

-∞% (-63.4b remaining)

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

bsearch7.0ms

end0.0ms

sample15.4s

Algorithm
halfpoints
Results