Details

sample37.0ms

Algorithm

intervals

Results

13.0ms	265×	body	80	valid
11.0ms	290×	body	80	nan

simplify108.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	7
1	65	7
2	182	7
3	338	7
4	488	7
5	757	7
6	1166	7
7	1729	7
8	2793	7
9	5001	7

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 72

Calls

3 calls:

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

series119.0ms

Counts

3 → 9

Calls

3 calls:

18.0ms	(/ 1.0 (* x 9.0))
61.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
40.0ms	(* 3.0 (sqrt x))

simplify51.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	404	481
1	2021	414
2	5001	412

prune153.0ms

Filtered

81 candidates to 51 candidates (63.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	69	12	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	12	82

Merged error: 0.0b

Counts

82 → 12

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 86

Calls

3 calls:

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

series140.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(/ 1.0 (* x 9.0))
58.0ms	(* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
66.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))

simplify59.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	375	703
1	1706	622
2	5003	622

prune163.0ms

Filtered

95 candidates to 56 candidates (58.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	92	3	95
Fresh	4	7	11
Picked	0	1	1
Done	0	0	0
Total	96	11	107

Merged error: 0.0b

Counts

107 → 11

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-sqr-sqrt`
15×	`distribute-rgt-in` `distribute-lft-in`
11×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
9×	`associate-l`
8×	`add-cube-cbrt`
7×	`sub-neg` `associate-r` `associate--l+`
6×	`associate-*r/`
4×	`pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod` `distribute-lft-out--`
3×	`flip3--` `flip--` `distribute-lft-out`
2×	`diff-log` `sum-log` `*-commutative` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 94

Calls

4 calls:

8.0ms	(- (+ y (/ 0.1111111111111111 x)) 1.0)
5.0ms	(+ y (/ 0.1111111111111111 x))
14.0ms	(* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0))
13.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0)))

series174.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(- (+ y (/ 0.1111111111111111 x)) 1.0)
28.0ms	(+ y (/ 0.1111111111111111 x))
57.0ms	(* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0))
67.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0)))

simplify49.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	368	707
1	1471	636
2	5002	636

prune162.0ms

Filtered

106 candidates to 61 candidates (57.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	106	11	117

Merged error: 0.0b

Counts

117 → 11

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
55×	`add-sqr-sqrt`
54×	`*-un-lft-identity`
49×	`add-cube-cbrt`
15×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
12×	`associate-r`
10×	`pow1`
5×	`div-inv`
4×	`associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
3×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `associate-/r*` `add-log-exp`
2×	`sub-neg` `associate-r/` `associate--l+` `-commutative` `distribute-lft-out--` `unswap-sqr`
1×	`flip3--` `frac-2neg` `clear-num` `flip--` `associate-/l/` `distribute-lft-out` `difference-of-squares`

Counts

3 → 121

Calls

3 calls:

19.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
5.0ms	(* 3.0 (sqrt x))
6.0ms	(/ (/ 1.0 x) 9.0)

series122.0ms

Counts

3 → 9

Calls

3 calls:

65.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
40.0ms	(* 3.0 (sqrt x))
17.0ms	(/ (/ 1.0 x) 9.0)

simplify74.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	626	847
1	2835	774
2	5001	774

prune226.0ms

Filtered

130 candidates to 94 candidates (72.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	130	11	141

Merged error: 0.0b

Counts

141 → 11

regimes75.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	6
1	14	6

end0.0ms

sample960.0ms

Algorithm

intervals

Results

341.0ms	8532×	body	80	valid
332.0ms	8485×	body	80	nan

Details

sample37.0ms

simplify108.0ms

prune2.0ms

localize9.0ms

rewrite22.0ms

series119.0ms

simplify51.0ms

prune153.0ms

localize11.0ms

rewrite30.0ms

series140.0ms

simplify59.0ms

prune163.0ms

localize8.0ms

rewrite44.0ms

series174.0ms

simplify49.0ms

prune162.0ms

localize9.0ms

rewrite34.0ms

series122.0ms

simplify74.0ms

prune226.0ms

regimes75.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample960.0ms

Profiling