Details

Time bar (total: 35.7s)

analyze6.5s

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

sample605.0ms

Algorithm
intervals
Results
452.0ms161×body1280valid
93.0ms53×body640valid
20.0ms18×body320valid
9.0ms11×body160valid
4.0ms13×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
0525865

prune32.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: 22.2b

Counts
2 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- phi1 phi2) 2.0))
2.1b
(sin (/ (- phi1 phi2) 2.0))

rewrite21.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))

series25.0ms

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

simplify114.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
04875396
14875396

prune340.0ms

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

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New331144
Fresh011
Picked101
Done000
Total341246

Merged error: 21.0b

Counts
46 → 12

localize56.0ms

Local error

Found 4 expressions with local error:

2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- phi1 phi2) 2.0))

rewrite21.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))

series23.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 (/ (- phi1 phi2) 2.0))

simplify116.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
04875396
14875396

prune417.0ms

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

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New38644
Fresh2911
Picked101
Done000
Total411556

Merged error: 12.3b

Counts
56 → 15

localize44.0ms

Local error

Found 4 expressions with local error:

2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(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))

series25.0ms

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

simplify127.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (122.0ms)

IterNodesCost
04776396
14776396

prune495.0ms

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

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New38644
Fresh41014
Picked101
Done000
Total431659

Merged error: 12.3b

Counts
59 → 16

localize54.0ms

Local error

Found 4 expressions with local error:

2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- lambda1 lambda2) 2.0))
2.1b
(sin (/ (- lambda1 lambda2) 2.0))
6.7b
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

rewrite22.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:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

series23.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
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

simplify68.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04874524
14874524

prune380.0ms

Filtered
44 candidates to 57 candidates (-29.5%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New49857
Fresh41115
Picked101
Done000
Total541973

Merged error: 12.2b

Counts
73 → 19

regimes2.2s

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04996
14996

end0.0ms

analyze6.5s

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

sample17.5s

Algorithm
intervals
Results
12.6s4760×body1280valid
3.5s1905×body640valid
623.0ms549×body320valid
182.0ms569×body80valid
160.0ms217×body160valid
2.0ms1×body1280invalid
2.0ms1×body640invalid

Profiling

Loading profile data...