Details

Time bar (total: 15.2s)

sample406.0ms

Algorithm
intervals
Results
197.0ms70×body5120exit
144.0ms83×body1280valid
32.0ms47×body640valid
10.0ms30×body320valid
9.0ms85×body80valid
2.0ms11×body160valid

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087

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

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

rewrite1.0ms

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

series3.0ms

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

simplify101.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
023137
126117
232117
340117
468117
5142117
6643117
72176117
85001117

prune92.0ms

Filtered
20 candidates to 14 candidates (70.0%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New101020
Fresh000
Picked011
Done000
Total101121

Merged error: 33.3b

Counts
21 → 11

localize15.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 add-cbrt-cube add-log-exp
3×cbrt-prod
1×pow1/3
Counts
4 → 32
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)

series126.0ms

Counts
4 → 12
Calls
4 calls:
117.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)
5.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify252.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
034413
163335
2140333
3584333
44641333
55001333

prune213.0ms

Filtered
44 candidates to 31 candidates (70.5%)
Pruning

18 alts after pruning (16 fresh and 2 done)

PrunedKeptTotal
New35944
Fresh279
Picked011
Done011
Total371855

Merged error: 33.3b

Counts
55 → 18

localize19.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 add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
Counts
4 → 28
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)

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

simplify94.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
015352
117300
221300
326300
445300
599300
6505300
71672300
85001300

prune219.0ms

Filtered
40 candidates to 28 candidates (70.0%)
Pruning

19 alts after pruning (17 fresh and 2 done)

PrunedKeptTotal
New38240
Fresh01515
Picked101
Done022
Total391958

Merged error: 33.3b

Counts
58 → 19

localize23.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 add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
Counts
4 → 28
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)

simplify98.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
015352
117300
221300
326300
445300
599300
6505300
71672300
85001300

prune163.0ms

Filtered
40 candidates to 28 candidates (70.0%)
Pruning

20 alts after pruning (18 fresh and 2 done)

PrunedKeptTotal
New38240
Fresh01616
Picked101
Done022
Total392059

Merged error: 33.3b

Counts
59 → 20

regimes350.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
087

end0.0ms

sample13.0s

Algorithm
intervals
Results
7.1s2589×body5120exit
3.9s2256×body1280valid
1.1s1657×body640valid
315.0ms2835×body80valid
284.0ms817×body320valid
97.0ms433×body160valid
9.0ms2×body5120valid

Profiling

Loading profile data...