Details

Time bar (total: 23.2s)

sample556.0ms

Algorithm
intervals
Results
401.0ms156×body1280valid
95.0ms59×body640valid
25.0ms22×body320valid
5.0ms17×body80valid
2.0ms3×body160valid

simplify63.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0496765
1496765

prune30.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 25.6b

Counts
2 → 2

localize33.0ms

Local error

Found 4 expressions with local error:

3.0b
(sin (/ (- lambda1 lambda2) 2.0))
3.0b
(sin (/ (- lambda1 lambda2) 2.0))
4.4b
(sin (/ (- phi1 phi2) 2.0))
4.4b
(sin (/ (- phi1 phi2) 2.0))

rewrite24.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:
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- phi1 phi2) 2.0))
6.0ms
(sin (/ (- phi1 phi2) 2.0))

series27.0ms

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

simplify61.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
05057396

prune371.0ms

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

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New301444
Fresh011
Picked101
Done000
Total311546

Merged error: 24.2b

Counts
46 → 15

localize52.0ms

Local error

Found 4 expressions with local error:

3.0b
(sin (/ (- lambda1 lambda2) 2.0))
3.0b
(sin (/ (- lambda1 lambda2) 2.0))
3.0b
(sin (/ (- lambda1 lambda2) 2.0))
4.4b
(sin (/ (- phi1 phi2) 2.0))

rewrite24.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:
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- phi1 phi2) 2.0))

series25.0ms

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

simplify65.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
05057396

prune438.0ms

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

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New37744
Fresh41014
Picked101
Done000
Total421759

Merged error: 12.5b

Counts
59 → 17

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.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:
6.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))

series25.0ms

Counts
4 → 12
Calls
4 calls:
6.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))

simplify73.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
05245396

prune508.0ms

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

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New38644
Fresh41216
Picked101
Done000
Total431861

Merged error: 12.4b

Counts
61 → 18

localize52.0ms

Local error

Found 4 expressions with local error:

3.0b
(sin (/ (- lambda1 lambda2) 2.0))
3.0b
(sin (/ (- lambda1 lambda2) 2.0))
3.0b
(sin (/ (- lambda1 lambda2) 2.0))
7.4b
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×unpow-prod-down div-sub cube-prod sin-diff
1×cube-mult pow1/3 unpow3 rem-cbrt-cube sqr-pow
Counts
4 → 45
Calls
4 calls:
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
7.0ms
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

series26.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05111524

prune380.0ms

Filtered
43 candidates to 57 candidates (-32.6%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New53457
Fresh31417
Picked101
Done000
Total571875

Merged error: 12.4b

Counts
75 → 18

regimes3.2s

Accuracy

0% (0.5b remaining)

Error of 14.1b against oracle of 13.7b and baseline of 14.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
051108
151108

end0.0ms

sample17.1s

Algorithm
intervals
Results
12.4s4864×body1280valid
3.1s1861×body640valid
609.0ms531×body320valid
184.0ms553×body80valid
145.0ms196×body160valid

Profiling

Loading profile data...