Details

Time bar (total: 15.0s)

sample252.0ms

Algorithm
halfpoints
Results

simplify434.0ms

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

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize200.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
0.4b
(+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0))
0.1b
(+.p16 (+.p16 alpha beta) (real->posit16 2.0))
0.0b
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative
1×associate-+l+ p16-flip-- associate-/l/
Counts
4 → 4
Calls
4 calls:
Slowest
13.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
12.0ms
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
10.0ms
(+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0))
8.0ms
(+.p16 (+.p16 alpha beta) (real->posit16 2.0))

series0.0ms

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

simplify1.6s

Counts
6 → 8
Calls
6 calls:
Slowest
421.0ms
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
407.0ms
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
401.0ms
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
384.0ms
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
33.0ms
(*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))

prune196.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.8b

localize185.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
0.4b
(+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0))
0.2b
(+.p16 alpha (+.p16 beta (real->posit16 2.0)))
0.0b
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative
1×associate-+r+ p16-flip-- associate-/l/
Counts
4 → 4
Calls
4 calls:
Slowest
22.0ms
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
8.0ms
(+.p16 alpha (+.p16 beta (real->posit16 2.0)))
7.0ms
(+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0))
4.0ms
(/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))

series0.0ms

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

simplify157.0ms

Counts
6 → 8
Calls
6 calls:
Slowest
142.0ms
(*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))
4.0ms
(+.p16 beta (real->posit16 2.0))
3.0ms
(+.p16 beta (real->posit16 2.0))
3.0ms
(+.p16 beta (real->posit16 2.0))
3.0ms
(+.p16 beta (real->posit16 2.0))

prune236.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.8b

localize267.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
3×difference-of-squares
2×p16-flip--
1×distribute-rgt-in +-commutative associate-/r* sub-neg distribute-lft-in p16-times-frac *-commutative associate-/l* associate-/l/
Counts
4 → 11
Calls
4 calls:
Slowest
10.0ms
(+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0))
8.0ms
(*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
4.0ms
(/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))
3.0ms
(-.p16 (*.p16 beta beta) (*.p16 alpha alpha))

series0.0ms

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

simplify3.3s

Counts
18 → 15
Calls
18 calls:
Slowest
893.0ms
(/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
644.0ms
(/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
610.0ms
(/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
561.0ms
(/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
265.0ms
(/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (-.p16 beta alpha))

prune760.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.7b

localize302.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ p16-flip-- *-commutative
1×+-commutative associate-/r* p16-times-frac associate-/l* associate-/l/
Counts
4 → 12
Calls
4 calls:
Slowest
19.0ms
(/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))
17.0ms
(*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
11.0ms
(+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0))
8.0ms
(*.p16 (+.p16 beta alpha) (-.p16 beta alpha))

series0.0ms

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

simplify461.0ms

Counts
22 → 16
Calls
22 calls:
Slowest
196.0ms
(/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (-.p16 beta alpha))
66.0ms
(*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 beta alpha))
54.0ms
(*.p16 (+.p16 beta alpha) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
54.0ms
(/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 beta alpha))
18.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))

prune760.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

regimes472.0ms

Accuracy

-∞% (-63.3b remaining)

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

bsearch4.0ms

end0.0ms

sample5.1s

Algorithm
halfpoints
Results