Details

Time bar (total: 10.4s)

sample102.0ms

Algorithm
halfpoints
Results

simplify832.0ms

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

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.2b

localize216.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 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))

rewrite4.0ms

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

simplify3.8s

Counts
7 → 7
Calls
7 calls:
Slowest
999.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
945.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
814.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
778.0ms
(*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
251.0ms
(-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))

prune318.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.8b

localize366.0ms

Local error

Found 4 expressions with local error:

1.4b
(+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1.0b
(/.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))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative associate-/l*
Counts
4 → 2
Calls
4 calls:
Slowest
9.0ms
(/.p16 (*.p16 im im) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))
5.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)))

simplify382.0ms

Counts
5 → 6
Calls
5 calls:
Slowest
92.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)))))
90.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)))))
90.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)))))
89.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)))))
19.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)

prune261.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.7b

localize332.0ms

Local error

Found 4 expressions with local error:

1.4b
(+.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))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative
Counts
4 → 1
Calls
4 calls:
Slowest
3.0ms
(/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) im)
2.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 (*.p16 re re) (*.p16 im im)))
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)

simplify34.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)

prune167.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.7b

regimes319.0ms

Accuracy

-∞% (-63.2b remaining)

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

bsearch11.0ms

end0.0ms

sample3.2s

Algorithm
halfpoints
Results