Details

sample346.0ms

Algorithm

intervals

Results

260.0ms	248×	body	5120	exit
35.0ms	73×	body	1280	valid
14.0ms	58×	body	640	valid
6.0ms	180×	body	80	nan
4.0ms	90×	body	80	valid
4.0ms	3×	body	2560	valid
3.0ms	22×	body	320	valid
1.0ms	10×	body	160	valid

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

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.8b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(cosh c)
38.5b	(fmod (cosh c) (log1p a))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 15

Calls

2 calls:

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

series48.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify134.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 3 (22.0ms)

Iter	Nodes	Cost
0	76	89
1	159	79
2	542	71
3	3481	69
4	5001	69

prune60.0ms

Filtered

21 candidates to 16 candidates (76.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	14	7	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	15	7	22

Merged error: 33.7b

Counts

22 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh c)
0.0b	(cbrt (pow (cosh c) 3))
0.0b	(pow (cosh c) 3)
38.5b	(fmod (cbrt (pow (cosh c) 3)) (log1p a))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down` `cube-prod`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`pow-unpow` `cosh-def`
2×	`cube-div` `cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `pow-pow` `pow1/3` `pow-exp` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 61

Calls

4 calls:

1.0ms	(cosh c)
2.0ms	(cbrt (pow (cosh c) 3))
2.0ms	(pow (cosh c) 3)
1.0ms	(fmod (cbrt (pow (cosh c) 3)) (log1p a))

series159.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(cosh c)
42.0ms	(cbrt (pow (cosh c) 3))
70.0ms	(pow (cosh c) 3)
2.0ms	(fmod (cbrt (pow (cosh c) 3)) (log1p a))

simplify206.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	193	289
1	688	269
2	4345	243
3	5001	243

prune135.0ms

Filtered

73 candidates to 42 candidates (57.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	74	6	80

Merged error: 33.7b

Counts

80 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh c)
0.0b	(exp (log (cosh c)))
3.9b	(log (cosh c))
38.5b	(fmod (exp (log (cosh c))) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 44

Calls

4 calls:

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

series232.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(cosh c)
42.0ms	(exp (log (cosh c)))
143.0ms	(log (cosh c))
2.0ms	(fmod (exp (log (cosh c))) (log1p a))

simplify39.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 3 (35.0ms)

Iter	Nodes	Cost
0	138	247
1	294	220
2	906	196
3	5002	186

prune124.0ms

Filtered

56 candidates to 39 candidates (69.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	56	6	62

Merged error: 33.7b

Counts

62 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(exp (log (fmod (exp (log (cosh c))) (log1p a))))
2.1b	(log (fmod (exp (log (cosh c))) (log1p a)))
3.9b	(log (cosh c))
38.5b	(fmod (exp (log (cosh c))) (log1p a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

9×	`log-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`add-exp-log`
4×	`exp-prod` `add-cbrt-cube` `add-log-exp`
3×	`exp-sum` `log-pow`
2×	`rem-log-exp`
1×	`log-div` `cosh-def` `rem-exp-log`

Counts

4 → 47

Calls

4 calls:

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

series167.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify154.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 4 (150.0ms)

Iter	Nodes	Cost
0	136	388
1	260	332
2	742	312
3	3988	306
4	5002	303

prune137.0ms

Filtered

59 candidates to 39 candidates (66.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	53	6	59
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	53	12	65

Merged error: 33.7b

Counts

65 → 12

regimes286.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	7	5

end0.0ms

sample10.8s

Algorithm

intervals

Results

8.2s	7861×	body	5120	exit
1.1s	2306×	body	1280	valid
372.0ms	1540×	body	640	valid
168.0ms	5426×	body	80	nan
153.0ms	138×	body	2560	valid
135.0ms	2773×	body	80	valid
120.0ms	794×	body	320	valid
49.0ms	442×	body	160	valid
10.0ms	7×	body	5120	valid