Details

sample2.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 56.835938%

Results

22.0ms

262×

body

valid

simplify102.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	16
1	88	16
2	254	16
3	663	16
4	1615	16
5	2362	16
6	2584	16
7	3122	16
8	5001	16

prune6.0ms

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

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* (+ y a) y) b) y)
0.1b	(* (+ (* x y) z) y)
31.1b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 91

Calls

4 calls:

10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
9.0ms	(* (+ (* (+ y a) y) b) y)
6.0ms	(* (+ (* x y) z) y)
24.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series181.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
8.0ms	(* (+ (* (+ y a) y) b) y)
8.0ms	(* (+ (* x y) z) y)
151.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify60.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	509	1200
1	2222	1083
2	5001	1081

prune234.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	91	12	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	12	104

Merged error: 30.6b

Counts

104 → 12

localize26.0ms

Local error

Found 4 expressions with local error:

20.2b	(cbrt (+ (* (+ y a) y) b))
20.2b	(cbrt (+ (* (+ y a) y) b))
20.2b	(cbrt (+ (* (+ y a) y) b))
31.1b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `cbrt-div` `add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 70

Calls

4 calls:

6.0ms	(cbrt (+ (* (+ y a) y) b))
6.0ms	(cbrt (+ (* (+ y a) y) b))
6.0ms	(cbrt (+ (* (+ y a) y) b))
45.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))

series241.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt (+ (* (+ y a) y) b))
31.0ms	(cbrt (+ (* (+ y a) y) b))
32.0ms	(cbrt (+ (* (+ y a) y) b))
148.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))

simplify46.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	359	1744
1	1155	1604
2	5001	1586

prune199.0ms

Filtered

71 candidates to 82 candidates (-15.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	81	13	94

Merged error: 30.6b

Counts

94 → 13

localize30.0ms

Local error

Found 4 expressions with local error:

8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
8.2b	(cbrt (+ (* x y) z))
31.1b	(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `cbrt-div` `add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 70

Calls

4 calls:

4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
4.0ms	(cbrt (+ (* x y) z))
41.0ms	(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series246.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(cbrt (+ (* x y) z))
31.0ms	(cbrt (+ (* x y) z))
31.0ms	(cbrt (+ (* x y) z))
152.0ms	(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify104.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (90.0ms)

Iter	Nodes	Cost
0	357	1565
1	1108	1442
2	4287	1430
3	5001	1424

prune183.0ms

Filtered

68 candidates to 82 candidates (-20.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	82	13	95

Merged error: 30.6b

Counts

95 → 13

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ y a) y) b) y)
0.1b	(* (+ (* x y) z) y)
0.6b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
30.9b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
21×	`add-exp-log` `associate-r`
20×	`times-frac`
15×	`add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
6×	`flip3-+` `associate-*l/` `prod-exp` `flip-+`
5×	`unswap-sqr`
4×	`div-exp` `associate-/r/` `cbrt-unprod` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-*r/` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 115

Calls

4 calls:

9.0ms	(* (+ (* (+ y a) y) b) y)
7.0ms	(* (+ (* x y) z) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
29.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series191.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* (+ y a) y) b) y)
8.0ms	(* (+ (* x y) z) y)
25.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
150.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify73.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	561	1613
1	2719	1420
2	5002	1394

prune124.0ms

Filtered

76 candidates to 127 candidates (-67.1%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	3	7	10
Picked	0	1	1
Done	0	2	2
Total	128	12	140

Merged error: 30.6b

Counts

140 → 12

regimes1.2s

Accuracy

0% (1.1b remaining)

Error of 29.0b against oracle of 27.9b and baseline of 29.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	27
1	45	27

end0.0ms

sample4.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 56.835938%

Results

735.0ms

8202×

body

valid

Details

sample2.9s

simplify102.0ms

prune6.0ms

localize27.0ms

rewrite52.0ms

series181.0ms

simplify60.0ms

prune234.0ms

localize26.0ms

rewrite64.0ms

series241.0ms

simplify46.0ms

prune199.0ms

localize30.0ms

rewrite55.0ms

series246.0ms

simplify104.0ms

prune183.0ms

localize25.0ms

rewrite61.0ms

series191.0ms

simplify73.0ms

prune124.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.0s

Profiling