Details

sample43.0ms

Algorithm

intervals

Results

16.0ms	272×	body	80	valid
10.0ms	255×	body	80	nan

simplify40.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	799	14
1	799	14

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.2b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

11.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
4.0ms	(/ 1.0 (* x 9.0))
5.0ms	(* 3.0 (sqrt x))
5.0ms	(/ y (* 3.0 (sqrt x)))

series29.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4981	1019
1	4981	1019

prune176.0ms

Filtered

72 candidates to 97 candidates (-34.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	86	11	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	11	98

Merged error: 0b

Counts

98 → 11

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

150×	`times-frac`
101×	`add-sqr-sqrt`
90×	`*-un-lft-identity`
83×	`add-cube-cbrt`
44×	`sqrt-prod`
16×	`associate-/l*`
14×	`add-exp-log` `add-cbrt-cube`
11×	`add-log-exp`
9×	`div-inv`
7×	`associate-/r*`
6×	`difference-of-squares`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `diff-log` `distribute-lft-out--`
3×	`sub-neg` `flip3--` `flip--`
2×	`frac-2neg` `associate--l+` `clear-num` `frac-sub`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 172

Calls

4 calls:

5.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
37.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
4.0ms	(/ 1.0 (* x 9.0))
8.0ms	(/ (/ y 3.0) (sqrt x))

series25.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify68.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4998	2496
1	4998	2496

prune241.0ms

Filtered

123 candidates to 184 candidates (-49.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	182	2	184
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	186	9	195

Merged error: 0b

Counts

195 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-exp-log`
29×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
23×	`add-cbrt-cube`
17×	`add-cube-cbrt` `times-frac`
13×	`associate-l`
12×	`div-exp`
9×	`pow1` `prod-exp` `add-log-exp`
7×	`cbrt-undiv`
6×	`associate-r` `associate-/l*` `distribute-lft-out--`
5×	`sqrt-prod` `cbrt-unprod` `div-inv`
4×	`unswap-sqr`
3×	`rec-exp` `diff-log` `1-exp`
2×	`sub-neg` `flip3--` `pow-flip` `frac-2neg` `pow-prod-down` `associate-l/` `associate--l+` `clear-num` `associate-/r` `frac-sub` `flip--`
1×	`associate--l-` `associate-/r/` `*-commutative` `inv-pow` `difference-of-squares`

Counts

4 → 114

Calls

4 calls:

12.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ 1 (* (/ 3.0 y) (sqrt x))))
4.0ms	(/ 1.0 (* x 9.0))
8.0ms	(* (/ 3.0 y) (sqrt x))
7.0ms	(/ 1 (* (/ 3.0 y) (sqrt x)))

series31.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4972	1313
1	4972	1313

prune167.0ms

Filtered

85 candidates to 126 candidates (-48.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	126	9	135

Merged error: 0b

Counts

135 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

68×	`add-sqr-sqrt`
60×	`times-frac`
44×	`*-un-lft-identity`
41×	`add-cube-cbrt`
33×	`add-exp-log`
24×	`sqrt-prod`
23×	`add-cbrt-cube`
22×	`associate-r`
13×	`associate-l`
11×	`div-exp`
9×	`prod-exp` `add-log-exp` `unswap-sqr`
7×	`cbrt-undiv` `associate-/r*`
6×	`pow1` `frac-sub` `associate-/l*`
5×	`cbrt-unprod`
4×	`flip3--` `flip--` `div-inv`
3×	`frac-times` `diff-log` `associate-r/` `associate-l/`
2×	`sub-neg` `rec-exp` `frac-2neg` `1-exp` `associate--l+` `clear-num`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 150

Calls

4 calls:

9.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
4.0ms	(/ y (sqrt x))
4.0ms	(/ 1.0 (* x 9.0))
18.0ms	(* (/ 1 3.0) (/ y (sqrt x)))

series29.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
8.0ms	(/ y (sqrt x))
2.0ms	(/ 1.0 (* x 9.0))
9.0ms	(* (/ 1 3.0) (/ y (sqrt x)))

simplify78.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4977	1761
1	4977	1761

prune180.0ms

Filtered

111 candidates to 162 candidates (-45.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	162	9	171

Merged error: 0b

Counts

171 → 9

regimes125.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	60	16
1	60	16

end0.0ms

sample1.1s

Algorithm

intervals

Results

363.0ms	8562×	body	80	valid
323.0ms	8416×	body	80	nan

Details

sample43.0ms

simplify40.0ms

prune6.0ms

localize10.0ms

rewrite28.0ms

series29.0ms

simplify58.0ms

prune176.0ms

localize10.0ms

rewrite64.0ms

series25.0ms

simplify68.0ms

prune241.0ms

localize15.0ms

rewrite36.0ms

series31.0ms

simplify58.0ms

prune167.0ms

localize11.0ms

rewrite42.0ms

series29.0ms

simplify78.0ms

prune180.0ms

regimes125.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling