Details

Time bar (total: 29.6s)

analyze6.7s (22.6%)

Algorithm
1×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

sample594.0ms (2%)

Algorithm
1×intervals
Results
423.0ms156×body1280valid
107.0ms65×body640valid
25.0ms18×body320valid
4.0ms14×body80valid
2.0ms3×body160valid

simplify74.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
0486065
1486065

prune16.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 24.8b

Counts
2 → 1

localize42.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite21.0ms (0.1%)

Algorithm
1×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))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series25.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

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

simplify155.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (150.0ms)

IterNodesCost
04836396
14836396

prune303.0ms (1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New35944
Fresh000
Picked101
Done000
Total36945

Merged error: 24.3b

Counts
45 → 9

localize43.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.6b
(sin (/ (- lambda1 lambda2) 2.0))
2.6b
(sin (/ (- lambda1 lambda2) 2.0))
2.6b
(sin (/ (- lambda1 lambda2) 2.0))
4.9b
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

rewrite23.0ms (0.1%)

Algorithm
1×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
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series25.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

8.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify91.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04793524
14793524

prune438.0ms (1.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New48957
Fresh448
Picked101
Done000
Total531366

Merged error: 24.3b

Counts
66 → 13

localize44.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.6b
(sin (/ (- lambda1 lambda2) 2.0))
2.6b
(sin (/ (- lambda1 lambda2) 2.0))
4.9b
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
4.9b
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

rewrite26.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
24×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down cube-prod
4×pow1 add-exp-log add-cbrt-cube add-log-exp
2×cube-mult pow1/3 unpow3 div-sub sin-diff rem-cbrt-cube sqr-pow
Counts
4 → 58
Calls

4 calls:

8.0ms
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
6.0ms
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series23.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

6.0ms
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
6.0ms
(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify94.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04793676
14793676

prune525.0ms (1.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New70070
Fresh01212
Picked011
Done000
Total701383

Merged error: 24.3b

Counts
83 → 13

localize47.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite22.0ms (0.1%)

Algorithm
1×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))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series22.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
6.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify152.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (147.0ms)

IterNodesCost
04836396
14836396

prune273.0ms (0.9%)

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New36844
Fresh4711
Picked101
Done011
Total411657

Merged error: 24.3b

Counts
57 → 16

regimes2.1s (7%)

Accuracy

Total 0.6b remaining (2.3%)

Threshold costs 0.6b (2.3%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
018589
118589

end0.0ms (0%)

sample17.8s (60%)

Algorithm
1×intervals
Results
12.9s4883×body1280valid
3.5s1917×body640valid
596.0ms512×body320valid
165.0ms511×body80valid
139.0ms177×body160valid
2.0ms1×body640invalid

Profiling

Loading profile data...