Details

sample6.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

22.0ms	256×	body	80	valid
1.0ms	7×	body	80	invalid

simplify104.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.4b

Counts

2 → 1

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* (+ y a) y) b) y)
30.6b	(/ (+ (* (+ (* (+ (* (+ (* 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

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:

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

series195.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
15.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
8.0ms	(* (+ (* (+ y a) y) b) y)
154.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify65.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	509	1265
1	2259	1154
2	5002	1152

prune225.0ms

Filtered

77 candidates to 103 candidates (-33.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	92	11	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	11	104

Merged error: 30.4b

Counts

104 → 11

localize25.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.5b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
30.3b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite64.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:

11.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
8.0ms	(* (+ (* (+ y a) y) b) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
28.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series203.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
10.0ms	(* (+ (* (+ y a) y) b) y)
25.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
153.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify77.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	563	1664
1	2751	1466
2	5002	1440

prune189.0ms

Filtered

79 candidates to 127 candidates (-60.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	127	11	138

Merged error: 30.4b

Counts

138 → 11

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 64

Calls

4 calls:

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

series300.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(cbrt (* (+ (* (+ y a) y) b) y))
42.0ms	(cbrt (* (+ (* (+ y a) y) b) y))
43.0ms	(cbrt (* (+ (* (+ y a) y) b) y))
172.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))

simplify110.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (95.0ms)

Iter	Nodes	Cost
0	328	1749
1	1051	1597
2	4423	1522
3	5002	1500

prune180.0ms

Filtered

66 candidates to 76 candidates (-15.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	75	12	87

Merged error: 30.4b

Counts

87 → 12

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

12.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
11.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
12.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
55.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series415.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
86.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
85.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
158.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify78.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	624	3773
1	2305	3379
2	5001	3219

prune329.0ms

Filtered

91 candidates to 114 candidates (-25.3%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	114	12	126

Merged error: 30.4b

Counts

126 → 12

regimes1.4s

Accuracy

0% (1.1b remaining)

Error of 29.6b against oracle of 28.5b and baseline of 29.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

end0.0ms

sample7.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

743.0ms	8000×	body	80	valid
19.0ms	220×	body	80	invalid

Details

sample6.5s

simplify104.0ms

prune6.0ms

localize29.0ms

rewrite55.0ms

series195.0ms

simplify65.0ms

prune225.0ms

localize25.0ms

rewrite64.0ms

series203.0ms

simplify77.0ms

prune189.0ms

localize31.0ms

rewrite55.0ms

series300.0ms

simplify110.0ms

prune180.0ms

localize32.0ms

rewrite94.0ms

series415.0ms

simplify78.0ms

prune329.0ms

regimes1.4s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample7.5s

Profiling