Details

Time bar (total: 15.3s)

sample399.0ms

Algorithm
intervals
Results
193.0ms70×body5120exit
142.0ms83×body1280valid
31.0ms47×body640valid
10.0ms30×body320valid
9.0ms85×body80valid
3.0ms11×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 34.1b

Counts
2 → 1

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(expm1 (sin (expm1 a)))
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×log1p-expm1-u
2×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
1×expm1-log1p expm1-udef
Counts
2 → 20
Calls
2 calls:
1.0ms
(expm1 (sin (expm1 a)))
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series92.0ms

Counts
2 → 6
Calls
2 calls:
90.0ms
(expm1 (sin (expm1 a)))
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify55.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
063161
1136140
2407140
31240140
45002140

prune113.0ms

Filtered
26 candidates to 19 candidates (73.1%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New151126
Fresh000
Picked101
Done000
Total161127

Merged error: 33.3b

Counts
27 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×cbrt-prod
1×pow1/3
Counts
4 → 40
Calls
4 calls:
1.0ms
(cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series129.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify258.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
038471
167393
2144391
3589391
44672391
55001391

prune242.0ms

Filtered
52 candidates to 39 candidates (75.0%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New43952
Fresh2810
Picked011
Done000
Total451863

Merged error: 33.3b

Counts
63 → 18

localize20.0ms

Local error

Found 4 expressions with local error:

39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 36
Calls
4 calls:
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series9.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify97.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
017408
119356
223356
328356
447356
5101356
6507356
71681356
85001356

prune259.0ms

Filtered
48 candidates to 36 candidates (75.0%)
Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New46248
Fresh01616
Picked101
Done011
Total471966

Merged error: 33.3b

Counts
66 → 19

localize24.0ms

Local error

Found 4 expressions with local error:

39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
39.6b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 36
Calls
4 calls:
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series9.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify97.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
017408
119356
223356
328356
447356
5101356
6507356
71681356
85001356

prune206.0ms

Filtered
48 candidates to 36 candidates (75.0%)
Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New46248
Fresh01717
Picked101
Done011
Total472067

Merged error: 33.3b

Counts
67 → 20

regimes221.0ms

Accuracy

0% (0.8b remaining)

Error of 33.3b against oracle of 32.4b and baseline of 33.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01224
11224

end0.0ms

sample13.0s

Algorithm
intervals
Results
7.1s2589×body5120exit
3.9s2256×body1280valid
1.1s1657×body640valid
306.0ms2835×body80valid
280.0ms817×body320valid
102.0ms433×body160valid
9.0ms2×body5120valid

Profiling

Loading profile data...