Details

sample20.0ms

Algorithm

intervals

Results

10.0ms

317×

body

valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	6
1	29	6
2	38	6
3	45	6
4	51	6
5	54	6
6	54	6

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ x 4.0) y)
0.0b	(- (/ (+ x 4.0) y) (* (/ x y) z))
3.2b	(* (/ x y) z)

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

124×	`associate-*l/`
117×	`*-un-lft-identity`
108×	`frac-sub`
96×	`add-sqr-sqrt`
79×	`associate-/l*`
77×	`associate-/r*`
70×	`add-cube-cbrt`
39×	`times-frac`
25×	`frac-2neg`
23×	`clear-num`
20×	`associate-l` `associate-/l/`
16×	`distribute-lft-out`
10×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
8×	`distribute-lft-out--`
7×	`sub-div`
6×	`difference-of-squares` `unswap-sqr`
5×	`pow1` `add-log-exp`
3×	`associate-r`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `flip--`

Counts

3 → 214

Calls

3 calls:

6.0ms	(/ (+ x 4.0) y)
32.0ms	(- (/ (+ x 4.0) y) (* (/ x y) z))
10.0ms	(* (/ x y) z)

series100.0ms

Counts

3 → 9

Calls

3 calls:

30.0ms	(/ (+ x 4.0) y)
45.0ms	(- (/ (+ x 4.0) y) (* (/ x y) z))
26.0ms	(* (/ x y) z)

simplify56.0ms

Algorithm

egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1398	2139
1	5002	2073

prune354.0ms

Filtered

223 candidates to 142 candidates (63.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	218	5	223
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	219	5	224

Merged error: 0b

Counts

224 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 4.0 (/ 1 y)) (/ x y))
0.0b	(- (+ (* 4.0 (/ 1 y)) (/ x y)) (* (/ x y) z))
3.2b	(* (/ x y) z)

rewrite272.0ms

Algorithm

rewrite-expression-head

Rules

1080×	`frac-add`
1053×	`associate-/l*`
999×	`associate-*l/`
990×	`frac-sub`
963×	`associate-/r*`
810×	`associate-*r/`
766×	`*-un-lft-identity`
667×	`add-sqr-sqrt`
653×	`add-cube-cbrt`
411×	`clear-num`
321×	`frac-2neg`
270×	`un-div-inv`
19×	`associate-l`
12×	`times-frac`
10×	`flip3-+` `flip-+` `add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r` `div-inv` `distribute-lft-out` `distribute-lft-out--`
5×	`pow1`
4×	`distribute-rgt-out` `unswap-sqr`
3×	`difference-of-squares`
2×	`+-commutative` `diff-log` `prod-exp` `associate--l+` `sum-log` `cbrt-unprod`
1×	`cbrt-undiv` `sub-neg` `flip3--` `div-exp` `pow-prod-down` `*-commutative` `flip--`

Counts

3 → 1179

Calls

3 calls:

27.0ms	(+ (* 4.0 (/ 1 y)) (/ x y))
96.0ms	(- (+ (* 4.0 (/ 1 y)) (/ x y)) (* (/ x y) z))
8.0ms	(* (/ x y) z)

series98.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(+ (* 4.0 (/ 1 y)) (/ x y))
50.0ms	(- (+ (* 4.0 (/ 1 y)) (/ x y)) (* (/ x y) z))
21.0ms	(* (/ x y) z)

simplify241.0ms

Algorithm

egg-herbie

Counts

1188 → 1188

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5001	22017

prune1.3s

Filtered

1188 candidates to 409 candidates (34.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	1186	2	1188
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	1189	4	1193

Merged error: 0b

Counts

1193 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 4.0 (/ 1 y)) (/ x y))
0.0b	(- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ z (/ y x)))
3.4b	(/ z (/ y x))

rewrite485.0ms

Algorithm

rewrite-expression-head

Rules

2706×	`associate-/r*`
2160×	`frac-add`
2090×	`frac-sub`
1969×	`*-un-lft-identity`
1776×	`add-sqr-sqrt` `associate-/l*`
1767×	`add-cube-cbrt`
1620×	`associate-*r/`
1074×	`times-frac`
712×	`clear-num`
540×	`un-div-inv`
532×	`frac-2neg`
129×	`div-inv`
20×	`flip3-+` `flip-+`
10×	`add-log-exp`
9×	`associate-/r/`
8×	`add-exp-log` `distribute-rgt-out` `add-cbrt-cube`
7×	`distribute-lft-out--`
6×	`associate-r`
4×	`distribute-lft-out`
3×	`pow1` `cbrt-undiv` `div-exp` `difference-of-squares`
2×	`+-commutative` `diff-log` `associate-l` `associate--l+` `sum-log`
1×	`sub-neg` `flip3--` `flip--`

Counts

3 → 2318

Calls

3 calls:

26.0ms	(+ (* 4.0 (/ 1 y)) (/ x y))
149.0ms	(- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ z (/ y x)))
7.0ms	(/ z (/ y x))

series95.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(+ (* 4.0 (/ 1 y)) (/ x y))
49.0ms	(- (+ (* 4.0 (/ 1 y)) (/ x y)) (/ z (/ y x)))
19.0ms	(/ z (/ y x))

simplify563.0ms

Algorithm

egg-herbie

Counts

2327 → 2327

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5001	54669

prune5.2s

Filtered

2327 candidates to 1429 candidates (61.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	2327	0	2327
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	2327	4	2331

Merged error: 0b

Counts

2331 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.5b	(cbrt y)
1.6b	(/ (* (/ x (* (cbrt y) (cbrt y))) z) (cbrt y))
2.3b	(* (/ x (* (cbrt y) (cbrt y))) z)

rewrite176.0ms

Algorithm

rewrite-expression-head

Rules

1338×	`times-frac`
1161×	`add-sqr-sqrt`
836×	`associate-l`
782×	`cbrt-prod`
689×	`add-cube-cbrt` `*-un-lft-identity`
216×	`unswap-sqr`
180×	`associate-r`
172×	`swap-sqr`
109×	`associate-/l*`
66×	`associate-*l/`
64×	`add-cbrt-cube`
60×	`associate-/r*`
42×	`*-commutative`
33×	`associate-/l/`
30×	`cbrt-unprod`
29×	`cbrt-undiv`
27×	`add-exp-log`
9×	`div-inv`
8×	`div-exp` `prod-exp`
6×	`pow1`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
2×	`pow1/3`
1×	`pow-prod-down`

Counts

4 → 959

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
54.0ms	(/ (* (/ x (* (cbrt y) (cbrt y))) z) (cbrt y))
26.0ms	(* (/ x (* (cbrt y) (cbrt y))) z)

series577.0ms

Counts

4 → 12

Calls

4 calls:

178.0ms	(cbrt y)
175.0ms	(cbrt y)
57.0ms	(/ (* (/ x (* (cbrt y) (cbrt y))) z) (cbrt y))
167.0ms	(* (/ x (* (cbrt y) (cbrt y))) z)

simplify162.0ms

Algorithm

egg-herbie

Counts

971 → 971

Iterations

Useful iterations: 1 (49.0ms)

Iter	Nodes	Cost
0	2741	12992
1	5001	12801

prune2.8s

Filtered

971 candidates to 686 candidates (70.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	971	0	971
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	971	4	975

Merged error: 0b

Counts

975 → 4

regimes61.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	8
1	17	8

end0.0ms

sample517.0ms

Algorithm

intervals

Results

307.0ms

10140×

body

valid