Details

sample24.0ms

Algorithm

intervals

Results

7.0ms	237×	body	80	valid
1.0ms	7×	body	640	valid
1.0ms	4×	body	1280	valid
0.0ms	5×	body	320	valid
0.0ms	2×	body	2560	valid
0.0ms	1×	body	160	valid

simplify304.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	20	5
1	64	4
2	203	4
3	327	4
4	339	4
5	345	4
6	413	4
7	516	4
8	561	4
9	700	4
10	909	4
11	1271	4
12	3907	4
13	5001	4

prune9.0ms

Filtered

1 candidates to 1 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.1b

Counts

2 → 2

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ (+ x y) y) x) z)
0.0b	(+ (+ (+ (+ (+ x y) y) x) z) x)
0.0b	(+ (+ (+ x y) y) x)
0.0b	(+ (+ x y) y)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity` `add-log-exp`
34×	`sum-log` `distribute-lft-out`
4×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

4 → 72

Calls

4 calls:

12.0ms	(+ (+ (+ (+ x y) y) x) z)
16.0ms	(+ (+ (+ (+ (+ x y) y) x) z) x)
8.0ms	(+ (+ (+ x y) y) x)
6.0ms	(+ (+ x y) y)

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ (+ (+ (+ x y) y) x) z)
6.0ms	(+ (+ (+ (+ (+ x y) y) x) z) x)
5.0ms	(+ (+ (+ x y) y) x)
6.0ms	(+ (+ x y) y)

simplify34.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	294	435
1	1103	400
2	5002	386

prune78.0ms

Filtered

84 candidates to 49 candidates (41.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	80	6	86

Merged error: 0.0b

Counts

86 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 2 (+ x y)) x)
0.0b	(+ (+ (* 2 (+ x y)) x) z)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity` `sum-log`
3×	`associate-+l+`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`distribute-rgt-in` `distribute-lft-in` `distribute-lft-out`

Counts

2 → 27

Calls

2 calls:

6.0ms	(+ (* 2 (+ x y)) x)
8.0ms	(+ (+ (* 2 (+ x y)) x) z)

series13.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (* 2 (+ x y)) x)
6.0ms	(+ (+ (* 2 (+ x y)) x) z)

simplify70.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	165	183
1	588	174
2	2960	170
3	5001	170

prune52.0ms

Filtered

33 candidates to 23 candidates (30.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	3	1	4
Picked	0	1	1
Done	1	0	1
Total	34	5	39

Merged error: 0.0b

Counts

39 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (+ (+ x y) y) x)) (cbrt (+ (+ (+ x y) y) x)))
0.6b	(cbrt (+ (+ (+ x y) y) x))
0.6b	(cbrt (+ (+ (+ x y) y) x))
0.6b	(cbrt (+ (+ (+ x y) y) x))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

138×	`*-un-lft-identity`
78×	`distribute-lft-out`
70×	`cbrt-prod`
23×	`add-sqr-sqrt`
21×	`swap-sqr`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `associate-r` `associate-l` `flip-+`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 117

Calls

4 calls:

20.0ms	(* (cbrt (+ (+ (+ x y) y) x)) (cbrt (+ (+ (+ x y) y) x)))
7.0ms	(cbrt (+ (+ (+ x y) y) x))
7.0ms	(cbrt (+ (+ (+ x y) y) x))
7.0ms	(cbrt (+ (+ (+ x y) y) x))

series141.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (cbrt (+ (+ (+ x y) y) x)) (cbrt (+ (+ (+ x y) y) x)))
31.0ms	(cbrt (+ (+ (+ x y) y) x))
32.0ms	(cbrt (+ (+ (+ x y) y) x))
35.0ms	(cbrt (+ (+ (+ x y) y) x))

simplify44.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	304	1356
1	1020	1291
2	5002	1100

prune124.0ms

Filtered

129 candidates to 78 candidates (39.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	129	5	134

Merged error: 0.0b

Counts

134 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* 2 (+ x y)) x)) (cbrt (+ (* 2 (+ x y)) x)))
0.5b	(cbrt (+ (* 2 (+ x y)) x))
0.5b	(cbrt (+ (* 2 (+ x y)) x))
0.5b	(cbrt (+ (* 2 (+ x y)) x))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

15.0ms	(* (cbrt (+ (* 2 (+ x y)) x)) (cbrt (+ (* 2 (+ x y)) x)))
7.0ms	(cbrt (+ (* 2 (+ x y)) x))
5.0ms	(cbrt (+ (* 2 (+ x y)) x))
5.0ms	(cbrt (+ (* 2 (+ x y)) x))

series139.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* (cbrt (+ (* 2 (+ x y)) x)) (cbrt (+ (* 2 (+ x y)) x)))
34.0ms	(cbrt (+ (* 2 (+ x y)) x))
32.0ms	(cbrt (+ (* 2 (+ x y)) x))
32.0ms	(cbrt (+ (* 2 (+ x y)) x))

simplify43.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	310	1085
1	1083	1020
2	5001	949

prune224.0ms

Filtered

99 candidates to 75 candidates (24.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	98	6	104

Merged error: 0.0b

Counts

104 → 6

regimes174.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	4
1	19	4
2	19	4

end0.0ms

sample532.0ms

Algorithm

intervals

Results

190.0ms	7415×	body	80	valid
21.0ms	177×	body	1280	valid
18.0ms	188×	body	640	valid
11.0ms	119×	body	320	valid
7.0ms	46×	body	2560	valid
3.0ms	64×	body	160	valid

Details

sample24.0ms

simplify304.0ms

prune9.0ms

localize7.0ms

rewrite44.0ms

series23.0ms

simplify34.0ms

prune78.0ms

localize7.0ms

rewrite15.0ms

series13.0ms

simplify70.0ms

prune52.0ms

localize11.0ms

rewrite48.0ms

series141.0ms

simplify44.0ms

prune124.0ms

localize11.0ms

rewrite36.0ms

series139.0ms

simplify43.0ms

prune224.0ms

regimes174.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample532.0ms

Profiling