Details

sample334.0ms

Algorithm

intervals

Results

243.0ms	239×	body	5120	exit
36.0ms	82×	body	1280	valid
10.0ms	41×	body	640	valid
6.0ms	5×	body	2560	valid
5.0ms	167×	body	80	nan
4.0ms	26×	body	320	valid
4.0ms	85×	body	80	valid
2.0ms	17×	body	160	valid

simplify136.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	14	3
2	16	3
3	18	3
4	19	3
5	24	3
6	43	3
7	64	3
8	147	3
9	1361	3
10	5001	3

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 34.9b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

39.3b

(fmod (cosh c) (log1p a))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`

Counts

1 → 7

Calls

1 calls:

1.0ms

(fmod (cosh c) (log1p a))

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(fmod (cosh c) (log1p a))

simplify99.0ms

Algorithm

egg-herbie

Counts

10 → 10

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	49
1	24	42
2	29	42
3	36	42
4	56	42
5	115	42
6	564	42
7	1838	42
8	5001	42

prune38.0ms

Filtered

10 candidates to 7 candidates (30.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	5	5	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	5	6	11

Merged error: 34.9b

Counts

11 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.7b	(exp (log (fmod (cosh c) (log1p a))))
1.3b	(log (fmod (cosh c) (log1p a)))
39.3b	(fmod (cosh c) (log1p a))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-cube-cbrt` `log-prod` `*-un-lft-identity`
5×	`pow1`
4×	`add-exp-log` `exp-prod`
3×	`exp-sum` `add-cbrt-cube` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 34

Calls

3 calls:

2.0ms	(exp (log (fmod (cosh c) (log1p a))))
1.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))

series11.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(exp (log (fmod (cosh c) (log1p a))))
7.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))

simplify81.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 3 (5.0ms)

Iter	Nodes	Cost
0	55	234
1	81	206
2	103	200
3	150	194
4	295	194
5	724	194
6	2472	194
7	5001	194

prune111.0ms

Filtered

43 candidates to 23 candidates (46.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	35	8	43
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	37	12	49

Merged error: 34.9b

Counts

49 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

1.3b	(log (fmod (cosh c) (log1p a)))
39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

5×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-cbrt-cube` `add-log-exp`
3×	`log-prod`
1×	`rem-log-exp` `log-pow`

Counts

4 → 33

Calls

4 calls:

1.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series12.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify191.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	35	241
1	48	206
2	62	206
3	76	206
4	120	206
5	247	206
6	1104	206
7	4881	206
8	5001	206

prune166.0ms

Filtered

45 candidates to 30 candidates (33.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	42	3	45
Fresh	0	10	10
Picked	1	0	1
Done	0	1	1
Total	43	14	57

Merged error: 34.9b

Counts

57 → 14

localize19.0ms

Local error

Found 4 expressions with local error:

39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p 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 (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series7.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify98.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	196
1	24	168
2	29	168
3	36	168
4	56	168
5	115	168
6	564	168
7	1838	168
8	5001	168

prune104.0ms

Filtered

40 candidates to 28 candidates (30.0%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	40	14	54

Merged error: 34.9b

Counts

54 → 14

regimes493.0ms

Accuracy

0% (0.0b remaining)

Error of 34.5b against oracle of 34.5b and baseline of 34.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	13	31

end0.0ms

sample10.8s

Algorithm

intervals

Results

8.1s	7932×	body	5120	exit
1.1s	2347×	body	1280	valid
374.0ms	1603×	body	640	valid
157.0ms	5424×	body	80	nan
157.0ms	139×	body	2560	valid
128.0ms	2726×	body	80	valid
106.0ms	756×	body	320	valid
47.0ms	420×	body	160	valid
15.0ms	9×	body	5120	valid

Details

sample334.0ms

simplify136.0ms

prune4.0ms

localize6.0ms

rewrite1.0ms

series2.0ms

simplify99.0ms

prune38.0ms

localize9.0ms

rewrite5.0ms

series11.0ms

simplify81.0ms

prune111.0ms

localize14.0ms

rewrite4.0ms

series12.0ms

simplify191.0ms

prune166.0ms

localize19.0ms

rewrite3.0ms

series7.0ms

simplify98.0ms

prune104.0ms

regimes493.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample10.8s

Profiling