Details

sample3.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 39.453125%

Results

18.0ms	256×	body	80	valid
8.0ms	145×	body	80	invalid

simplify130.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	9
1	94	9
2	287	9
3	741	9
4	1662	9
5	4195	9
6	5001	9

prune5.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: 20.2b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
0.1b	(* (* x 9.0) y)
6.0b	(* (* (* z 4.0) t) a)
17.2b	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

4.0ms	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
5.0ms	(* (* x 9.0) y)
6.0ms	(* (* (* z 4.0) t) a)
10.0ms	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

series83.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(- (* (* x 9.0) y) (* (* (* z 4.0) t) a))
4.0ms	(* (* x 9.0) y)
7.0ms	(* (* (* z 4.0) t) a)
53.0ms	(/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))

simplify72.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	491	675
1	2345	574
2	5002	574

prune166.0ms

Filtered

57 candidates to 89 candidates (-56.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	10	90

Merged error: 6.9b

Counts

90 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 9.0 (/ (* x y) (* z c)))
3.8b	(/ b (* z c))
5.1b	(/ (* a t) c)
9.7b	(/ (* x y) (* z c))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

8.0ms	(* 9.0 (/ (* x y) (* z c)))
4.0ms	(/ b (* z c))
4.0ms	(/ (* a t) c)
5.0ms	(/ (* x y) (* z c))

series27.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* 9.0 (/ (* x y) (* z c)))
5.0ms	(/ b (* z c))
5.0ms	(/ (* a t) c)
8.0ms	(/ (* x y) (* z c))

simplify58.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	420	503
1	2365	384
2	5002	384

prune182.0ms

Filtered

62 candidates to 104 candidates (-67.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	94	10	104
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	98	16	114

Merged error: 0.0b

Counts

114 → 16

localize16.0ms

Local error

Found 4 expressions with local error:

3.8b	(/ b (* z c))
4.8b	(/ (* z c) y)
5.1b	(/ (* a t) c)
6.5b	(/ x (/ (* z c) y))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

42×	`times-frac`
28×	`add-exp-log` `add-cbrt-cube`
26×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
14×	`associate-/r*`
11×	`cbrt-undiv` `div-exp`
8×	`div-inv` `associate-/l*`
4×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`associate-/r/`

Counts

4 → 111

Calls

4 calls:

4.0ms	(/ b (* z c))
4.0ms	(/ (* z c) y)
4.0ms	(/ (* a t) c)
6.0ms	(/ x (/ (* z c) y))

series23.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ b (* z c))
5.0ms	(/ (* z c) y)
5.0ms	(/ (* a t) c)
9.0ms	(/ x (/ (* z c) y))

simplify54.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	457	568
1	2237	494
2	5001	494

prune188.0ms

Filtered

90 candidates to 123 candidates (-36.7%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	1	14	15
Picked	0	1	1
Done	0	0	0
Total	123	16	139

Merged error: 0.0b

Counts

139 → 16

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt c)
3.4b	(* (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
3.8b	(/ b (* z c))
9.7b	(/ (* x y) (* z c))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-exp-log`
38×	`add-sqr-sqrt`
35×	`add-cbrt-cube`
32×	`times-frac`
22×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
14×	`cbrt-prod`
13×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
7×	`associate-l`
6×	`pow1` `unswap-sqr`
4×	`div-inv` `associate-/l*` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/r*`
1×	`frac-times` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 112

Calls

4 calls:

1.0ms	(cbrt c)
15.0ms	(* (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
4.0ms	(/ b (* z c))
5.0ms	(/ (* x y) (* z c))

series47.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt c)
10.0ms	(* (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
5.0ms	(/ b (* z c))
8.0ms	(/ (* x y) (* z c))

simplify69.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	655	864
1	3304	727
2	5001	688

prune113.0ms

Filtered

87 candidates to 124 candidates (-42.5%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	123	17	140

Merged error: 0.0b

Counts

140 → 17

regimes1.8s

Accuracy

8.1% (10.2b remaining)

Error of 10.5b against oracle of 0.4b and baseline of 11.4b

bsearch165.0ms

Steps

Iters	Range		Point
10	6.181356612526295e+134	3.40119159651781e+147	1.6288571663171503e+141
6	2.2415222064740645e-196	9.42909611771021e-196	3.4437255738236215e-196
8	-3.534025128230579e-259	-7.930098827527295e-263	-3.679257169293982e-262
8	-1.7848027429886062e-134	-9.706709979054582e-139	-1.2667127723465604e-134

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	55
1	62	55

end0.0ms

sample4.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 39.453125%

Results

482.0ms	8000×	body	80	valid
284.0ms	4850×	body	80	invalid

Details

sample3.5s

simplify130.0ms

prune5.0ms

localize14.0ms

rewrite27.0ms

series83.0ms

simplify72.0ms

prune166.0ms

localize15.0ms

rewrite24.0ms

series27.0ms

simplify58.0ms

prune182.0ms

localize16.0ms

rewrite22.0ms

series23.0ms

simplify54.0ms

prune188.0ms

localize19.0ms

rewrite30.0ms

series47.0ms

simplify69.0ms

prune113.0ms

regimes1.8s

bsearch165.0ms

simplify2.0ms

end0.0ms

sample4.9s

Profiling