Details

sample17.0ms

Algorithm

intervals

Results

9.0ms

387×

body

valid

simplify214.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	4
1	35	4
2	89	4
3	157	4
4	170	4
5	186	4
6	244	4
7	442	4
8	1389	4
9	4761	4
10	5001	4

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.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* x x) (- 3.0 (* x 2.0)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 33

Calls

1 calls:

8.0ms

(* (* x x) (- 3.0 (* x 2.0)))

series78.0ms

Counts

1 → 3

Calls

1 calls:

78.0ms

(* (* x x) (- 3.0 (* x 2.0)))

simplify40.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	216	252
1	984	214
2	5002	203

prune58.0ms

Filtered

36 candidates to 20 candidates (55.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	4	37

Merged error: 0.0b

Counts

37 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- 3.0 (* x 2.0)))
0.1b	(* x (* x (- 3.0 (* x 2.0))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

25×	`distribute-rgt-in` `distribute-lft-in`
18×	`prod-diff`
13×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`sub-neg` `associate-r/` `associate-l*`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `flip3--` `*-commutative` `flip--` `log1p-expm1-u` `add-log-exp`
1×	`unswap-sqr`

Counts

2 → 74

Calls

2 calls:

6.0ms	(* x (- 3.0 (* x 2.0)))
8.0ms	(* x (* x (- 3.0 (* x 2.0))))

series152.0ms

Counts

2 → 6

Calls

2 calls:

73.0ms	(* x (- 3.0 (* x 2.0)))
78.0ms	(* x (* x (- 3.0 (* x 2.0))))

simplify51.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	248	535
1	1174	460
2	5001	440

prune87.0ms

Filtered

80 candidates to 38 candidates (47.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	80	4	84

Merged error: 0b

Counts

84 → 4

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (* x x) 3.0) (- (* 2.0 (pow x 3))))
0.2b	(* (* x x) 3.0)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
4×	`add-sqr-sqrt`
3×	`add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `sum-log` `log1p-expm1-u`
1×	`+-commutative` `neg-sub0` `associate-+r-` `fma-def` `flip3-+` `associate-l` `unsub-neg` `neg-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

2 → 39

Calls

2 calls:

6.0ms	(+ (* (* x x) 3.0) (- (* 2.0 (pow x 3))))
6.0ms	(* (* x x) 3.0)

series136.0ms

Counts

2 → 6

Calls

2 calls:

104.0ms	(+ (* (* x x) 3.0) (- (* 2.0 (pow x 3))))
31.0ms	(* (* x x) 3.0)

simplify51.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	204	229
1	1021	204
2	5001	195

prune85.0ms

Filtered

45 candidates to 33 candidates (73.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	45	4	49

Merged error: 0b

Counts

49 → 4

localize17.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (pow x 2) (+ (pow (cbrt 3.0) 3) (- (* x 2.0))))
1.0b	(pow (cbrt 3.0) 3)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `unpow-prod-down`
8×	`add-exp-log` `associate-l`
6×	`cbrt-prod` `cube-prod`
4×	`associate-r` `add-cbrt-cube` `unswap-sqr`
3×	`pow1` `pow-unpow` `prod-exp` `sqr-pow`
2×	`expm1-log1p-u` `pow-to-exp` `pow-pow` `associate-*r/` `pow-exp` `log1p-expm1-u` `unpow2` `add-log-exp`
1×	`distribute-rgt-in` `cube-mult` `distribute-lft-in` `flip3-+` `pow1/3` `unpow3` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `rem-cube-cbrt`

Counts

2 → 66

Calls

2 calls:

20.0ms	(* (pow x 2) (+ (pow (cbrt 3.0) 3) (- (* x 2.0))))
3.0ms	(pow (cbrt 3.0) 3)

series85.0ms

Counts

2 → 4

Calls

2 calls:

85.0ms	(* (pow x 2) (+ (pow (cbrt 3.0) 3) (- (* x 2.0))))
0.0ms	(pow (cbrt 3.0) 3)

simplify79.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	326	400
1	1662	335
2	5002	322

prune150.0ms

Filtered

70 candidates to 43 candidates (61.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	70	4	74

Merged error: 0b

Counts

74 → 4

regimes24.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

end0.0ms

sample411.0ms

Algorithm

intervals

Results

281.0ms

12004×

body

valid

Details

sample17.0ms

simplify214.0ms

prune2.0ms

localize6.0ms

rewrite9.0ms

series78.0ms

simplify40.0ms

prune58.0ms

localize6.0ms

rewrite17.0ms

series152.0ms

simplify51.0ms

prune87.0ms

localize8.0ms

rewrite13.0ms

series136.0ms

simplify51.0ms

prune85.0ms

localize17.0ms

rewrite25.0ms

series85.0ms

simplify79.0ms

prune150.0ms

regimes24.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample411.0ms

Profiling