Details

Time bar (total: 15.3s)

sample419.0ms

Algorithm
intervals
Results
239.0ms87×body5120exit
108.0ms59×body1280valid
38.0ms50×body640valid
12.0ms110×body80valid
7.0ms20×body320valid
4.0ms17×body160valid

simplify2.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: 29.5b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.0ms

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

series67.0ms

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

simplify124.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039248
144212
254212
368212
4114212
5228212
6919212
73184212
85001212

prune150.0ms

Filtered
40 candidates to 28 candidates (70.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New291140
Fresh000
Picked101
Done000
Total301141

Merged error: 28.1b

Counts
41 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 (sin (expm1 a)))
0.3b
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
0.4b
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
33.7b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite6.0ms

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

series38.0ms

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

simplify100.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 7 (96.0ms)

IterNodesCost
063414
192353
2121353
3180353
4339353
5863353
63913353
75001349

prune202.0ms

Filtered
52 candidates to 33 candidates (63.5%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New43952
Fresh1910
Picked101
Done000
Total451863

Merged error: 28.0b

Counts
63 → 18

localize23.0ms

Local error

Found 4 expressions with local error:

0.4b
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
33.7b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
33.7b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
33.7b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite5.0ms

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

series37.0ms

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

simplify78.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039430
160361
278361
3118361
4218361
5534361
62589361
75001361

prune276.0ms

Filtered
44 candidates to 33 candidates (75.0%)
Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New37744
Fresh11617
Picked101
Done000
Total392362

Merged error: 27.8b

Counts
62 → 23

localize34.0ms

Local error

Found 4 expressions with local error:

2.7b
(log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
33.7b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
33.7b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
33.8b
(fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)

rewrite5.0ms

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

series36.0ms

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

simplify89.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
060494
179411
2106411
3143411
4265411
5711411
63295411
75002411

prune203.0ms

Filtered
48 candidates to 32 candidates (66.7%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New44448
Fresh22022
Picked101
Done000
Total472471

Merged error: 27.7b

Counts
71 → 24

regimes318.0ms

Accuracy

0% (1.8b remaining)

Error of 33.5b against oracle of 31.7b and baseline of 33.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02230
12230

end0.0ms

sample13.1s

Algorithm
intervals
Results
7.1s2608×body5120exit
3.9s2277×body1280valid
1.2s1631×body640valid
307.0ms2795×body80valid
304.0ms841×body320valid
105.0ms446×body160valid
19.0ms4×body5120valid
12.0ms6×body2560valid

Profiling

Loading profile data...