Details

sample11.0ms

Algorithm

intervals

Results

4.0ms	254×	body	80	valid
0.0ms	1×	body	2560	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	2
1	15	2
2	23	2
3	31	2
4	33	2
5	33	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: 0.0b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(* 500.0 (- x y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
18×	`prod-diff`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in`
5×	`associate-r`
3×	`pow1` `add-exp-log` `associate-l` `add-cbrt-cube`
2×	`sub-neg` `associate-*r/`
1×	`expm1-log1p-u` `flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 46

Calls

1 calls:

7.0ms

(* 500.0 (- x y))

series30.0ms

Counts

1 → 3

Calls

1 calls:

30.0ms

(* 500.0 (- x y))

simplify97.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 3 (92.0ms)

Iter	Nodes	Cost
0	190	356
1	746	220
2	3412	190
3	5002	166

prune40.0ms

Filtered

49 candidates to 20 candidates (40.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	46	3	49
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	4	50

Merged error: 0b

Counts

50 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* 500.0 x) (* 500.0 (- y)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`distribute-rgt-neg-out`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `fma-def` `*-un-lft-identity` `flip3-+` `unsub-neg` `sum-log` `add-cbrt-cube` `flip-+` `log1p-expm1-u` `distribute-lft-out`

Counts

1 → 17

Calls

1 calls:

4.0ms

(+ (* 500.0 x) (* 500.0 (- y)))

series40.0ms

Counts

1 → 3

Calls

1 calls:

40.0ms

(+ (* 500.0 x) (* 500.0 (- y)))

simplify67.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 3 (65.0ms)

Iter	Nodes	Cost
0	112	99
1	475	79
2	2202	76
3	5002	75

prune31.0ms

Filtered

20 candidates to 14 candidates (70.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	20	4	24

Merged error: 0b

Counts

24 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.3b	(* (sqrt 500.0) (- x y))
0.3b	(* (sqrt 500.0) (* (sqrt 500.0) (- x y)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

55×	`distribute-rgt-in` `distribute-lft-in`
54×	`prod-diff`
49×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
43×	`add-cube-cbrt`
12×	`associate-l`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`sqrt-prod`
6×	`sub-neg` `associate-r/` `associate-r*`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `flip3--` `*-commutative` `flip--` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

2 → 119

Calls

2 calls:

12.0ms	(* (sqrt 500.0) (- x y))
12.0ms	(* (sqrt 500.0) (* (sqrt 500.0) (- x y)))

series356.0ms

Counts

2 → 6

Calls

2 calls:

254.0ms	(* (sqrt 500.0) (- x y))
102.0ms	(* (sqrt 500.0) (* (sqrt 500.0) (- x y)))

simplify52.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	346	1118
1	1516	738
2	5001	663

prune94.0ms

Filtered

125 candidates to 43 candidates (34.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	125	4	129

Merged error: 0b

Counts

129 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(* 500.0 (sqrt (- x y)))
0.2b	(* (* 500.0 (sqrt (- x y))) (sqrt (- x y)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

16×	`associate-r`
15×	`add-sqr-sqrt`
14×	`sqrt-div`
11×	`*-un-lft-identity` `sqrt-prod`
10×	`associate-*r/`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt` `flip3--` `flip--`
4×	`frac-times` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `associate-l/` `-commutative` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

2 → 61

Calls

2 calls:

8.0ms	(* 500.0 (sqrt (- x y)))
12.0ms	(* (* 500.0 (sqrt (- x y))) (sqrt (- x y)))

series117.0ms

Counts

2 → 6

Calls

2 calls:

84.0ms	(* 500.0 (sqrt (- x y)))
34.0ms	(* (* 500.0 (sqrt (- x y))) (sqrt (- x y)))

simplify38.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	289	425
1	1172	364
2	5001	350

prune99.0ms

Filtered

67 candidates to 41 candidates (61.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	67	4	71

Merged error: 0b

Counts

71 → 4

regimes65.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	2
1	6	2

end0.0ms

sample269.0ms

Algorithm

intervals

Results

139.0ms	8031×	body	80	valid
4.0ms	6×	body	640	valid
1.0ms	16×	body	1280	valid
0.0ms	5×	body	2560	valid
0.0ms	8×	body	160	valid
0.0ms	5×	body	320	valid

Details

sample11.0ms

simplify9.0ms

prune2.0ms

localize3.0ms

rewrite9.0ms

series30.0ms

simplify97.0ms

prune40.0ms

localize5.0ms

rewrite4.0ms

series40.0ms

simplify67.0ms

prune31.0ms

localize6.0ms

rewrite30.0ms

series356.0ms

simplify52.0ms

prune94.0ms

localize5.0ms

rewrite22.0ms

series117.0ms

simplify38.0ms

prune99.0ms

regimes65.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample269.0ms

Profiling