Details

sample40.0ms

Algorithm

intervals

Results

11.0ms	79×	body	1280	valid
5.0ms	46×	body	640	valid
4.0ms	20×	body	2560	valid
3.0ms	30×	body	320	valid
2.0ms	71×	body	80	valid
1.0ms	10×	body	160	valid

simplify26.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	5
1	43	5
2	91	5
3	194	5
4	321	5
5	579	5
6	1088	5
7	1305	5
8	1305	5

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 43.7b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) z)
7.9b	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
7×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `sum-log`
3×	`diff-log`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `flip--` `flip-+` `distribute-lft-out` `associate--r+` `difference-of-squares`

Counts

2 → 29

Calls

2 calls:

4.0ms	(+ (* x y) z)
7.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series15.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(+ (* x y) z)
10.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify59.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	178	220
1	602	204
2	2697	203
3	5001	203

prune93.0ms

Filtered

35 candidates to 24 candidates (31.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	29	6	35
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	7	36

Merged error: 43.2b

Counts

36 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x y) (* x y))
3.0b	(- (* (* x y) (* x y)) (* z z))
9.1b	(- (fma x y z) (+ 1.0 (/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))))
28.8b	(/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

43×	`pow1`
18×	`add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
17×	`pow-prod-down`
15×	`add-sqr-sqrt`
13×	`add-cube-cbrt`
12×	`times-frac`
11×	`add-log-exp`
8×	`prod-exp` `cbrt-unprod`
6×	`difference-of-squares`
4×	`flip3--` `pow-sqr` `pow-prod-up` `flip--` `associate-/l*`
3×	`diff-log` `associate-/r*`
2×	`sub-neg` `pow-plus` `div-sub` `associate-/r/` `associate-/l/` `distribute-lft-out--`
1×	`cbrt-undiv` `pow2` `associate-+r-` `frac-2neg` `swap-sqr` `div-exp` `associate-r` `associate-l` `clear-num` `sum-log` `*-commutative` `div-inv` `distribute-lft-out` `associate--r+` `associate--r-`

Counts

4 → 101

Calls

4 calls:

6.0ms	(* (* x y) (* x y))
6.0ms	(- (* (* x y) (* x y)) (* z z))
14.0ms	(- (fma x y z) (+ 1.0 (/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))))
14.0ms	(/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))

series61.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (* x y) (* x y))
14.0ms	(- (* (* x y) (* x y)) (* z z))
23.0ms	(- (fma x y z) (+ 1.0 (/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))))
15.0ms	(/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))

simplify60.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	427	979
1	2002	820
2	5001	784

prune553.0ms

Filtered

113 candidates to 67 candidates (40.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	101	12	113
Fresh	2	3	5
Picked	1	0	1
Done	1	0	1
Total	105	15	120

Merged error: 42.9b

Counts

120 → 15

localize13.0ms

Local error

Found 4 expressions with local error:

1.5b	(+ (- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z)))) (/ (* z z) (- (* x y) z)))
9.6b	(- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z))))
17.0b	(/ (* z z) (- (* x y) z))
18.8b	(/ (* (* x y) (* x y)) (- (* x y) z))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log` `add-cbrt-cube`
22×	`*-un-lft-identity`
18×	`add-log-exp`
10×	`add-sqr-sqrt`
9×	`prod-exp` `cbrt-unprod`
8×	`add-cube-cbrt`
7×	`cbrt-undiv` `div-exp`
6×	`times-frac` `associate-/r*`
5×	`sum-log` `distribute-lft-out`
4×	`pow1` `flip3--` `diff-log` `associate-/r/` `flip--` `distribute-lft-out--`
2×	`sub-neg` `associate-+l+` `frac-2neg` `frac-add` `clear-num` `div-inv` `associate-/l*`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `associate--r+` `difference-of-squares`

Counts

4 → 90

Calls

4 calls:

16.0ms	(+ (- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z)))) (/ (* z z) (- (* x y) z)))
9.0ms	(- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z))))
6.0ms	(/ (* z z) (- (* x y) z))
11.0ms	(/ (* (* x y) (* x y)) (- (* x y) z))

series65.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+ (- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z)))) (/ (* z z) (- (* x y) z)))
17.0ms	(- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z))))
14.0ms	(/ (* z z) (- (* x y) z))
11.0ms	(/ (* (* x y) (* x y)) (- (* x y) z))

simplify64.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	517	1148
1	2734	1043
2	5001	1043

prune444.0ms

Filtered

102 candidates to 67 candidates (34.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	95	7	102
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	98	19	117

Merged error: 42.9b

Counts

117 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

1.5b	(+ (- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z))))) (/ (* z z) (- (* x y) z)))
8.9b	(- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z)))))
9.1b	(/ (* x y) (- (* x y) z))
17.0b	(/ (* z z) (- (* x y) z))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-log-exp`
15×	`*-un-lft-identity`
14×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
8×	`add-cube-cbrt`
6×	`times-frac` `associate-/r*`
5×	`sum-log`
4×	`pow1` `cbrt-undiv` `flip3--` `diff-log` `div-exp` `associate-/r/` `flip--`
2×	`sub-neg` `associate-+l+` `frac-2neg` `frac-add` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `distribute-lft-out` `associate-/l*` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `associate--r+` `difference-of-squares`

Counts

4 → 82

Calls

4 calls:

12.0ms	(+ (- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z))))) (/ (* z z) (- (* x y) z)))
5.0ms	(- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z)))))
6.0ms	(/ (* x y) (- (* x y) z))
7.0ms	(/ (* z z) (- (* x y) z))

series63.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+ (- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z))))) (/ (* z z) (- (* x y) z)))
17.0ms	(- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z)))))
9.0ms	(/ (* x y) (- (* x y) z))
14.0ms	(/ (* z z) (- (* x y) z))

simplify49.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	435	1002
1	1965	933
2	5002	933

prune389.0ms

Filtered

94 candidates to 67 candidates (28.7%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	85	9	94
Fresh	1	17	18
Picked	1	0	1
Done	0	0	0
Total	87	26	113

Merged error: 42.9b

Counts

113 → 26

regimes520.0ms

Accuracy

0% (0.8b remaining)

Error of 44.9b against oracle of 44.1b and baseline of 44.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	14
1	19	14

end0.0ms

sample1.1s

Algorithm

intervals

Results

383.0ms	2639×	body	1280	valid
182.0ms	1591×	body	640	valid
105.0ms	582×	body	2560	valid
68.0ms	2118×	body	80	valid
61.0ms	707×	body	320	valid
22.0ms	363×	body	160	valid

Details

sample40.0ms

simplify26.0ms

prune4.0ms

localize11.0ms

rewrite12.0ms

series15.0ms

simplify59.0ms

prune93.0ms

localize12.0ms

rewrite43.0ms

series61.0ms

simplify60.0ms

prune553.0ms

localize13.0ms

rewrite45.0ms

series65.0ms

simplify64.0ms

prune444.0ms

localize13.0ms

rewrite31.0ms

series63.0ms

simplify49.0ms

prune389.0ms

regimes520.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling