Details

sample3.4s

Algorithm

intervals

sampling

Space saved by range analysis: 0.292611%

Space saved by search: 0.292611%

Guaranteed chance to sample good point: 0%

Results

14.0ms	256×	body	80	valid
1.0ms	16×	body	80	invalid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

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

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
4.3b	(/ (* y z) t)
6.3b	(/ (* y b) t)
10.9b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
26×	`times-frac`
24×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
9×	`add-log-exp`
6×	`associate-/l*`
5×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`pow1` `frac-add` `associate-/r/`
3×	`frac-2neg` `clear-num` `sum-log` `div-inv`
2×	`prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `associate-+l+`

Counts

4 → 106

Calls

4 calls:

7.0ms	(+ (+ a 1.0) (/ (* y b) t))
4.0ms	(/ (* y z) t)
4.0ms	(/ (* y b) t)
12.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series59.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ (+ a 1.0) (/ (* y b) t))
5.0ms	(/ (* y z) t)
5.0ms	(/ (* y b) t)
39.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify49.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	469	909
1	2102	841
2	5001	841

prune185.0ms

Filtered

78 candidates to 118 candidates (-51.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	106	12	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	12	119

Merged error: 10.6b

Counts

119 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (* (* y b) (/ 1 t)))
4.3b	(/ (* y z) t)
6.3b	(* (* y b) (/ 1 t))
10.9b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-exp-log`
30×	`*-un-lft-identity`
24×	`times-frac`
23×	`add-cbrt-cube`
22×	`add-sqr-sqrt` `add-cube-cbrt`
13×	`associate-r` `prod-exp`
9×	`pow1` `add-log-exp`
8×	`frac-add`
7×	`flip3-+` `div-exp` `cbrt-unprod` `flip-+`
6×	`associate-/r*` `associate-/r/`
5×	`cbrt-undiv` `associate-r/` `un-div-inv` `associate-/l`
4×	`distribute-lft-out`
3×	`pow-prod-down` `sum-log` `div-inv`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`+-commutative` `associate-+l+` `associate-l` `*-commutative`

Counts

4 → 115

Calls

4 calls:

6.0ms	(+ (+ a 1.0) (* (* y b) (/ 1 t)))
5.0ms	(/ (* y z) t)
10.0ms	(* (* y b) (/ 1 t))
12.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

series59.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ (+ a 1.0) (* (* y b) (/ 1 t)))
5.0ms	(/ (* y z) t)
5.0ms	(* (* y b) (/ 1 t))
41.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (* y b) (/ 1 t))))

simplify76.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	624	1021
1	3056	904
2	5002	887

prune162.0ms

Filtered

78 candidates to 127 candidates (-62.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	127	12	139

Merged error: 10.6b

Counts

139 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
4.4b	(* (* y z) (/ 1 t))
6.3b	(/ (* y b) t)
10.9b	(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

48×	`*-un-lft-identity`
33×	`add-exp-log`
27×	`times-frac`
23×	`add-sqr-sqrt` `add-cube-cbrt` `add-cbrt-cube`
15×	`distribute-lft-out`
13×	`associate-r` `prod-exp`
9×	`pow1` `add-log-exp`
8×	`associate-/r*`
7×	`div-exp` `cbrt-unprod`
5×	`cbrt-undiv` `flip3-+` `flip-+`
4×	`frac-add` `associate-/r/` `associate-/l*`
3×	`pow-prod-down` `sum-log` `div-inv`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`+-commutative` `associate-+l+` `associate-r/` `associate-l` `un-div-inv` `-commutative`

Counts

4 → 117

Calls

4 calls:

7.0ms	(+ (+ a 1.0) (/ (* y b) t))
8.0ms	(* (* y z) (/ 1 t))
4.0ms	(/ (* y b) t)
13.0ms	(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

series57.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ (+ a 1.0) (/ (* y b) t))
5.0ms	(* (* y z) (/ 1 t))
5.0ms	(/ (* y b) t)
39.0ms	(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

simplify73.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	607	997
1	2965	888
2	5002	868

prune162.0ms

Filtered

82 candidates to 129 candidates (-57.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	129	12	141

Merged error: 10.6b

Counts

141 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
5.2b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
6.3b	(/ (* y b) t)
10.9b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
48×	`add-sqr-sqrt`
46×	`times-frac`
32×	`add-exp-log` `add-cube-cbrt`
25×	`add-cbrt-cube`
22×	`associate-r`
14×	`cbrt-prod`
12×	`distribute-lft-out`
10×	`cbrt-undiv` `div-exp`
9×	`prod-exp` `cbrt-unprod`
8×	`associate-/r*`
7×	`associate-l`
6×	`pow1` `unswap-sqr`
4×	`associate-/r/` `div-inv` `associate-/l*` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/l/`
1×	`frac-times` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 132

Calls

4 calls:

1.0ms	(cbrt t)
14.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.0ms	(/ (* y b) t)
11.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

series105.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt t)
10.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
5.0ms	(/ (* y b) t)
69.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify80.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	754	1573
1	3596	1419
2	5001	1366

prune128.0ms

Filtered

99 candidates to 144 candidates (-45.5%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	141	3	144
Fresh	0	9	9
Picked	1	0	1
Done	0	2	2
Total	142	14	156

Merged error: 9.9b

Counts

156 → 14

regimes1.0s

Accuracy

11.1% (3.8b remaining)

Error of 14.5b against oracle of 10.6b and baseline of 14.9b

bsearch81.0ms

Steps

Iters	Range		Point
8	4.792610883072218e+63	2.586131019761533e+68	4.893801620812568e+63
6	-2.503236511976591e+26	-3.4365695695747597e+25	-2.3315077618345223e+26

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	35
1	51	35

end0.0ms

sample4.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0.292611%

Space saved by search: 0.292611%

Guaranteed chance to sample good point: 0%

Results

431.0ms	8000×	body	80	valid
18.0ms	300×	body	80	invalid

Details

sample3.4s

simplify8.0ms

prune5.0ms

localize17.0ms

rewrite31.0ms

series59.0ms

simplify49.0ms

prune185.0ms

localize14.0ms

rewrite37.0ms

series59.0ms

simplify76.0ms

prune162.0ms

localize13.0ms

rewrite37.0ms

series57.0ms

simplify73.0ms

prune162.0ms

localize18.0ms

rewrite35.0ms

series105.0ms

simplify80.0ms

prune128.0ms

regimes1.0s

bsearch81.0ms

simplify2.0ms

end0.0ms

sample4.2s

Profiling