Details

analyze54.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	74.9%	25.1%	4
12.5%	62.4%	25.1%	5
31.2%	31.2%	37.6%	6
37.5%	25%	37.6%	7
40.6%	15.6%	43.8%	8
42.9%	11.7%	45.4%	9
44.1%	7.4%	48.5%	10
45.1%	5.7%	49.3%	11
45.6%	3.6%	50.8%	12
46%	2.8%	51.2%	13
46.2%	1.8%	52%	14

sample20.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
0.0ms	6×	body	80	nan
0.0ms	3×	body	80	invalid

simplify158.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (157.0ms)

Iter	Nodes	Cost
0	4819	14
1	4819	14

prune10.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.3b

Counts

2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 1.0 (* x 9.0)) 1.0)
0.2b	(* (sqrt x) (+ y (- (/ 1.0 (* x 9.0)) 1.0)))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(* 3.0 (* (sqrt x) (+ y (- (/ 1.0 (* x 9.0)) 1.0))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
16×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
11×	`pow1`
10×	`add-cube-cbrt`
9×	`associate-l`
6×	`associate-r/` `associate-r*` `add-log-exp`
5×	`distribute-rgt-in` `distribute-lft-in` `prod-exp` `cbrt-unprod`
4×	`pow-prod-down` `sqrt-prod`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `*-commutative` `flip-+` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `diff-log` `clear-num` `associate-/r*` `flip--` `div-inv` `difference-of-squares`

Counts

4 → 86

Calls

4 calls:

9.0ms	(- (/ 1.0 (* x 9.0)) 1.0)
12.0ms	(* (sqrt x) (+ y (- (/ 1.0 (* x 9.0)) 1.0)))
4.0ms	(/ 1.0 (* x 9.0))
12.0ms	(* 3.0 (* (sqrt x) (+ y (- (/ 1.0 (* x 9.0)) 1.0))))

series27.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(- (/ 1.0 (* x 9.0)) 1.0)
10.0ms	(* (sqrt x) (+ y (- (/ 1.0 (* x 9.0)) 1.0)))
2.0ms	(/ 1.0 (* x 9.0))
12.0ms	(* 3.0 (* (sqrt x) (+ y (- (/ 1.0 (* x 9.0)) 1.0))))

simplify27.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5831	1190

prune140.0ms

Filtered

66 candidates to 98 candidates (-48.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	91	7	98
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	91	9	100

Merged error: 0.1b

Counts

100 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (/ 1.0 x) 9.0) 1.0)
0.2b	(* (sqrt x) (+ y (- (/ (/ 1.0 x) 9.0) 1.0)))
0.3b	(/ (/ 1.0 x) 9.0)
0.3b	(* 3.0 (* (sqrt x) (+ y (- (/ (/ 1.0 x) 9.0) 1.0))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
63×	`add-sqr-sqrt`
57×	`*-un-lft-identity`
50×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
11×	`pow1`
9×	`associate-l`
6×	`associate-r/` `associate-r*` `add-log-exp`
5×	`distribute-rgt-in` `distribute-lft-in` `div-inv`
4×	`pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
3×	`cbrt-undiv` `div-exp` `associate-/r*` `difference-of-squares`
2×	`flip3-+` `*-commutative` `flip-+` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `diff-log` `clear-num` `flip--` `associate-/l/`

Counts

4 → 137

Calls

4 calls:

16.0ms	(- (/ (/ 1.0 x) 9.0) 1.0)
22.0ms	(* (sqrt x) (+ y (- (/ (/ 1.0 x) 9.0) 1.0)))
6.0ms	(/ (/ 1.0 x) 9.0)
20.0ms	(* 3.0 (* (sqrt x) (+ y (- (/ (/ 1.0 x) 9.0) 1.0))))

series27.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(- (/ (/ 1.0 x) 9.0) 1.0)
10.0ms	(* (sqrt x) (+ y (- (/ (/ 1.0 x) 9.0) 1.0)))
2.0ms	(/ (/ 1.0 x) 9.0)
12.0ms	(* 3.0 (* (sqrt x) (+ y (- (/ (/ 1.0 x) 9.0) 1.0))))

simplify33.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5848	1861

prune205.0ms

Filtered

110 candidates to 149 candidates (-35.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	149	9	158

Merged error: 0.1b

Counts

158 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (/ 1.0 x) 9.0) 1.0)
0.2b	(* (* 3.0 (sqrt x)) (+ y (- (/ (/ 1.0 x) 9.0) 1.0)))
0.3b	(/ (/ 1.0 x) 9.0)
0.3b	(* 3.0 (sqrt x))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
63×	`add-sqr-sqrt`
57×	`*-un-lft-identity`
50×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
11×	`pow1` `associate-r`
6×	`add-log-exp`
5×	`div-inv`
4×	`associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
3×	`cbrt-undiv` `div-exp` `associate-/r*` `difference-of-squares`
2×	`associate-r/` `-commutative` `distribute-lft-out` `distribute-lft-out--` `unswap-sqr`
1×	`distribute-rgt-in` `sub-neg` `flip3--` `frac-2neg` `distribute-lft-in` `flip3-+` `diff-log` `clear-num` `flip--` `flip-+` `associate-/l/`

Counts

4 → 131

Calls

4 calls:

15.0ms	(- (/ (/ 1.0 x) 9.0) 1.0)
19.0ms	(* (* 3.0 (sqrt x)) (+ y (- (/ (/ 1.0 x) 9.0) 1.0)))
8.0ms	(/ (/ 1.0 x) 9.0)
4.0ms	(* 3.0 (sqrt x))

series20.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(- (/ (/ 1.0 x) 9.0) 1.0)
12.0ms	(* (* 3.0 (sqrt x)) (+ y (- (/ (/ 1.0 x) 9.0) 1.0)))
2.0ms	(/ (/ 1.0 x) 9.0)
4.0ms	(* 3.0 (sqrt x))

simplify33.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5248	1575

prune214.0ms

Filtered

106 candidates to 143 candidates (-34.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	139	4	143
Fresh	1	5	6
Picked	0	1	1
Done	1	1	2
Total	141	11	152

Merged error: 0.0b

Counts

152 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1.0 (* x 9.0))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(* 3.0 (sqrt x))
0.6b	(* (sqrt (/ 1.0 (* x 9.0))) (sqrt (/ 1.0 (* x 9.0))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
38×	`sqrt-prod`
23×	`add-cube-cbrt` `*-un-lft-identity`
21×	`pow1`
18×	`add-exp-log` `times-frac` `add-cbrt-cube`
16×	`associate-r`
13×	`associate-l`
12×	`swap-sqr`
8×	`sqrt-pow1` `pow1/2`
6×	`div-inv` `associate-/l*` `unswap-sqr`
5×	`pow-prod-up`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow-sqr`
2×	`frac-2neg` `clear-num` `associate-/r` `-commutative`
1×	`pow2` `frac-times` `pow-plus` `sqrt-unprod` `associate-r/` `associate-l/` `rem-square-sqrt`

Counts

4 → 128

Calls

4 calls:

4.0ms	(/ 1.0 (* x 9.0))
4.0ms	(/ 1.0 (* x 9.0))
4.0ms	(* 3.0 (sqrt x))
12.0ms	(* (sqrt (/ 1.0 (* x 9.0))) (sqrt (/ 1.0 (* x 9.0))))

series13.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1.0 (* x 9.0))
2.0ms	(/ 1.0 (* x 9.0))
4.0ms	(* 3.0 (sqrt x))
6.0ms	(* (sqrt (/ 1.0 (* x 9.0))) (sqrt (/ 1.0 (* x 9.0))))

simplify42.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5858	985

prune172.0ms

Filtered

87 candidates to 140 candidates (-60.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	140	11	151

Merged error: 0.0b

Counts

151 → 11

regimes133.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	14
1	25	14

end0.0ms

sample494.0ms

Algorithm

intervals

Results

350.0ms	8000×	body	80	valid
5.0ms	118×	body	80	nan
3.0ms	74×	body	80	invalid

Details

analyze54.0ms

sample20.0ms

simplify158.0ms

prune10.0ms

localize9.0ms

rewrite39.0ms

series27.0ms

simplify27.0ms

prune140.0ms

localize9.0ms

rewrite69.0ms

series27.0ms

simplify33.0ms

prune205.0ms

localize9.0ms

rewrite51.0ms

series20.0ms

simplify33.0ms

prune214.0ms

localize12.0ms

rewrite28.0ms

series13.0ms

simplify42.0ms

prune172.0ms

regimes133.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample494.0ms

Profiling