Details

sample338.0ms

Algorithm

intervals

Results

245.0ms	239×	body	5120	exit
37.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

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

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

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

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

series30.0ms

Counts

3 → 9

Calls

3 calls:

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

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

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

series30.0ms

Counts

4 → 12

Calls

4 calls:

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

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

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

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

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

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

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

regimes491.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.9s

Algorithm

intervals

Results

8.2s	7932×	body	5120	exit
1.1s	2347×	body	1280	valid
375.0ms	1603×	body	640	valid
166.0ms	5424×	body	80	nan
159.0ms	139×	body	2560	valid
128.0ms	2726×	body	80	valid
113.0ms	756×	body	320	valid
45.0ms	420×	body	160	valid
16.0ms	9×	body	5120	valid

Details

sample338.0ms

simplify137.0ms

prune8.0ms

localize6.0ms

rewrite1.0ms

series2.0ms

simplify100.0ms

prune34.0ms

localize9.0ms

rewrite5.0ms

series30.0ms

simplify82.0ms

prune108.0ms

localize14.0ms

rewrite4.0ms

series30.0ms

simplify196.0ms

prune165.0ms

localize17.0ms

rewrite3.0ms

series8.0ms

simplify100.0ms

prune105.0ms

regimes491.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample10.9s

Profiling