Details

sample299.0ms

Algorithm

intervals

Results

220.0ms	206×	body	10240	exit
34.0ms	74×	body	1280	valid
11.0ms	52×	body	640	valid
5.0ms	175×	body	80	nan
4.0ms	4×	body	2560	valid
4.0ms	89×	body	80	valid
3.0ms	26×	body	320	valid
1.0ms	11×	body	160	valid

simplify213.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	154	3
9	1044	3
10	5001	3

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize6.0ms

Local error

Found 1 expressions with local error:

38.8b

(fmod (cosh c) (log1p a))

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

0.0ms

(fmod (cosh c) (log1p a))

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(fmod (cosh c) (log1p a))

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

prune32.0ms

Filtered

10 candidates to 7 candidates (70.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 34.2b

localize11.0ms

Local error

Found 3 expressions with local error:

0.6b	(exp (log (fmod (cosh c) (log1p a))))
1.0b	(log (fmod (cosh c) (log1p a)))
38.8b	(fmod (cosh c) (log1p a))

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

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

series23.0ms

Counts

3 → 9

Calls

3 calls:

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

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

prune117.0ms

Filtered

43 candidates to 23 candidates (53.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 34.2b

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.6b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.0b	(log (fmod (cosh c) (log1p a)))
38.8b	(fmod (cosh c) (log1p a))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

17×	`exp-prod`
14×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
8×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log`
5×	`log-pow` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `log-prod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `rem-log-exp` `pow-exp` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 69

Calls

4 calls:

1.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
7.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series60.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
2.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
19.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))

simplify127.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	133	473
1	432	423
2	2928	418
3	5002	418

prune232.0ms

Filtered

81 candidates to 42 candidates (51.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 34.2b

localize20.0ms

Local error

Found 4 expressions with local error:

1.0b	(log (fmod (cosh c) (log1p a)))
38.8b	(fmod (cosh c) (log1p a))
38.8b	(fmod (cosh c) (log1p a))
38.8b	(fmod (cosh c) (log1p a))

rewrite2.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)))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))
0.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))

simplify189.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	4889	206
8	5001	206

prune163.0ms

Filtered

45 candidates to 30 candidates (66.7%)

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 34.2b

regimes405.0ms

Accuracy

0% (0.0b remaining)

Error of 34.3b against oracle of 34.3b and baseline of 34.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	19
1	15	19

end0.0ms

sample10.0s

Algorithm

intervals

Results

7.6s	7548×	body	10240	exit
1.0s	2287×	body	1280	valid
356.0ms	1628×	body	640	valid
161.0ms	153×	body	2560	valid
157.0ms	5216×	body	80	nan
116.0ms	2751×	body	80	valid
98.0ms	770×	body	320	valid
38.0ms	407×	body	160	valid
6.0ms	4×	body	5120	valid