Details

analyze369.0ms

Algorithm: search

sample39.0ms

Algorithm

intervals

Results

14.0ms	81×	body	1280	valid
6.0ms	52×	body	640	valid
5.0ms	31×	body	2560	valid
2.0ms	62×	body	80	valid
2.0ms	22×	body	320	valid
0.0ms	8×	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

prune3.0ms

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) z)
14.1b	(- (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

prune58.0ms

Filtered

24 candidates to 35 candidates (-45.8%)

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

Counts

36 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x y) (* x y))
5.4b	(- (* (* x y) (* x y)) (* z z))
14.8b	(- (fma x y z) (+ 1.0 (/ (- (* (* x y) (* x y)) (* z z)) (- (* x y) z))))
32.7b	(/ (- (* (* 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))
16.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))

series59.0ms

Counts

4 → 12

Calls

4 calls:

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

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

prune160.0ms

Filtered

67 candidates to 113 candidates (-68.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	100	13	113
Fresh	1	4	5
Picked	1	0	1
Done	1	0	1
Total	103	17	120

Merged error: 45.6b

Counts

120 → 17

localize15.0ms

Local error

Found 4 expressions with local error:

1.4b	(+ (- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z)))) (/ (* z z) (- (* x y) z)))
14.6b	(- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z))))
20.1b	(/ (* z z) (- (* x y) z))
22.4b	(/ (* (* x y) (* x y)) (- (* x y) z))

rewrite48.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))))
6.0ms	(/ (* z z) (- (* x y) z))
11.0ms	(/ (* (* x y) (* x y)) (- (* x y) z))

series66.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)))
20.0ms	(- (fma x y z) (+ 1.0 (/ (* (* x y) (* x y)) (- (* x y) z))))
12.0ms	(/ (* z z) (- (* x y) z))
11.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

prune156.0ms

Filtered

67 candidates to 102 candidates (-52.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	98	4	102
Fresh	1	15	16
Picked	1	0	1
Done	0	0	0
Total	100	19	119

Merged error: 45.6b

Counts

119 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

1.4b	(+ (- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z))))) (/ (* z z) (- (* x y) z)))
13.8b	(/ (* x y) (- (* x y) z))
14.1b	(- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z)))))
20.1b	(/ (* z z) (- (* x y) z))

rewrite33.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)))
7.0ms	(/ (* x y) (- (* x y) z))
5.0ms	(- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z)))))
7.0ms	(/ (* z z) (- (* x y) z))

series64.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(+ (- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z))))) (/ (* z z) (- (* x y) z)))
9.0ms	(/ (* x y) (- (* x y) z))
19.0ms	(- (fma x y z) (+ 1.0 (* (* x y) (/ (* x y) (- (* x y) z)))))
12.0ms	(/ (* z z) (- (* x y) z))

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

prune93.0ms

Filtered

67 candidates to 94 candidates (-40.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	84	10	94
Fresh	4	14	18
Picked	1	0	1
Done	0	0	0
Total	89	24	113

Merged error: 45.6b

Counts

113 → 24

regimes396.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	14
1	19	14

end0.0ms

analyze365.0ms

Algorithm: search

sample1.0s

Algorithm

intervals

Results

389.0ms	2644×	body	1280	valid
187.0ms	1563×	body	640	valid
112.0ms	630×	body	2560	valid
71.0ms	2111×	body	80	valid
63.0ms	703×	body	320	valid
21.0ms	349×	body	160	valid

Details

analyze369.0ms

sample39.0ms

simplify26.0ms

prune3.0ms

localize8.0ms

rewrite12.0ms

series15.0ms

simplify59.0ms

prune58.0ms

localize12.0ms

rewrite43.0ms

series59.0ms

simplify64.0ms

prune160.0ms

localize15.0ms

rewrite48.0ms

series66.0ms

simplify66.0ms

prune156.0ms

localize13.0ms

rewrite33.0ms

series64.0ms

simplify51.0ms

prune93.0ms

regimes396.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze365.0ms

sample1.0s

Profiling