Details

sample308.0ms

Algorithm

intervals

Results

227.0ms	228×	body	10240	exit
32.0ms	68×	body	1280	valid
10.0ms	48×	body	640	valid
7.0ms	89×	body	80	valid
4.0ms	147×	body	80	nan
4.0ms	34×	body	320	valid
4.0ms	3×	body	2560	valid
2.0ms	14×	body	160	valid

simplify231.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.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(cosh c)
38.7b	(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))

series51.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify140.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 3 (23.0ms)

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

prune65.0ms

Filtered

21 candidates to 16 candidates (76.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 34.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh c)
0.0b	(exp (log (cosh c)))
3.2b	(log (cosh c))
38.7b	(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))

series245.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(cosh c)
43.0ms	(exp (log (cosh c)))
151.0ms	(log (cosh c))
2.0ms	(fmod (exp (log (cosh c))) (log1p a))

simplify40.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 3 (36.0ms)

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

prune148.0ms

Filtered

56 candidates to 38 candidates (67.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 34.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(log (fmod (exp (log (cosh c))) (log1p a)))
0.5b	(exp (log (fmod (exp (log (cosh c))) (log1p a))))
3.2b	(log (cosh c))
38.7b	(fmod (exp (log (cosh c))) (log1p a))

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

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

series177.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify158.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 4 (154.0ms)

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

prune192.0ms

Filtered

59 candidates to 40 candidates (67.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 34.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(log (fmod (exp (log (cosh c))) (log1p a)))
0.6b	(pow E (log (fmod (exp (log (cosh c))) (log1p a))))
3.2b	(log (cosh c))
38.7b	(fmod (exp (log (cosh c))) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 54

Calls

4 calls:

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

series218.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(log (fmod (exp (log (cosh c))) (log1p a)))
47.0ms	(pow E (log (fmod (exp (log (cosh c))) (log1p a))))
149.0ms	(log (cosh c))
2.0ms	(fmod (exp (log (cosh c))) (log1p a))

simplify65.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 3 (60.0ms)

Iter	Nodes	Cost
0	183	486
1	524	404
2	1933	387
3	5001	358

prune165.0ms

Filtered

66 candidates to 41 candidates (62.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 34.0b

regimes256.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	24
1	18	24
2	18	24

end0.0ms

sample10.4s

Algorithm

intervals

Results

7.9s	7873×	body	10240	exit
1.0s	2269×	body	1280	valid
364.0ms	1614×	body	640	valid
172.0ms	159×	body	2560	valid
158.0ms	5389×	body	80	nan
123.0ms	2730×	body	80	valid
108.0ms	821×	body	320	valid
43.0ms	403×	body	160	valid
6.0ms	4×	body	5120	valid