Details

sample374.0ms

Algorithm

intervals

Results

289.0ms	278×	body	10240	exit
31.0ms	68×	body	1280	valid
12.0ms	54×	body	640	valid
7.0ms	7×	body	2560	valid
6.0ms	193×	body	80	nan
4.0ms	89×	body	80	valid
2.0ms	2×	body	5120	valid
2.0ms	18×	body	320	valid
2.0ms	18×	body	160	valid

simplify223.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	44	3
7	69	3
8	169	3
9	1127	3
10	5002	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: 34.2b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

3×	`expm1-log1p-u`
2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
1×	`log1p-udef` `log1p-expm1`

Counts

2 → 20

Calls

2 calls:

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

series23.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify193.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 3 (29.0ms)

Iter	Nodes	Cost
0	97	103
1	258	91
2	798	90
3	4467	86
4	5001	86

prune88.0ms

Filtered

26 candidates to 20 candidates (76.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	17	9	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	10	27

Merged error: 33.2b

Counts

27 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (log1p a))
0.6b	(cbrt (log1p a))
0.6b	(cbrt (log1p a))
38.7b	(fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`

Counts

4 → 48

Calls

4 calls:

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

series147.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(cbrt (log1p a))
51.0ms	(cbrt (log1p a))
47.0ms	(cbrt (log1p a))
2.0ms	(fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))

simplify105.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 3 (95.0ms)

Iter	Nodes	Cost
0	215	543
1	684	498
2	3108	438
3	5001	431

prune288.0ms

Filtered

60 candidates to 53 candidates (88.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	43	17	60
Fresh	1	7	8
Picked	1	0	1
Done	1	0	1
Total	46	24	70

Merged error: 32.5b

Counts

70 → 24

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (log1p a))
0.6b	(cbrt (log1p a))
0.6b	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
38.7b	(fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`cbrt-prod`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`

Counts

4 → 46

Calls

4 calls:

1.0ms	(cbrt (log1p a))
1.0ms	(cbrt (log1p a))
4.0ms	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
1.0ms	(fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))

series177.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(cbrt (log1p a))
50.0ms	(cbrt (log1p a))
77.0ms	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
3.0ms	(fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))

simplify46.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	464	745
1	1744	665
2	5002	602

prune386.0ms

Filtered

58 candidates to 53 candidates (91.4%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	42	16	58
Fresh	4	19	23
Picked	1	0	1
Done	0	0	0
Total	47	35	82

Merged error: 31.8b

Counts

82 → 35

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (log1p a))
0.6b	(cbrt (log1p a))
0.6b	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
38.7b	(fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))) (cbrt (log1p a))))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`cbrt-prod`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`

Counts

4 → 46

Calls

4 calls:

1.0ms	(cbrt (log1p a))
1.0ms	(cbrt (log1p a))
4.0ms	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
1.0ms	(fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))) (cbrt (log1p a))))

series182.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(cbrt (log1p a))
52.0ms	(cbrt (log1p a))
75.0ms	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
3.0ms	(fmod (cosh c) (* (* (cbrt (log1p a)) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))) (cbrt (log1p a))))

simplify47.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	467	853
1	1748	755
2	5001	692

prune312.0ms

Filtered

58 candidates to 53 candidates (91.4%)

Pruning

41 alts after pruning (41 fresh and 0 done)

	Pruned	Kept	Total
New	43	15	58
Fresh	8	26	34
Picked	1	0	1
Done	0	0	0
Total	52	41	93

Merged error: 31.7b

Counts

93 → 41

regimes896.0ms

Accuracy

0% (2.1b remaining)

Error of 33.6b against oracle of 31.5b and baseline of 33.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	35
1	22	35

end0.0ms

sample10.3s

Algorithm

intervals

Results

7.9s	7779×	body	10240	exit
1.0s	2266×	body	1280	valid
348.0ms	1600×	body	640	valid
167.0ms	157×	body	2560	valid
159.0ms	5416×	body	80	nan
122.0ms	2801×	body	80	valid
100.0ms	746×	body	320	valid
42.0ms	421×	body	160	valid
14.0ms	9×	body	5120	valid