Details

sample38.0ms

Algorithm

intervals

Results

15.0ms	79×	body	1280	valid
6.0ms	55×	body	640	valid
4.0ms	22×	body	2560	valid
2.0ms	69×	body	80	valid
2.0ms	21×	body	320	valid
1.0ms	10×	body	160	valid

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

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

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

series60.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(+ (* x y) z)
37.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

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

prune72.0ms

Filtered

35 candidates to 24 candidates (68.6%)

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

Counts

36 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x y) (* x y))
3.5b	(- (* (* x y) (* x y)) (* z z))
10.3b	(- (fma x y z) (+ 1.0 (/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))))
31.4b	(/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))

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

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

series212.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (* x y) (* x y))
58.0ms	(- (* (* x y) (* x y)) (* z z))
73.0ms	(- (fma x y z) (+ 1.0 (/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))))
50.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

prune257.0ms

Filtered

113 candidates to 67 candidates (59.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	97	16	113
Fresh	2	3	5
Picked	1	0	1
Done	1	0	1
Total	101	19	120

Merged error: 43.9b

Counts

120 → 19

localize15.0ms

Local error

Found 4 expressions with local error:

8.4b	(cbrt (- (* x y) z))
8.4b	(cbrt (- (* x y) z))
8.4b	(cbrt (- (* x y) z))
33.2b	(- (fma x y z) (+ 1.0 (* (/ (+ (* x y) z) (* (cbrt (- (* x y) z)) (cbrt (- (* x y) z)))) (/ (- (* x y) z) (cbrt (- (* x y) z))))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 55

Calls

4 calls:

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

series398.0ms

Counts

4 → 12

Calls

4 calls:

123.0ms	(cbrt (- (* x y) z))
121.0ms	(cbrt (- (* x y) z))
116.0ms	(cbrt (- (* x y) z))
38.0ms	(- (fma x y z) (+ 1.0 (* (/ (+ (* x y) z) (* (cbrt (- (* x y) z)) (cbrt (- (* x y) z)))) (/ (- (* x y) z) (cbrt (- (* x y) z))))))

simplify67.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (58.0ms)

Iter	Nodes	Cost
0	260	845
1	717	783
2	2524	765
3	5001	759

prune300.0ms

Filtered

67 candidates to 58 candidates (86.6%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	57	10	67
Fresh	2	16	18
Picked	0	1	1
Done	0	0	0
Total	59	27	86

Merged error: 43.9b

Counts

86 → 27

localize24.0ms

Local error

Found 4 expressions with local error:

8.4b	(cbrt (- (* x y) z))
8.4b	(cbrt (- (* x y) z))
8.4b	(cbrt (- (* x y) z))
34.4b	(- (fma x y z) (+ 1.0 (* (/ (+ (* x y) z) (* (cbrt (- (* x y) z)) (cbrt (- (* x y) z)))) (/ (- (* x y) z) (* (* (cbrt (cbrt (- (* x y) z))) (cbrt (cbrt (- (* x y) z)))) (cbrt (cbrt (- (* x y) z))))))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 55

Calls

4 calls:

4.0ms	(cbrt (- (* x y) z))
4.0ms	(cbrt (- (* x y) z))
4.0ms	(cbrt (- (* x y) z))
5.0ms	(- (fma x y z) (+ 1.0 (* (/ (+ (* x y) z) (* (cbrt (- (* x y) z)) (cbrt (- (* x y) z)))) (/ (- (* x y) z) (* (* (cbrt (cbrt (- (* x y) z))) (cbrt (cbrt (- (* x y) z)))) (cbrt (cbrt (- (* x y) z))))))))

series397.0ms

Counts

4 → 12

Calls

4 calls:

117.0ms	(cbrt (- (* x y) z))
123.0ms	(cbrt (- (* x y) z))
117.0ms	(cbrt (- (* x y) z))
39.0ms	(- (fma x y z) (+ 1.0 (* (/ (+ (* x y) z) (* (cbrt (- (* x y) z)) (cbrt (- (* x y) z)))) (/ (- (* x y) z) (* (* (cbrt (cbrt (- (* x y) z))) (cbrt (cbrt (- (* x y) z)))) (cbrt (cbrt (- (* x y) z))))))))

simplify78.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (67.0ms)

Iter	Nodes	Cost
0	264	1098
1	756	980
2	2933	911
3	5002	899

prune266.0ms

Filtered

67 candidates to 59 candidates (88.1%)

Pruning

31 alts after pruning (29 fresh and 2 done)

	Pruned	Kept	Total
New	60	7	67
Fresh	3	22	25
Picked	0	1	1
Done	0	1	1
Total	63	31	94

Merged error: 43.9b

Counts

94 → 31

regimes395.0ms

Accuracy

0% (1.4b remaining)

Error of 45.6b against oracle of 44.2b and baseline of 45.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	31
1	23	31

end0.0ms

sample998.0ms

Algorithm

intervals

Results

380.0ms	2618×	body	1280	valid
188.0ms	1633×	body	640	valid
107.0ms	609×	body	2560	valid
73.0ms	2123×	body	80	valid
62.0ms	700×	body	320	valid
19.0ms	317×	body	160	valid

Details

sample38.0ms

simplify29.0ms

prune2.0ms

localize8.0ms

rewrite12.0ms

series60.0ms

simplify58.0ms

prune72.0ms

localize12.0ms

rewrite45.0ms

series212.0ms

simplify60.0ms

prune257.0ms

localize15.0ms

rewrite21.0ms

series398.0ms

simplify67.0ms

prune300.0ms

localize24.0ms

rewrite18.0ms

series397.0ms

simplify78.0ms

prune266.0ms

regimes395.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample998.0ms

Profiling