Details

sample56.0ms

Algorithm

intervals

Results

20.0ms	79×	body	1280	valid
6.0ms	46×	body	640	valid
5.0ms	20×	body	2560	valid
3.0ms	30×	body	320	valid
3.0ms	71×	body	80	valid
1.0ms	10×	body	160	valid

simplify27.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

prune11.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

localize8.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)))

rewrite13.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)
8.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series73.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(+ (* x y) z)
46.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

prune91.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

localize13.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))

rewrite47.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:

7.0ms	(* (* x y) (* x y))
6.0ms	(- (* (* x y) (* x y)) (* z z))
15.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))

series251.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(* (* x y) (* x y))
69.0ms	(- (* (* x y) (* x y)) (* z z))
78.0ms	(- (fma x y z) (+ 1.0 (/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))))
62.0ms	(/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))

simplify64.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (53.0ms)

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

prune556.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

localize14.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))

rewrite51.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:

17.0ms	(+ (- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z)))) (/ (* z z) (- (* x y) z)))
10.0ms	(- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z))))
7.0ms	(/ (* z z) (- (* x y) z))
13.0ms	(/ (* (* x y) (* x y)) (- (* x y) z))

series252.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(+ (- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z)))) (/ (* z z) (- (* x y) z)))
63.0ms	(- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z))))
65.0ms	(/ (* z z) (- (* x y) z))
48.0ms	(/ (* (* x y) (* x y)) (- (* x y) z))

simplify66.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

prune447.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

localize14.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))

rewrite36.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:

15.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)))))
7.0ms	(/ (* x y) (- (* x y) z))
7.0ms	(/ (* z z) (- (* x y) z))

series257.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(+ (- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z))))) (/ (* z z) (- (* x y) z)))
63.0ms	(- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z)))))
50.0ms	(/ (* x y) (- (* x y) z))
66.0ms	(/ (* z z) (- (* x y) z))

simplify50.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

prune551.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

regimes529.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

393.0ms	2639×	body	1280	valid
183.0ms	1591×	body	640	valid
104.0ms	582×	body	2560	valid
70.0ms	2118×	body	80	valid
64.0ms	707×	body	320	valid
27.0ms	363×	body	160	valid

Details

sample56.0ms

simplify27.0ms

prune11.0ms

localize8.0ms

rewrite13.0ms

series73.0ms

simplify59.0ms

prune91.0ms

localize13.0ms

rewrite47.0ms

series251.0ms

simplify64.0ms

prune556.0ms

localize14.0ms

rewrite51.0ms

series252.0ms

simplify66.0ms

prune447.0ms

localize14.0ms

rewrite36.0ms

series257.0ms

simplify50.0ms

prune551.0ms

regimes529.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling