Details

Time bar (total: 31.1s)

sample778.0ms

Algorithm
halfpoints
Results

simplify119.0ms

Calls
1 calls:
Slowest
119.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))

prune108.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize450.0ms

Local error

Found 4 expressions with local error:

1.1b
(/.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 beta (+.p16 alpha (real->posit16 2.0)))
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))
0.2b
(*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative
1×distribute-rgt-in associate-+r+ associate-/r* distribute-lft-in p16-times-frac associate-*l/ p16-flip-- *-commutative associate-/l* associate-/l/
Calls
4 calls:
Slowest
12.0ms
(*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
6.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))
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))))
2.0ms
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

series0.0ms

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 (*.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 beta (+.p16 alpha (real->posit16 2.0)))

simplify1.4s

Calls
12 calls:
Slowest
281.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))
277.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))
205.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))
181.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))
163.0ms
(*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))

prune1.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.4b

localize172.0ms

Local error

Found 4 expressions with local error:

0.6b
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
0.6b
(/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
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))))
0.2b
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative associate-+r+ associate-*l/ associate-*r/ p16-flip-- *-commutative associate-/l/
Calls
4 calls:
Slowest
8.0ms
(/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
5.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))))
4.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
3.0ms
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
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 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
0.0ms
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

simplify779.0ms

Calls
12 calls:
Slowest
216.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
81.0ms
(/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
78.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
77.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
63.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))

prune969.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.4b

localize174.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-*l/ associate-/l/
1×distribute-rgt-in +-commutative associate-+r+ distribute-lft-in p16-flip-- *-commutative associate-/l*
Calls
4 calls:
Slowest
26.0ms
(/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
5.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
5.0ms
(*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 beta alpha))
4.0ms
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
0.0ms
(/.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.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 beta alpha))
0.0ms
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

simplify1.9s

Calls
11 calls:
Slowest
1.0s
(*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) alpha)
618.0ms
(*.p16 alpha (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))
93.0ms
(/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
34.0ms
(+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))
33.0ms
(+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.4b

localize131.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.5b
(/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
0.3b
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
0.2b
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-*l/ associate-*r/ p16-flip-- associate-/l/
1×+-commutative associate-+r+ *-commutative associate-/l*
Calls
4 calls:
Slowest
12.0ms
(/.p16 (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
4.0ms
(/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))
3.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
2.0ms
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

series0.0ms

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 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))
0.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
0.0ms
(+.p16 beta (+.p16 alpha (real->posit16 2.0)))

simplify2.2s

Calls
10 calls:
Slowest
428.0ms
(*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
398.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
394.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
369.0ms
(*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))
342.0ms
(*.p16 (-.p16 beta alpha) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))))

prune949.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

regimes2.4s

Accuracy

-∞% (-63.4b remaining)

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

bsearch4.0ms

end0.0ms

sample15.7s

Algorithm
halfpoints
Results