Details

Time bar (total: 2.4s)

sample172.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 97.668457%

Results
7.0ms256×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
074
174

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 34.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

31.9b
(sqrt (+ (* re re) (* im im)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt sqrt-prod
2×pow1 add-cube-cbrt *-un-lft-identity sqrt-div
1×add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp
Counts
1 → 15
Calls
1 calls:
3.0ms
(sqrt (+ (* re re) (* im im)))

series6.0ms

Counts
1 → 3
Calls
1 calls:
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify141.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 5 (138.0ms)

IterNodesCost
089100
121597
250397
3126597
4422797
5500296

prune32.0ms

Filtered
15 candidates to 18 candidates (-20.0%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New14418
Fresh000
Picked011
Done000
Total14519

Merged error: 7.7b

Counts
19 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

5.8b
(exp (log (sqrt (+ (* re re) (* im im)))))
31.9b
(sqrt (+ (* re re) (* im im)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×add-cube-cbrt log-prod exp-prod *-un-lft-identity exp-sum sqrt-prod
5×pow1
4×sqrt-div
3×log-pow
2×add-exp-log log-div sqrt-pow1 flip3-+ pow1/2 exp-diff add-cbrt-cube flip-+ add-log-exp
1×rem-sqrt-square rem-exp-log
Counts
2 → 37
Calls
2 calls:
5.0ms
(exp (log (sqrt (+ (* re re) (* im im)))))
3.0ms
(sqrt (+ (* re re) (* im im)))

series12.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(exp (log (sqrt (+ (* re re) (* im im)))))
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify149.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 5 (145.0ms)

IterNodesCost
0136253
1280247
2583238
31387232
44698232
55001228

prune55.0ms

Filtered
29 candidates to 43 candidates (-48.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New40343
Fresh033
Picked101
Done011
Total41748

Merged error: 7.7b

Counts
48 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

5.8b
(pow (exp (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))
31.9b
(sqrt (+ (* re re) (* im im)))
31.9b
(sqrt (+ (* re re) (* im im)))
31.9b
(sqrt (+ (* re re) (* im im)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×pow1 add-cube-cbrt *-un-lft-identity
9×pow-unpow sqrt-prod
6×cbrt-prod sqrt-div
5×add-log-exp
4×add-exp-log sqrt-pow1 pow1/2 add-cbrt-cube
3×unpow-prod-down rem-sqrt-square pow-pow flip3-+ log-pow flip-+
1×pow-to-exp exp-prod exp-to-pow pow-exp sqr-pow
Counts
4 → 70
Calls
4 calls:
4.0ms
(pow (exp (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))
3.0ms
(sqrt (+ (* re re) (* im im)))
3.0ms
(sqrt (+ (* re re) (* im im)))
3.0ms
(sqrt (+ (* re re) (* im im)))

series92.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(pow (exp (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))
6.0ms
(sqrt (+ (* re re) (* im im)))
8.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify56.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0197929
1514856
21563841
35001837

prune114.0ms

Filtered
61 candidates to 82 candidates (-34.4%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New80282
Fresh055
Picked101
Done011
Total81889

Merged error: 7.7b

Counts
89 → 8

localize34.0ms

Local error

Found 4 expressions with local error:

31.9b
(sqrt (+ (* re re) (* im im)))
31.9b
(sqrt (+ (* re re) (* im im)))
31.9b
(sqrt (+ (* re re) (* im im)))
31.9b
(sqrt (+ (* re re) (* im im)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 add-cube-cbrt *-un-lft-identity sqrt-div
4×add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp
Counts
4 → 60
Calls
4 calls:
3.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series23.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify148.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 5 (142.0ms)

IterNodesCost
089400
1215388
2503388
31265388
44227388
55002384

prune111.0ms

Filtered
60 candidates to 72 candidates (-20.0%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New72072
Fresh066
Picked011
Done011
Total72880

Merged error: 7.7b

Counts
80 → 8

regimes566.0ms

Accuracy

58.6% (10.0b remaining)

Error of 17.9b against oracle of 8.0b and baseline of 32.1b

bsearch37.0ms

Steps
ItersRangePoint
5
2.6145369678872985e+47
5.989154679328959e+47
5.920188510002683e+47
8
-1.3421896405861246e+126
-3.032187906109219e+122
-5.8175980466172264e+122

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0175
1175

end0.0ms

sample586.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 97.668457%

Results
246.0ms8000×body80valid

Profiling

Loading profile data...