Details

sample40.0ms

Algorithm

intervals

Results

13.0ms	266×	body	80	nan
11.0ms	281×	body	80	valid

simplify104.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 4 expressions with local error:

0.0b	(- (+ y (/ 1.0 (* x 9.0))) 1.0)
0.3b	(* (* 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))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

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

series151.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(- (+ y (/ 1.0 (* x 9.0))) 1.0)
69.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
40.0ms	(* 3.0 (sqrt x))
20.0ms	(/ 1.0 (* x 9.0))

simplify54.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	439	610
1	2111	534
2	5002	532

prune203.0ms

Filtered

101 candidates to 64 candidates (63.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	87	14	101
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	14	102

Merged error: 0.0b

Counts

102 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 88

Calls

4 calls:

8.0ms	(* 3.0 (sqrt x))
8.0ms	(* 3.0 (sqrt x))
7.0ms	(/ 1.0 (* x 9.0))
17.0ms	(* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0))))

series196.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* 3.0 (sqrt x))
42.0ms	(* 3.0 (sqrt x))
17.0ms	(/ 1.0 (* x 9.0))
100.0ms	(* (* 3.0 (sqrt x)) (+ y (/ 1.0 (* x 9.0))))

simplify51.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	399	512
1	1989	439
2	5003	435

prune193.0ms

Filtered

100 candidates to 65 candidates (65.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	101	13	114

Merged error: 0.0b

Counts

114 → 13

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* 3.0 (sqrt x)) (+ y (/ 0.1111111111111111 x))) (* (* 3.0 (sqrt x)) (neg 1.0)))
0.3b	(* 3.0 (sqrt x))
0.3b	(* 3.0 (sqrt x))
0.3b	(* (* 3.0 (sqrt x)) (+ y (/ 0.1111111111111111 x)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
16×	`associate-r`
13×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
11×	`add-cube-cbrt`
8×	`sqrt-prod`
7×	`associate-l`
6×	`add-log-exp`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`unswap-sqr`
3×	`*-commutative`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `flip3-+` `associate-*r/` `distribute-rgt-neg-out` `flip-+` `distribute-lft-out`
1×	`+-commutative` `unsub-neg` `sum-log`

Counts

4 → 83

Calls

4 calls:

11.0ms	(+ (* (* 3.0 (sqrt x)) (+ y (/ 0.1111111111111111 x))) (* (* 3.0 (sqrt x)) (neg 1.0)))
8.0ms	(* 3.0 (sqrt x))
5.0ms	(* 3.0 (sqrt x))
10.0ms	(* (* 3.0 (sqrt x)) (+ y (/ 0.1111111111111111 x)))

series245.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(+ (* (* 3.0 (sqrt x)) (+ y (/ 0.1111111111111111 x))) (* (* 3.0 (sqrt x)) (neg 1.0)))
36.0ms	(* 3.0 (sqrt x))
36.0ms	(* 3.0 (sqrt x))
72.0ms	(* (* 3.0 (sqrt x)) (+ y (/ 0.1111111111111111 x)))

simplify65.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	409	614
1	2165	514
2	5001	509

prune219.0ms

Filtered

95 candidates to 64 candidates (67.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	91	4	95
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	97	11	108

Merged error: 0.0b

Counts

108 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ y (/ (/ 1.0 x) 9.0)) 1.0)
0.3b	(* (* 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

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

Counts

4 → 138

Calls

4 calls:

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

series138.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(- (+ y (/ (/ 1.0 x) 9.0)) 1.0)
65.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
15.0ms	(/ (/ 1.0 x) 9.0)
37.0ms	(* 3.0 (sqrt x))

simplify74.0ms

Algorithm

egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	661	976
1	2954	894
2	5001	894

prune261.0ms

Filtered

150 candidates to 107 candidates (71.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	149	12	161

Merged error: 0.0b

Counts

161 → 12

regimes82.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	15	7
1	15	7

end0.0ms

sample1.2s

Algorithm

intervals

Results

530.0ms	8686×	body	80	nan
338.0ms	8513×	body	80	valid

Details

sample40.0ms

simplify104.0ms

prune2.0ms

localize9.0ms

rewrite30.0ms

series151.0ms

simplify54.0ms

prune203.0ms

localize15.0ms

rewrite44.0ms

series196.0ms

simplify51.0ms

prune193.0ms

localize10.0ms

rewrite35.0ms

series245.0ms

simplify65.0ms

prune219.0ms

localize9.0ms

rewrite51.0ms

series138.0ms

simplify74.0ms

prune261.0ms

regimes82.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling