Details

sample1.1s

Algorithm

intervals

Results

441.0ms	234×	body	5120	exit
175.0ms	96×	body	2560	valid
69.0ms	82×	body	1280	valid
44.0ms	74×	body	1280	nan
26.0ms	77×	body	640	nan
19.0ms	39×	body	640	valid
18.0ms	248×	body	80	nan
9.0ms	25×	body	320	valid
6.0ms	30×	body	320	nan
3.0ms	23×	body	160	nan
3.0ms	12×	body	160	valid
0.0ms	2×	body	80	valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	16	6
1	24	6
2	43	6
3	91	6
4	257	6
5	1277	6
6	5002	6

prune5.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 61.4b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(cosh a)
3.0b	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
58.9b	(fmod (cosh a) (* a a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`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`
1×	`acos-asin` `cosh-def`

Counts

3 → 29

Calls

3 calls:

2.0ms	(cosh a)
2.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.0ms	(fmod (cosh a) (* a a))

series60.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(cosh a)
3.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
9.0ms	(fmod (cosh a) (* a a))

simplify165.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 3 (28.0ms)

Iter	Nodes	Cost
0	104	208
1	216	185
2	693	177
3	4157	175
4	5001	175

prune132.0ms

Filtered

38 candidates to 31 candidates (81.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	31	7	38
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	7	39

Merged error: 60.0b

Counts

39 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh a)
3.0b	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
12.5b	(log (exp (fmod (cosh a) (* a a))))
58.9b	(fmod (cosh a) (* a a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1`
4×	`add-exp-log` `expm1-log1p-u` `log-pow` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`log-prod` `exp-prod`
1×	`acos-asin` `cosh-def` `rem-log-exp`

Counts

4 → 46

Calls

4 calls:

1.0ms	(cosh a)
1.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
1.0ms	(fmod (cosh a) (* a a))

series54.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(cosh a)
3.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
2.0ms	(fmod (cosh a) (* a a))

simplify169.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 3 (30.0ms)

Iter	Nodes	Cost
0	132	341
1	250	299
2	768	291
3	4567	289
4	5001	289

prune187.0ms

Filtered

58 candidates to 45 candidates (77.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	57	8	65

Merged error: 60.0b

Counts

65 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

12.5b	(log (exp (fmod (cosh a) (* a a))))
58.9b	(fmod (cosh a) (* a a))
58.9b	(fmod (cosh a) (* a a))
58.9b	(fmod (cosh a) (* 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` `expm1-log1p-u` `log-pow` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`log-prod` `exp-prod`
1×	`rem-log-exp`

Counts

4 → 44

Calls

4 calls:

2.0ms	(log (exp (fmod (cosh a) (* a a))))
1.0ms	(fmod (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))

series7.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(log (exp (fmod (cosh a) (* a a))))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))

simplify86.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	56	278
1	79	244
2	161	244
3	412	244
4	1977	244
5	5001	244

prune260.0ms

Filtered

56 candidates to 42 candidates (75.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	54	2	56
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	56	8	64

Merged error: 59.9b

Counts

64 → 8

localize25.0ms

Local error

Found 4 expressions with local error:

58.9b	(fmod (cosh a) (* a a))
58.9b	(fmod (cosh a) (* a a))
58.9b	(fmod (cosh a) (* a a))
58.9b	(fmod (cosh a) (* 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 (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))

series7.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))

simplify62.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	25	228
1	42	200
2	94	200
3	232	200
4	1067	200
5	5001	200

prune287.0ms

Filtered

48 candidates to 40 candidates (83.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	48	8	56

Merged error: 59.9b

Counts

56 → 8

regimes209.0ms

Accuracy

0% (0.4b remaining)

Error of 60.2b against oracle of 59.7b and baseline of 60.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	37
1	19	37

end0.0ms

sample26.3s

Algorithm

intervals

Results

14.4s	7989×	body	5120	exit
5.2s	3136×	body	2560	valid
1.9s	2467×	body	1280	valid
1.6s	2902×	body	1280	nan
790.0ms	2501×	body	640	nan
552.0ms	1264×	body	640	valid
513.0ms	8869×	body	80	nan
240.0ms	1209×	body	320	nan
199.0ms	656×	body	320	valid
84.0ms	356×	body	160	valid
82.0ms	625×	body	160	nan
20.0ms	9×	body	5120	nan
13.0ms	121×	body	80	valid
12.0ms	12×	body	2560	nan