Details

sample60.0ms

Algorithm

intervals

Results

19.0ms	271×	body	80	valid
19.0ms	274×	body	80	nan

simplify116.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	7
1	65	7
2	190	7
3	412	7
4	644	7
5	1083	7
6	1628	7
7	2273	7
8	3723	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

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

44×	`*-un-lft-identity`
31×	`add-sqr-sqrt`
25×	`add-cube-cbrt`
24×	`prod-diff`
16×	`add-exp-log` `add-cbrt-cube`
15×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate-r`
11×	`pow1`
8×	`distribute-lft-out`
6×	`add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `associate-l` `pow-prod-down` `sqrt-prod` `log1p-expm1-u`
3×	`fma-def` `times-frac` `associate-/l*`
2×	`cbrt-undiv` `sub-neg` `associate-r/` `div-exp` `associate--l+` `-commutative` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `flip3-+` `clear-num` `associate-/r*` `sum-log` `flip--` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 119

Calls

4 calls:

5.0ms	(+ y (/ 1.0 (* x 9.0)))
13.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))

series143.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ y (/ 1.0 (* x 9.0)))
62.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
37.0ms	(* 3.0 (sqrt x))
19.0ms	(/ 1.0 (* x 9.0))

simplify73.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	594	1130
1	2888	878
2	5001	872

prune229.0ms

Filtered

131 candidates to 75 candidates (57.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	121	10	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	10	132

Merged error: 0.0b

Counts

132 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

96×	`*-un-lft-identity`
75×	`distribute-rgt-in` `distribute-lft-in`
72×	`prod-diff`
59×	`add-sqr-sqrt`
53×	`add-cube-cbrt`
20×	`distribute-lft-out`
16×	`add-exp-log` `add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
7×	`associate-r`
6×	`sub-neg` `associate-*r/` `associate--l+` `add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `pow-prod-down` `sqrt-prod` `log1p-expm1-u`
3×	`fma-def` `times-frac` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `div-exp` `*-commutative` `flip--` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `clear-num` `associate-/r*` `sum-log` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 181

Calls

4 calls:

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

series164.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify81.0ms

Algorithm

egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	633	2404
1	2663	1754
2	5002	1748

prune231.0ms

Filtered

193 candidates to 84 candidates (43.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	190	3	193
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	193	10	203

Merged error: 0.0b

Counts

203 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

136×	`*-un-lft-identity`
99×	`add-sqr-sqrt`
93×	`add-cube-cbrt`
75×	`distribute-rgt-in` `distribute-lft-in` `times-frac`
72×	`prod-diff`
20×	`distribute-lft-out`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
11×	`pow1`
9×	`associate-l`
7×	`associate-r`
6×	`sub-neg` `associate-*r/` `associate--l+` `add-log-exp`
5×	`div-inv`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod` `log1p-expm1-u`
3×	`cbrt-undiv` `fma-def` `div-exp` `associate-/r*`
2×	`flip3--` `*-commutative` `flip--` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `clear-num` `sum-log` `flip-+` `associate-/l/` `difference-of-squares`

Counts

4 → 230

Calls

4 calls:

12.0ms	(+ y (/ (/ 1.0 x) 9.0))
23.0ms	(* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
22.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0)))
6.0ms	(/ (/ 1.0 x) 9.0)

series166.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ y (/ (/ 1.0 x) 9.0))
59.0ms	(* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
65.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0)))
16.0ms	(/ (/ 1.0 x) 9.0)

simplify106.0ms

Algorithm

egg-herbie

Counts

242 → 242

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	856	2770
1	3565	2116
2	5001	2110

prune347.0ms

Filtered

242 candidates to 127 candidates (52.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	242	0	242
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	242	10	252

Merged error: 0.0b

Counts

252 → 10

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	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
0.3b	(* 3.0 (sqrt x))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
39×	`add-sqr-sqrt`
36×	`prod-diff`
31×	`add-cube-cbrt`
15×	`distribute-rgt-in` `distribute-lft-in`
13×	`distribute-lft-out`
12×	`associate-r`
11×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`expm1-log1p-u` `fma-neg` `associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod` `log1p-expm1-u` `distribute-lft-out--`
3×	`sub-neg` `fma-def` `associate--l+`
2×	`flip3--` `diff-log` `associate-r/` `sum-log` `-commutative` `flip--` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 131

Calls

4 calls:

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

series154.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(- (+ y (/ 0.1111111111111111 x)) 1.0)
30.0ms	(+ y (/ 0.1111111111111111 x))
60.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
43.0ms	(* 3.0 (sqrt x))

simplify64.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	539	1249
1	2412	913
2	5001	905

prune185.0ms

Filtered

143 candidates to 74 candidates (51.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	139	4	143
Fresh	3	5	8
Picked	1	0	1
Done	0	1	1
Total	143	10	153

Merged error: 0.0b

Counts

153 → 10

regimes111.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.1s

Algorithm

intervals

Results

376.0ms	8506×	body	80	valid
373.0ms	8570×	body	80	nan

Details

sample60.0ms

simplify116.0ms

prune2.0ms

localize10.0ms

rewrite30.0ms

series143.0ms

simplify73.0ms

prune229.0ms

localize10.0ms

rewrite47.0ms

series164.0ms

simplify81.0ms

prune231.0ms

localize10.0ms

rewrite75.0ms

series166.0ms

simplify106.0ms

prune347.0ms

localize8.0ms

rewrite38.0ms

series154.0ms

simplify64.0ms

prune185.0ms

regimes111.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling