Details

sample69.0ms

Algorithm

intervals

Results

41.0ms	84×	body	1280	valid
12.0ms	52×	body	640	valid
4.0ms	31×	body	320	valid
2.0ms	79×	body	80	valid
2.0ms	81×	body	80	nan
1.0ms	10×	body	160	valid

simplify4.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: 41.7b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

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

series43.0ms

Counts

1 → 3

Calls

1 calls:

43.0ms

(log (+ 1.0 x))

simplify42.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 3 (35.0ms)

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

prune37.0ms

Filtered

18 candidates to 13 candidates (72.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.1b

Counts

19 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

80×	`times-frac`
70×	`add-sqr-sqrt`
68×	`associate-r`
56×	`unpow-prod-down`
36×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-exp-log`
24×	`unpow2` `sqr-pow`
17×	`unswap-sqr`
10×	`prod-exp`
9×	`div-exp`
7×	`add-cbrt-cube`
6×	`pow-to-exp` `pow-exp` `add-log-exp`
4×	`pow1`
3×	`associate-r/` `associate-l*`
2×	`diff-log` `frac-sub` `cbrt-unprod`
1×	`cbrt-undiv` `sub-neg` `flip3--` `flip3-+` `pow-prod-down` `associate--l+` `sum-log` `*-commutative` `flip--` `flip-+` `div-inv`

Counts

2 → 126

Calls

2 calls:

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

series98.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify71.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	676	950
1	3419	758
2	5001	757

prune243.0ms

Filtered

132 candidates to 81 candidates (61.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	132	4	136

Merged error: 0.1b

Counts

136 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (log (+ 1.0 x)))
3.0b	(log (+ 1.0 x))
3.0b	(log (+ 1.0 x))
3.0b	(log (+ 1.0 x))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity`
12×	`log-prod`
8×	`pow1` `add-sqr-sqrt` `add-cube-cbrt`
7×	`add-exp-log`
6×	`log-div`
4×	`cbrt-prod` `log-pow` `add-cbrt-cube` `add-log-exp`
3×	`flip3-+` `rem-log-exp` `flip-+` `distribute-lft-out`
1×	`pow1/3`

Counts

4 → 57

Calls

4 calls:

1.0ms	(cbrt (log (+ 1.0 x)))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))

series289.0ms

Counts

4 → 12

Calls

4 calls:

157.0ms	(cbrt (log (+ 1.0 x)))
41.0ms	(log (+ 1.0 x))
48.0ms	(log (+ 1.0 x))
42.0ms	(log (+ 1.0 x))

simplify111.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 3 (104.0ms)

Iter	Nodes	Cost
0	306	453
1	946	413
2	3951	376
3	5002	368

prune152.0ms

Filtered

69 candidates to 51 candidates (73.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	67	6	73

Merged error: 0.1b

Counts

73 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

3.0b	(log (+ 1.0 x))
3.0b	(log (+ 1.0 x))
3.0b	(log (cbrt (+ 1.0 x)))
3.0b	(log (cbrt (+ 1.0 x)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 68

Calls

4 calls:

3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
4.0ms	(log (cbrt (+ 1.0 x)))
4.0ms	(log (cbrt (+ 1.0 x)))

series325.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(log (+ 1.0 x))
47.0ms	(log (+ 1.0 x))
115.0ms	(log (cbrt (+ 1.0 x)))
115.0ms	(log (cbrt (+ 1.0 x)))

simplify58.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 3 (51.0ms)

Iter	Nodes	Cost
0	212	486
1	536	446
2	1911	426
3	5001	418

prune233.0ms

Filtered

80 candidates to 62 candidates (77.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	2	2
Picked	1	0	1
Done	0	3	3
Total	80	6	86

Merged error: 0.1b

Counts

86 → 6

regimes106.0ms

Accuracy

99.3% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.6b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	11
1	21	11

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.0s	2238×	body	1280	valid
390.0ms	1701×	body	640	valid
100.0ms	815×	body	320	valid
75.0ms	2826×	body	80	valid
54.0ms	2746×	body	80	nan
30.0ms	420×	body	160	valid

Details

sample69.0ms

simplify4.0ms

prune2.0ms

localize4.0ms

rewrite4.0ms

series43.0ms

simplify42.0ms

prune37.0ms

localize10.0ms

rewrite39.0ms

series98.0ms

simplify71.0ms

prune243.0ms

localize7.0ms

rewrite12.0ms

series289.0ms

simplify111.0ms

prune152.0ms

localize17.0ms

rewrite16.0ms

series325.0ms

simplify58.0ms

prune233.0ms

regimes106.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample1.9s

Profiling