Details

Time bar (total: 3.3s)

analyze350.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
25%25%50%2
25%25%50%3
31.2%18.7%50%4
31.2%18.7%50%5
34.3%15.6%50%6
34.3%15.6%50%7
35.9%14%50%8
35.9%14%50%9
36.7%13.3%50%10
36.7%13.3%50%11
37.1%12.9%50%12
37.1%12.9%50%13
37.3%12.7%50%14

sample39.0ms

Algorithm
intervals
Results
10.0ms199×body80valid
6.0ms21×body2560valid
5.0ms9×body1280valid
3.0ms256×pre80true
3.0ms8×body5120valid
2.0ms13×body640valid
0.0ms4×body160valid
0.0ms2×body320valid

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01515
11515

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 36.0b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.5b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
0.7b
(- (sqrt (+ (* re re) (* im im))) re)
27.5b
(sqrt (+ (* re re) (* im im)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×pow1 add-log-exp
7×*-un-lft-identity
5×add-cube-cbrt sqrt-prod
4×add-exp-log sqrt-div add-cbrt-cube
3×sqrt-pow1
2×flip3-- flip3-+ pow1/2 associate-*r/ flip-- flip-+ difference-of-squares
1×+-commutative sub-neg rem-sqrt-square diff-log pow-prod-down sum-log distribute-lft-out--
Counts
4 → 53
Calls
4 calls:
4.0ms
(+ (* re re) (* im im))
7.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
7.0ms
(- (sqrt (+ (* re re) (* im im))) re)
6.0ms
(sqrt (+ (* re re) (* im im)))

series56.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(+ (* re re) (* im im))
25.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
7.0ms
(- (sqrt (+ (* re re) (* im im))) re)
14.0ms
(sqrt (+ (* re re) (* im im)))

simplify40.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05231730

prune118.0ms

Filtered
52 candidates to 65 candidates (-25.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New59665
Fresh000
Picked011
Done000
Total59766

Merged error: 8.7b

Counts
66 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

0.5b
(sqrt (* 2.0 (- im re)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1
2×sqrt-pow1 sqrt-div associate-*r/
1×add-exp-log add-sqr-sqrt add-cube-cbrt flip3-- *-un-lft-identity pow1/2 pow-prod-down sqrt-prod add-cbrt-cube flip-- add-log-exp
Counts
1 → 13
Calls
1 calls:
4.0ms
(sqrt (* 2.0 (- im re)))

series15.0ms

Counts
1 → 3
Calls
1 calls:
15.0ms
(sqrt (* 2.0 (- im re)))

simplify32.0ms

Algorithm
egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
05318162

prune45.0ms

Filtered
13 candidates to 16 candidates (-23.1%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New14216
Fresh055
Picked011
Done011
Total14923

Merged error: 8.2b

Counts
23 → 9

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(sqrt (- im re))
0.3b
(* (sqrt 2.0) (sqrt (- im re)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
17×sqrt-prod
11×*-un-lft-identity
8×associate-*r*
7×pow1 add-cube-cbrt
6×associate-*l*
4×add-exp-log sqrt-div add-cbrt-cube unswap-sqr
3×sqrt-pow1 pow1/2 pow-prod-down
2×flip3-- associate-*r/ flip-- distribute-lft-out-- add-log-exp difference-of-squares
1×rem-sqrt-square sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
2 → 51
Calls
2 calls:
3.0ms
(sqrt (- im re))
8.0ms
(* (sqrt 2.0) (sqrt (- im re)))

series23.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(sqrt (- im re))
14.0ms
(* (sqrt 2.0) (sqrt (- im re)))

simplify41.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05337522

prune77.0ms

Filtered
37 candidates to 57 candidates (-54.1%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New56157
Fresh156
Picked011
Done022
Total57966

Merged error: 8.2b

Counts
66 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (sqrt (- im re)))
0.0b
(sqrt (- im re))
0.3b
(* (sqrt 2.0) (exp (log (sqrt (- im re)))))
3.7b
(exp (log (sqrt (- im re))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
28×log-prod sqrt-prod
23×*-un-lft-identity
20×exp-sum
15×add-cube-cbrt
11×pow1 associate-*r*
8×sqrt-div
6×add-exp-log log-div exp-prod associate-*l* log-pow add-cbrt-cube unswap-sqr
4×flip3-- exp-diff flip-- distribute-lft-out-- add-log-exp difference-of-squares
3×sqrt-pow1 pow1/2
2×associate-*r/
1×rem-sqrt-square rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod rem-exp-log
Counts
4 → 98
Calls
4 calls:
4.0ms
(log (sqrt (- im re)))
3.0ms
(sqrt (- im re))
12.0ms
(* (sqrt 2.0) (exp (log (sqrt (- im re)))))
5.0ms
(exp (log (sqrt (- im re))))

series45.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(log (sqrt (- im re)))
9.0ms
(sqrt (- im re))
14.0ms
(* (sqrt 2.0) (exp (log (sqrt (- im re)))))
9.0ms
(exp (log (sqrt (- im re))))

simplify43.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
05301997

prune125.0ms

Filtered
73 candidates to 110 candidates (-50.7%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New1091110
Fresh055
Picked101
Done033
Total1109119

Merged error: 8.2b

Counts
119 → 9

regimes692.0ms

Accuracy

54.2% (9.0b remaining)

Error of 18.5b against oracle of 9.5b and baseline of 29.1b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03776
13776

end0.0ms

analyze347.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
25%25%50%2
25%25%50%3
31.2%18.7%50%4
31.2%18.7%50%5
34.3%15.6%50%6
34.3%15.6%50%7
35.9%14%50%8
35.9%14%50%9
36.7%13.3%50%10
36.7%13.3%50%11
37.1%12.9%50%12
37.1%12.9%50%13
37.3%12.7%50%14

sample1.1s

Algorithm
intervals
Results
311.0ms6042×body80valid
197.0ms659×body2560valid
128.0ms523×body1280valid
99.0ms267×body5120valid
98.0ms8000×pre80true
54.0ms280×body640valid
22.0ms140×body320valid
9.0ms89×body160valid

Profiling

Loading profile data...