Details

Time bar (total: 31.0s)

sample477.0ms

Algorithm
intervals
Results
305.0ms149×body1280valid
113.0ms67×body640valid
15.0ms18×body320valid
4.0ms17×body80valid
3.0ms5×body160valid

simplify4.8s

Counts
1 → 1
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
02665
15665
210063
318663
437163
570063
6158763
done500163

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.0b

localize50.0ms

Local error

Found 4 expressions with local error:

3.3b
(sin (/ (- lambda1 lambda2) 2.0))
3.3b
(sin (/ (- lambda1 lambda2) 2.0))
5.3b
(sin (/ (- phi1 phi2) 2.0))
5.3b
(sin (/ (- phi1 phi2) 2.0))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
13.0ms
(sin (/ (- lambda1 lambda2) 2.0))
11.0ms
(sin (/ (- lambda1 lambda2) 2.0))
11.0ms
(sin (/ (- phi1 phi2) 2.0))
32.0ms
(sin (/ (- phi1 phi2) 2.0))

series224.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(sin (/ (- lambda1 lambda2) 2.0))
53.0ms
(sin (/ (- lambda1 lambda2) 2.0))
51.0ms
(sin (/ (- phi1 phi2) 2.0))
67.0ms
(sin (/ (- phi1 phi2) 2.0))

simplify4.0s

Counts
52 → 52
Iterations

Useful iterations: 2 (65.0ms)

IterNodesCost
064508
1111504
2190452
3354452
4757452
51862452
done5000452

prune922.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 23.6b

localize99.0ms

Local error

Found 4 expressions with local error:

3.3b
(sin (/ (- lambda1 lambda2) 2.0))
3.3b
(sin (/ (- lambda1 lambda2) 2.0))
3.3b
(sin (/ (- lambda1 lambda2) 2.0))
5.3b
(sin (/ (- phi1 phi2) 2.0))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
16.0ms
(sin (/ (- lambda1 lambda2) 2.0))
11.0ms
(sin (/ (- lambda1 lambda2) 2.0))
11.0ms
(sin (/ (- lambda1 lambda2) 2.0))
12.0ms
(sin (/ (- phi1 phi2) 2.0))

series186.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(sin (/ (- lambda1 lambda2) 2.0))
46.0ms
(sin (/ (- lambda1 lambda2) 2.0))
59.0ms
(sin (/ (- lambda1 lambda2) 2.0))
41.0ms
(sin (/ (- phi1 phi2) 2.0))

simplify4.2s

Counts
52 → 52
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
064508
1111504
2190452
3354452
4757452
51862452
done5000452

prune1.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.2b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
16.0ms
(sin (/ (- lambda1 lambda2) 2.0))
11.0ms
(sin (/ (- lambda1 lambda2) 2.0))
18.0ms
(sin (/ (- lambda1 lambda2) 2.0))
12.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series226.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(sin (/ (- lambda1 lambda2) 2.0))
54.0ms
(sin (/ (- lambda1 lambda2) 2.0))
58.0ms
(sin (/ (- lambda1 lambda2) 2.0))
67.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify5.9s

Counts
52 → 52
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
034508
159504
2100452
3189452
4394452
5940452
62827452
done5000452

prune1.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 14.2b

localize125.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
22.0ms
(sin (/ (- lambda1 lambda2) 2.0))
12.0ms
(sin (/ (- lambda1 lambda2) 2.0))
11.0ms
(sin (/ (- lambda1 lambda2) 2.0))
12.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series217.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(sin (/ (- lambda1 lambda2) 2.0))
66.0ms
(sin (/ (- lambda1 lambda2) 2.0))
40.0ms
(sin (/ (- lambda1 lambda2) 2.0))
61.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify6.0s

Counts
52 → 52
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
034508
159504
2100452
3189452
4394452
5940452
62827452
done5000452

prune880.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 14.2b

regimes80.0ms