Details

Time bar (total: 3.5s)

analyze330.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

sample122.0ms

Algorithm
intervals
Results
8.0ms189×body80valid
7.0ms28×body2560valid
5.0ms16×body1280valid
3.0ms10×body5120valid
2.0ms11×body640valid
0.0ms2×body320valid

simplify16.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
026515
126515

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 41.3b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 2.0 (- (sqrt (+ (* re re) (* im im))) re))
5.3b
(- (sqrt (+ (* re re) (* im im))) re)
8.9b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
31.7b
(sqrt (+ (* re re) (* im im)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
11×*-un-lft-identity
10×pow1
7×add-cube-cbrt
6×add-exp-log associate-*r* sqrt-prod add-cbrt-cube add-log-exp
4×sqrt-div associate-*r/ difference-of-squares
3×sub-neg flip3-- sqrt-pow1 associate-*l* flip--
2×pow1/2 pow-prod-down distribute-lft-out--
1×distribute-rgt-in rem-sqrt-square distribute-lft-in flip3-+ diff-log prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 67
Calls
4 calls:
11.0ms
(* 2.0 (- (sqrt (+ (* re re) (* im im))) re))
7.0ms
(- (sqrt (+ (* re re) (* im im))) re)
8.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series49.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(* 2.0 (- (sqrt (+ (* re re) (* im im))) re))
7.0ms
(- (sqrt (+ (* re re) (* im im))) re)
27.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
7.0ms
(sqrt (+ (* re re) (* im im)))

simplify34.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
04947945
14947945

prune132.0ms

Filtered
61 candidates to 79 candidates (-29.5%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New73679
Fresh000
Picked011
Done000
Total73780

Merged error: 11.9b

Counts
80 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b
(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:
5.0ms
(sqrt (* 2.0 (- im re)))

series15.0ms

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

simplify39.0ms

Algorithm
egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05758162

prune48.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: 11.7b

Counts
23 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.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))
9.0ms
(* (sqrt 2.0) (sqrt (- im re)))

series26.0ms

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

simplify50.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04936522
14936522

prune81.0ms

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

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New57057
Fresh066
Picked011
Done022
Total57966

Merged error: 11.7b

Counts
66 → 9

localize38.0ms

Local error

Found 3 expressions with local error:

0.0b
(log (sqrt (* 2.0 (- im re))))
0.2b
(sqrt (* 2.0 (- im re)))
3.6b
(exp (log (sqrt (* 2.0 (- im re)))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1
8×log-prod log-pow
7×exp-prod
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity sqrt-pow1 sqrt-div associate-*r/
4×add-exp-log log-div exp-sum
3×flip3-- pow1/2 pow-prod-down sqrt-prod add-cbrt-cube flip-- add-log-exp
2×exp-diff
1×rem-log-exp rem-exp-log
Counts
3 → 52
Calls
3 calls:
7.0ms
(log (sqrt (* 2.0 (- im re))))
5.0ms
(sqrt (* 2.0 (- im re)))
7.0ms
(exp (log (sqrt (* 2.0 (- im re)))))

series46.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(log (sqrt (* 2.0 (- im re))))
15.0ms
(sqrt (* 2.0 (- im re)))
15.0ms
(exp (log (sqrt (* 2.0 (- im re)))))

simplify23.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
05024620

prune91.0ms

Filtered
44 candidates to 61 candidates (-38.6%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New60161
Fresh055
Picked101
Done033
Total61970

Merged error: 11.7b

Counts
70 → 9

regimes818.0ms

Accuracy

57% (8.4b remaining)

Error of 18.1b against oracle of 9.7b and baseline of 29.1b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
057100
157100

end0.0ms

sample1.4s

Algorithm
intervals
Results
269.0ms6048×body80valid
193.0ms710×body2560valid
105.0ms468×body1280valid
93.0ms280×body5120valid
47.0ms272×body640valid
17.0ms136×body320valid
7.0ms86×body160valid

Profiling

Loading profile data...