Details

sample385.0ms

Algorithm

intervals

Results

194.0ms	74×	body	10240	exit
128.0ms	81×	body	1280	valid
29.0ms	44×	body	640	valid
12.0ms	38×	body	320	valid
9.0ms	84×	body	80	valid
2.0ms	9×	body	160	valid

simplify2.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	7

prune3.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.8b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(atan2 (expm1 (sin (expm1 a))) (atan a))
0.0b	(expm1 (sin (expm1 a)))
0.0b	(sin (expm1 a))
40.2b	(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))
1.0ms	(expm1 (sin (expm1 a)))
2.0ms	(sin (expm1 a))
1.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series66.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(atan2 (expm1 (sin (expm1 a))) (atan a))
1.0ms	(expm1 (sin (expm1 a)))
61.0ms	(sin (expm1 a))
2.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify119.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	39	248
1	44	212
2	54	212
3	68	212
4	114	212
5	228	212
6	919	212
7	3184	212
8	5001	212

prune157.0ms

Filtered

40 candidates to 28 candidates (70.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 33.4b

localize16.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.7b	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.7b	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
40.2b	(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)

rewrite5.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:

1.0ms	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.0ms	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.0ms	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.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)

series331.0ms

Counts

4 → 12

Calls

4 calls:

111.0ms	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
106.0ms	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
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)

simplify90.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 3 (8.0ms)

Iter	Nodes	Cost
0	38	628
1	68	546
2	145	540
3	478	525
4	2428	525
5	5002	525

prune232.0ms

Filtered

52 candidates to 38 candidates (73.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 33.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
40.2b	(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)
40.2b	(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)
40.2b	(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)

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 (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.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)
1.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)
1.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)

series123.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify92.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 3 (8.0ms)

Iter	Nodes	Cost
0	38	844
1	68	702
2	145	700
3	478	655
4	2428	655
5	5002	655

prune290.0ms

Filtered

44 candidates to 34 candidates (77.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 33.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
40.2b	(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)
40.2b	(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)
40.2b	(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 (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.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)
1.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)
1.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series117.0ms

Counts

4 → 12

Calls

4 calls:

109.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)
2.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify92.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	46	694
1	77	582
2	156	340
3	481	340
4	2431	340
5	5001	340

prune219.0ms

Filtered

44 candidates to 33 candidates (75.0%)

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 32.8b

regimes419.0ms

Accuracy

0% (1.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	71
1	27	71

end0.0ms

sample12.9s

Algorithm

intervals

Results

7.2s	2664×	body	10240	exit
3.8s	2247×	body	1280	valid
1.2s	1707×	body	640	valid
285.0ms	2820×	body	80	valid
265.0ms	819×	body	320	valid
85.0ms	405×	body	160	valid
4.0ms	2×	body	2560	valid