Details

Time bar (total: 27.6s)

analyze6.4s (23.2%)

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

sample556.0ms (2%)

Algorithm
1×intervals
Results
406.0ms159×body1280valid
103.0ms63×body640valid
16.0ms15×body320valid
5.0ms16×body80valid
2.0ms3×body160valid

simplify52.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
0486065
1486065

prune28.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 21.7b

Counts
2 → 2

localize43.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite20.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:

5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda2 lambda1) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 2.0))

series24.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

7.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- lambda2 lambda1) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify107.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
04818396
14818396

prune530.0ms (1.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New281644
Fresh011
Picked101
Done000
Total291746

Merged error: 20.5b

Counts
46 → 17

localize61.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite20.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:

5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 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))
5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify67.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04829396
14829396

prune433.0ms (1.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New37744
Fresh31316
Picked101
Done000
Total412061

Merged error: 12.8b

Counts
61 → 20

localize55.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite20.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:

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

simplify97.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
04804396
14804396

prune503.0ms (1.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New38644
Fresh41519
Picked101
Done000
Total432164

Merged error: 12.8b

Counts
64 → 21

localize62.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.8b
(sin (/ (- lambda1 lambda2) 2.0))
2.8b
(sin (/ (- lambda1 lambda2) 2.0))
2.8b
(sin (/ (- lambda1 lambda2) 2.0))
3.8b
(log (exp (sin (/ (- lambda2 lambda1) 2.0))))

rewrite22.0ms (0.1%)

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

6.0ms
(log (exp (sin (/ (- lambda2 lambda1) 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
(log (exp (sin (/ (- lambda2 lambda1) 2.0))))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify68.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04843471
14843471

prune396.0ms (1.4%)

Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New50252
Fresh11920
Picked011
Done000
Total512273

Merged error: 12.8b

Counts
73 → 22

regimes1.4s (5%)

Accuracy

Total 0.4b remaining (2.8%)

Threshold costs 0.4b (2.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
010293
110293

end0.0ms (0%)

sample16.6s (60.1%)

Algorithm
1×intervals
Results
12.1s4744×body1280valid
3.1s1924×body640valid
611.0ms569×body320valid
171.0ms570×body80valid
136.0ms193×body160valid
3.0ms1×body1280invalid

Profiling

Loading profile data...