Details

Time bar (total: 14.9s)

sample397.0ms

Algorithm
intervals
Results
221.0ms86×body10240exit
105.0ms63×body1280valid
39.0ms57×body640valid
9.0ms30×body320valid
9.0ms95×body80valid
2.0ms11×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

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.6b

localize12.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)))
37.7b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite2.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:
0.0ms
(atan2 (expm1 (sin (expm1 a))) (atan a))
1.0ms
(sin (expm1 a))
0.0ms
(expm1 (sin (expm1 a)))
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series65.0ms

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

simplify118.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039248
144212
254212
368212
4114212
5228212
6919212
73184212
85001212

prune161.0ms

Filtered
40 candidates to 28 candidates (70.0%)
Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 31.3b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.6b
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.6b
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
37.7b
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite2.0ms

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

series345.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
112.0ms
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
117.0ms
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
3.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

simplify89.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 3 (7.0ms)

IterNodesCost
038628
168546
2145540
3478525
42428525
55002525

prune229.0ms

Filtered
52 candidates to 37 candidates (71.2%)
Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 31.3b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
37.7b
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
37.7b
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
37.7b
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite2.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 (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
0.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
0.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

series119.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
3.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
3.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
3.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

simplify90.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 3 (7.0ms)

IterNodesCost
038844
168702
2145700
3478655
42428655
55002655

prune280.0ms

Filtered
44 candidates to 34 candidates (77.3%)
Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 31.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
37.7b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
37.7b
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
37.7b
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite2.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:
0.0ms
(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)
0.0ms
(fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

series121.0ms

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

simplify90.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
046694
177582
2156340
3481340
42431340
55001340

prune210.0ms

Filtered
44 candidates to 33 candidates (75.0%)
Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 31.0b

regimes344.0ms

Accuracy

0% (1.8b remaining)

Error of 33.9b against oracle of 32.1b and baseline of 33.9b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
021116
121116

end0.0ms

sample12.1s

Algorithm
intervals
Results
6.4s2561×body10240exit
3.8s2301×body1280valid
1.1s1692×body640valid
269.0ms2746×body80valid
249.0ms797×body320valid
92.0ms458×body160valid
14.0ms3×body5120valid
6.0ms3×body2560valid