Details

sample57.0ms

Algorithm

intervals

Results

30.0ms	64×	body	1280	valid
10.0ms	48×	body	640	valid
3.0ms	24×	body	320	valid
3.0ms	105×	body	80	valid
2.0ms	94×	body	80	nan
1.0ms	15×	body	160	valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	2
1	5	2

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: 35.7b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

4.0b	(log (+ 1.0 x))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

4×	`log-prod` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
1×	`flip3-+` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

1 → 15

Calls

1 calls:

3.0ms

(log (+ 1.0 x))

series42.0ms

Counts

1 → 3

Calls

1 calls:

42.0ms

(log (+ 1.0 x))

simplify39.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 3 (36.0ms)

Iter	Nodes	Cost
0	122	95
1	327	86
2	1161	81
3	5002	78

prune41.0ms

Filtered

18 candidates to 13 candidates (72.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	14	4	18
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	15	4	19

Merged error: 0.1b

Counts

19 → 4

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-log-exp`
2×	`diff-log` `associate-*r/` `frac-sub`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `flip3-+` `associate--l+` `sum-log` `add-cbrt-cube` `flip--` `flip-+`

Counts

1 → 16

Calls

1 calls:

6.0ms

(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

series42.0ms

Counts

1 → 3

Calls

1 calls:

42.0ms

(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

simplify133.0ms

Algorithm

egg-herbie

Counts

19 → 19

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	181	250
1	733	231
2	4310	220
3	5001	220

prune46.0ms

Filtered

19 candidates to 14 candidates (73.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	18	1	19
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	18	5	23

Merged error: 0.1b

Counts

23 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (- 1.0 (* x 0.5)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

5.0ms

(* x (- 1.0 (* x 0.5)))

series72.0ms

Counts

1 → 3

Calls

1 calls:

72.0ms

(* x (- 1.0 (* x 0.5)))

simplify88.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	122	130
1	534	113
2	2890	113
3	5001	113

prune44.0ms

Filtered

27 candidates to 16 candidates (59.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	27	5	32

Merged error: 0.1b

Counts

32 → 5

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ 1.0 x))
0.0b	(sqrt (+ 1.0 x))
4.0b	(log (sqrt (+ 1.0 x)))
4.0b	(log (sqrt (+ 1.0 x)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
16×	`sqrt-prod`
14×	`log-prod`
12×	`add-sqr-sqrt`
10×	`pow1` `add-cube-cbrt`
8×	`sqrt-div`
6×	`add-exp-log` `log-pow`
4×	`log-div` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`
2×	`rem-sqrt-square` `rem-log-exp`

Counts

4 → 72

Calls

4 calls:

3.0ms	(sqrt (+ 1.0 x))
3.0ms	(sqrt (+ 1.0 x))
4.0ms	(log (sqrt (+ 1.0 x)))
5.0ms	(log (sqrt (+ 1.0 x)))

series238.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(sqrt (+ 1.0 x))
30.0ms	(sqrt (+ 1.0 x))
87.0ms	(log (sqrt (+ 1.0 x)))
85.0ms	(log (sqrt (+ 1.0 x)))

simplify64.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 3 (58.0ms)

Iter	Nodes	Cost
0	176	480
1	494	434
2	1896	418
3	5001	406

prune155.0ms

Filtered

84 candidates to 60 candidates (71.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	84	5	89

Merged error: 0.1b

Counts

89 → 5

regimes49.0ms

Accuracy

98.1% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 21.3b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	16
1	27	16

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.1s	2299×	body	1280	valid
377.0ms	1653×	body	640	valid
106.0ms	848×	body	320	valid
73.0ms	2779×	body	80	valid
49.0ms	2751×	body	80	nan
29.0ms	421×	body	160	valid

Details

sample57.0ms

simplify7.0ms

prune2.0ms

localize3.0ms

rewrite4.0ms

series42.0ms

simplify39.0ms

prune41.0ms

localize11.0ms

rewrite7.0ms

series42.0ms

simplify133.0ms

prune46.0ms

localize6.0ms

rewrite6.0ms

series72.0ms

simplify88.0ms

prune44.0ms

localize6.0ms

rewrite16.0ms

series238.0ms

simplify64.0ms

prune155.0ms

regimes49.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample1.9s

Profiling