Details

Time bar (total: 8.3s)

sample79.0ms

Algorithm
halfpoints
Results

simplify641.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
641.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))

prune47.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.1b

localize279.0ms

Local error

Found 4 expressions with local error:

1.2b
(-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.5b
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))
0.3b
(sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))
0.2b
(+.p16 (*.p16 re re) (*.p16 im im))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative sub-neg p16-flip--
Counts
4 → 3
Calls
4 calls:
Slowest
4.0ms
(+.p16 (*.p16 re re) (*.p16 im im))
2.0ms
(-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.0ms
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))
0.0ms
(sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.0ms
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))
0.0ms
(sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))
0.0ms
(+.p16 (*.p16 re re) (*.p16 im im))

simplify3.5s

Counts
7 → 7
Calls
7 calls:
Slowest
876.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
839.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
834.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
710.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
229.0ms
(-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))

prune174.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.6b

localize285.0ms

Local error

Found 4 expressions with local error:

1.2b
(+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.8b
(/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))
0.5b
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))
0.3b
(sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative associate-/l*
Counts
4 → 2
Calls
4 calls:
Slowest
5.0ms
(/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))
3.0ms
(+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.0ms
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))
0.0ms
(sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.0ms
(/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))
0.0ms
(sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
0.0ms
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))

simplify193.0ms

Counts
5 → 6
Calls
5 calls:
Slowest
47.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))
46.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))
44.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))
43.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))
12.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)

prune137.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.6b

localize326.0ms

Local error

Found 4 expressions with local error:

1.2b
(+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.5b
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))
0.5b
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)
0.3b
(sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative
Counts
4 → 1
Calls
4 calls:
Slowest
7.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)
5.0ms
(+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.0ms
(sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))
0.0ms
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
0.0ms
(sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 im (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im))))
0.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)
0.0ms
(sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))

simplify35.0ms

Counts
4 → 5
Calls
4 calls:
Slowest
9.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)
8.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)
8.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)
8.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)

prune166.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.6b

regimes184.0ms

Accuracy

-∞% (-63.2b remaining)

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

bsearch9.0ms

end0.0ms

sample2.2s

Algorithm
halfpoints
Results