Details

sample381.0ms

Algorithm

intervals

Results

295.0ms	272×	body	5120	exit
33.0ms	70×	body	1280	valid
11.0ms	46×	body	640	valid
6.0ms	184×	body	80	nan
5.0ms	5×	body	2560	valid
5.0ms	100×	body	80	valid
4.0ms	24×	body	320	valid
1.0ms	11×	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: 32.2b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

4×	`expm1-log1p-u`
3×	`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` `cosh-def` `log1p-expm1`

Counts

3 → 30

Calls

3 calls:

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

series70.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(cosh c)
19.0ms	(log1p a)
3.0ms	(fmod (cosh c) (log1p a))

simplify50.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 3 (47.0ms)

Iter	Nodes	Cost
0	152	145
1	424	130
2	1473	121
3	5001	115

prune121.0ms

Filtered

39 candidates to 31 candidates (79.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	28	11	39
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	29	11	40

Merged error: 31.1b

Counts

40 → 11

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

series148.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify108.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 3 (97.0ms)

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

prune272.0ms

Filtered

60 candidates to 55 candidates (91.7%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	46	14	60
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	47	24	71

Merged error: 30.4b

Counts

71 → 24

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

13×	`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 → 49

Calls

4 calls:

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

series183.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(cbrt (log1p a))
47.0ms	(cbrt (cbrt (log1p a)))
79.0ms	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
3.0ms	(fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))

simplify58.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	619	787
1	2346	705
2	5001	684

prune387.0ms

Filtered

61 candidates to 55 candidates (90.2%)

Pruning

38 alts after pruning (37 fresh and 1 done)

	Pruned	Kept	Total
New	43	18	61
Fresh	3	19	22
Picked	1	0	1
Done	0	1	1
Total	47	38	85

Merged error: 29.8b

Counts

85 → 38

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

11×	`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`
1×	`pow3` `rem-cbrt-cube`

Counts

4 → 48

Calls

4 calls:

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

series183.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(cbrt (cbrt (log1p a)))
48.0ms	(cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))))
79.0ms	(cbrt (* (cbrt (log1p a)) (cbrt (log1p a))))
4.0ms	(fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (* (cbrt (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))))))

simplify48.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	482	1009
1	1734	889
2	5002	746

prune267.0ms

Filtered

60 candidates to 51 candidates (85.0%)

Pruning

44 alts after pruning (43 fresh and 1 done)

	Pruned	Kept	Total
New	46	14	60
Fresh	7	29	36
Picked	1	0	1
Done	0	1	1
Total	54	44	98

Merged error: 29.7b

Counts

98 → 44

regimes939.0ms

Accuracy

0% (2.2b remaining)

Error of 34.2b against oracle of 32.0b and baseline of 34.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	19	29

end0.0ms

sample11.2s

Algorithm

intervals

Results

8.5s	7958×	body	5120	exit
1.2s	2366×	body	1280	valid
390.0ms	1598×	body	640	valid
166.0ms	5291×	body	80	nan
164.0ms	146×	body	2560	valid
137.0ms	2709×	body	80	valid
122.0ms	784×	body	320	valid
44.0ms	388×	body	160	valid
14.0ms	9×	body	5120	valid

Details

sample381.0ms

simplify223.0ms

prune2.0ms

localize7.0ms

rewrite3.0ms

series70.0ms

simplify50.0ms

prune121.0ms

localize10.0ms

rewrite5.0ms

series148.0ms

simplify108.0ms

prune272.0ms

localize18.0ms

rewrite9.0ms

series183.0ms

simplify58.0ms

prune387.0ms

localize22.0ms

rewrite16.0ms

series183.0ms

simplify48.0ms

prune267.0ms

regimes939.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample11.2s

Profiling