Details

analyze723.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	9
10.9%	88.9%	0.2%	10
25.9%	73.9%	0.2%	11
47.1%	52.7%	0.2%	12
55.3%	44.5%	0.2%	13
59.2%	40.6%	0.2%	14

sample22.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4937	13
1	4937	13

prune11.0ms

Filtered

1 candidates to 1 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: 0.0b

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ -1 (- (/ z y) (/ t (* 2.0 z)))))
0.0b	(- (/ z y) (/ t (* 2.0 z)))
0.8b	(/ -1 (- (/ z y) (/ t (* 2.0 z))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 69

Calls

3 calls:

16.0ms	(+ x (/ -1 (- (/ z y) (/ t (* 2.0 z)))))
9.0ms	(- (/ z y) (/ t (* 2.0 z)))
14.0ms	(/ -1 (- (/ z y) (/ t (* 2.0 z))))

series25.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+ x (/ -1 (- (/ z y) (/ t (* 2.0 z)))))
6.0ms	(- (/ z y) (/ t (* 2.0 z)))
8.0ms	(/ -1 (- (/ z y) (/ t (* 2.0 z))))

simplify54.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5516	1239

prune189.0ms

Filtered

62 candidates to 78 candidates (-25.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	72	6	78
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	72	8	80

Merged error: 0.0b

Counts

80 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.8b	(/ -1 (- (/ z y) (/ t (* z 2.0))))
14.9b	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
14.9b	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
14.9b	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

110×	`add-sqr-sqrt`
85×	`times-frac`
75×	`cbrt-prod`
71×	`*-un-lft-identity`
45×	`add-cube-cbrt`
26×	`difference-of-squares`
13×	`distribute-lft-out--`
12×	`associate-/r/`
6×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
4×	`pow1` `flip3--` `frac-sub` `flip--` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/l*`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`

Counts

4 → 144

Calls

4 calls:

11.0ms	(/ -1 (- (/ z y) (/ t (* z 2.0))))
10.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
12.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
11.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))

series106.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ -1 (- (/ z y) (/ t (* z 2.0))))
32.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
35.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
31.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))

simplify72.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4963	3185
1	4963	3185

prune445.0ms

Filtered

127 candidates to 156 candidates (-22.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	156	8	164

Merged error: 0b

Counts

164 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.8b	(/ -1 (- (/ z y) (/ t (* z 2.0))))
14.9b	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
14.9b	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
15.7b	(cbrt (- (/ z y) (/ t (* z 2.0))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

91×	`add-sqr-sqrt`
65×	`times-frac`
58×	`*-un-lft-identity`
56×	`cbrt-prod`
36×	`add-cube-cbrt`
22×	`difference-of-squares`
11×	`distribute-lft-out--`
9×	`associate-/r/`
6×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
5×	`cbrt-div`
4×	`pow1` `flip3--` `frac-sub` `flip--` `add-log-exp`
3×	`pow1/3` `div-inv` `associate-/l*`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`

Counts

4 → 127

Calls

4 calls:

11.0ms	(/ -1 (- (/ z y) (/ t (* z 2.0))))
11.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
13.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
9.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))

series94.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ -1 (- (/ z y) (/ t (* z 2.0))))
31.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
34.0ms	(cbrt (/ -1 (- (/ z y) (/ t (* z 2.0)))))
22.0ms	(cbrt (- (/ z y) (/ t (* z 2.0))))

simplify58.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5438	2691

prune393.0ms

Filtered

113 candidates to 139 candidates (-23.0%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	139	8	147

Merged error: 0b

Counts

147 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* (/ -1 (- (* z (* z 2.0)) (* y t))) (* y (* 2.0 z))))
0.5b	(/ -1 (- (* z (* z 2.0)) (* y t)))
0.5b	(- (* z (* z 2.0)) (* y t))
19.6b	(* (/ -1 (- (* z (* z 2.0)) (* y t))) (* y (* 2.0 z)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log` `add-cbrt-cube`
19×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
15×	`associate-l`
13×	`pow1`
12×	`prod-exp` `cbrt-unprod`
8×	`add-log-exp`
6×	`pow-prod-down`
4×	`cbrt-undiv` `div-exp` `associate-/r/`
3×	`flip3--` `associate-/r` `flip--` `associate-/l`
2×	`div-inv`
1×	`+-commutative` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `associate-r` `associate-l/` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

4 → 91

Calls

4 calls:

4.0ms	(+ x (* (/ -1 (- (* z (* z 2.0)) (* y t))) (* y (* 2.0 z))))
6.0ms	(/ -1 (- (* z (* z 2.0)) (* y t)))
7.0ms	(- (* z (* z 2.0)) (* y t))
12.0ms	(* (/ -1 (- (* z (* z 2.0)) (* y t))) (* y (* 2.0 z)))

series48.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(+ x (* (/ -1 (- (* z (* z 2.0)) (* y t))) (* y (* 2.0 z))))
8.0ms	(/ -1 (- (* z (* z 2.0)) (* y t)))
8.0ms	(- (* z (* z 2.0)) (* y t))
12.0ms	(* (/ -1 (- (* z (* z 2.0)) (* y t))) (* y (* 2.0 z)))

simplify53.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5002	1644

prune119.0ms

Filtered

73 candidates to 103 candidates (-41.1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	103	8	111

Merged error: 0b

Counts

111 → 8

regimes442.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	13
1	30	13

end0.0ms

sample581.0ms

Algorithm

intervals

Results

382.0ms

8000×

body

valid

Details

analyze723.0ms

sample22.0ms

simplify41.0ms

prune11.0ms

localize9.0ms

rewrite41.0ms

series25.0ms

simplify54.0ms

prune189.0ms

localize13.0ms

rewrite50.0ms

series106.0ms

simplify72.0ms

prune445.0ms

localize16.0ms

rewrite48.0ms

series94.0ms

simplify58.0ms

prune393.0ms

localize12.0ms

rewrite32.0ms

series48.0ms

simplify53.0ms

prune119.0ms

regimes442.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample581.0ms

Profiling