Details

Time bar (total: 28.0s)

analyze6.3s

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%99.8%0.2%11
0%99.8%0.2%12
0.6%99.2%0.2%13
1.8%98%0.2%14

sample555.0ms

Algorithm
intervals
Results
409.0ms157×body1280valid
91.0ms55×body640valid
18.0ms16×body320valid
7.0ms24×body80valid
3.0ms4×body160valid
1.0ms1×body640invalid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0486065
1486065

prune24.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: 23.7b

Counts
2 → 2

localize39.0ms

Local error

Found 4 expressions with local error:

2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.5b
(sin (/ (- phi1 phi2) 2.0))
3.5b
(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:
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))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 2.0))
6.0ms
(sin (/ (- phi1 phi2) 2.0))

simplify69.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
04829396
14829396

prune309.0ms

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

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New321244
Fresh011
Picked101
Done000
Total331346

Merged error: 22.3b

Counts
46 → 13

localize51.0ms

Local error

Found 4 expressions with local error:

2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.5b
(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 (/ (- lambda1 lambda2) 2.0))
5.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))
5.0ms
(sin (/ (- phi1 phi2) 2.0))

simplify68.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04829396
14829396

prune373.0ms

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

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New37744
Fresh3912
Picked101
Done000
Total411657

Merged error: 12.4b

Counts
57 → 16

localize43.0ms

Local error

Found 4 expressions with local error:

2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(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))
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))
7.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify114.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
04836396
14836396

prune427.0ms

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

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New37744
Fresh6915
Picked101
Done000
Total441660

Merged error: 12.4b

Counts
60 → 16

localize52.0ms

Local error

Found 4 expressions with local error:

2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(sin (/ (- lambda1 lambda2) 2.0))
2.4b
(sin (/ (- lambda1 lambda2) 2.0))
4.2b
(log (exp (sin (/ (- lambda1 lambda2) 2.0))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×pow1
4×add-exp-log div-sub log-pow sin-diff add-cbrt-cube add-log-exp
3×log-prod exp-prod
1×log-div exp-diff rem-log-exp
Counts
4 → 40
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(log (exp (sin (/ (- lambda1 lambda2) 2.0))))

series22.0ms

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

simplify61.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
04893471
14893471

prune327.0ms

Filtered
44 candidates to 52 candidates (-18.2%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New45752
Fresh31215
Picked101
Done000
Total491968

Merged error: 12.3b

Counts
68 → 19

regimes2.0s

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0162104
1162104

end0.0ms

sample17.1s

Algorithm
intervals
Results
12.4s4859×body1280valid
3.3s1892×body640valid
558.0ms516×body320valid
166.0ms552×body80valid
137.0ms181×body160valid
2.0ms2×body320invalid
1.0ms1×body640invalid

Profiling

Loading profile data...