Details

Time bar (total: 35.7s)

analyze6.7s

Algorithm
search

sample563.0ms

Algorithm
intervals
Results
405.0ms156×body1280valid
95.0ms55×body640valid
25.0ms14×body320valid
7.0ms24×body80valid
6.0ms7×body160valid

simplify77.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05638
19838
218238
330938
460938
5216938
6500138

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 23.9b

Counts
2 → 1

localize40.0ms

Local error

Found 4 expressions with local error:

2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- phi1 phi2) 2.0))
3.9b
(sin (/ (- phi1 phi2) 2.0))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 2.0))

series22.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 2.0))
6.0ms
(sin (/ (- phi1 phi2) 2.0))

simplify79.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0102248
1170216
2356216
3692216
42118216
55001216

prune319.0ms

Filtered
40 candidates to 44 candidates (-10.0%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New311344
Fresh000
Picked101
Done000
Total321345

Merged error: 22.7b

Counts
45 → 13

localize51.0ms

Local error

Found 4 expressions with local error:

2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- phi1 phi2) 2.0))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
4.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- phi1 phi2) 2.0))

series22.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- phi1 phi2) 2.0))

simplify79.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0102248
1170216
2356216
3692216
42118216
55001216

prune392.0ms

Filtered
40 candidates to 44 candidates (-10.0%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New37744
Fresh21012
Picked101
Done000
Total401757

Merged error: 12.6b

Counts
57 → 17

localize43.0ms

Local error

Found 4 expressions with local error:

2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
4.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series24.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
7.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify192.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
054248
189216
2188216
3373216
41242216
54970216
65002216

prune426.0ms

Filtered
40 candidates to 44 candidates (-10.0%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New40444
Fresh51116
Picked101
Done000
Total461561

Merged error: 12.6b

Counts
61 → 15

localize52.0ms

Local error

Found 4 expressions with local error:

2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))
2.9b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series23.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify191.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
054248
189216
2188216
3373216
41242216
54970216
65002216

prune338.0ms

Filtered
40 candidates to 44 candidates (-10.0%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New41344
Fresh01414
Picked101
Done000
Total421759

Merged error: 12.6b

Counts
59 → 17

regimes1.9s

Accuracy

0% (0.5b remaining)

Error of 13.9b against oracle of 13.4b and baseline of 13.9b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04865
14865

end0.0ms

analyze6.5s

Algorithm
search

sample17.6s

Algorithm
intervals
Results
12.8s4815×body1280valid
3.4s1886×body640valid
576.0ms500×body320valid
184.0ms583×body80valid
166.0ms216×body160valid

Profiling

Loading profile data...