Details

sample377.0ms

Algorithm

intervals

Results

290.0ms	279×	body	5120	exit
35.0ms	74×	body	1280	valid
13.0ms	51×	body	640	valid
8.0ms	7×	body	2560	valid
5.0ms	180×	body	80	nan
5.0ms	95×	body	80	valid
3.0ms	18×	body	320	valid
1.0ms	11×	body	160	valid

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

prune2.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: 33.1b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

37.6b

(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))

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

prune31.0ms

Filtered

10 candidates to 7 candidates (70.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: 33.0b

Counts

11 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.4b	(exp (log (fmod (cosh c) (log1p a))))
1.0b	(log (fmod (cosh c) (log1p a)))
37.6b	(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))

series27.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(exp (log (fmod (cosh c) (log1p a))))
20.0ms	(log (fmod (cosh c) (log1p a)))
5.0ms	(fmod (cosh c) (log1p a))

simplify82.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 3 (6.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

prune107.0ms

Filtered

43 candidates to 23 candidates (53.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	34	9	43
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	37	12	49

Merged error: 33.0b

Counts

49 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

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

series25.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify195.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 1 (3.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 (66.7%)

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: 33.0b

Counts

57 → 14

localize22.0ms

Local error

Found 4 expressions with local error:

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

prune152.0ms

Filtered

40 candidates to 28 candidates (70.0%)

Pruning

15 alts after pruning (13 fresh and 2 done)

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

Merged error: 33.0b

Counts

54 → 15

regimes315.0ms

Accuracy

0% (0.0b remaining)

Error of 34.1b against oracle of 34.1b and baseline of 34.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	24

end0.0ms

sample10.7s

Algorithm

intervals

Results

8.1s	7743×	body	5120	exit
1.1s	2333×	body	1280	valid
382.0ms	1583×	body	640	valid
173.0ms	5384×	body	80	nan
168.0ms	149×	body	2560	valid
140.0ms	2780×	body	80	valid
114.0ms	760×	body	320	valid
43.0ms	388×	body	160	valid
10.0ms	7×	body	5120	valid

Details

sample377.0ms

simplify134.0ms

prune2.0ms

localize6.0ms

rewrite1.0ms

series2.0ms

simplify98.0ms

prune31.0ms

localize8.0ms

rewrite5.0ms

series27.0ms

simplify82.0ms

prune107.0ms

localize16.0ms

rewrite4.0ms

series25.0ms

simplify195.0ms

prune165.0ms

localize22.0ms

rewrite3.0ms

series8.0ms

simplify100.0ms

prune152.0ms

regimes315.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample10.7s

Profiling