Details

sample13.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 21.09375%

Guaranteed chance to sample good point: 32.766089%

Results

29.0ms	49×	body	1280	valid
19.0ms	54×	body	640	valid
9.0ms	7×	body	2560	valid
8.0ms	102×	body	80	valid
7.0ms	31×	body	320	valid
6.0ms	10×	body	640	nan
2.0ms	13×	body	160	valid
1.0ms	25×	body	80	nan
1.0ms	3×	body	1280	nan
1.0ms	18×	body	80	overflowed
1.0ms	4×	body	320	nan
1.0ms	5×	body	160	nan

simplify210.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	7
1	33	7
2	49	7
3	71	7
4	93	7
5	180	7
6	232	7
7	411	7
8	628	7
9	935	7
10	1028	7
11	1354	7
12	3968	7
13	5002	7

prune4.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: 25.3b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.6b	(log (+ (- 1.0 y) (* y (exp z))))
3.4b	(+ (- 1.0 y) (* y (exp z)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
11×	`add-log-exp`
9×	`pow1`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`log-pow`
4×	`flip3-+` `div-sub` `flip-+` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`sub-neg` `associate-+l+` `diff-log` `sum-log` `associate--r-` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `flip--` `div-inv` `distribute-lft-out--`

Counts

4 → 79

Calls

4 calls:

8.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
8.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
5.0ms	(log (+ (- 1.0 y) (* y (exp z))))
6.0ms	(+ (- 1.0 y) (* y (exp z)))

series85.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
39.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
16.0ms	(log (+ (- 1.0 y) (* y (exp z))))
7.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify47.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	473	933
1	1595	875
2	5002	868

prune194.0ms

Filtered

70 candidates to 91 candidates (-30.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	79	12	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	12	92

Merged error: 4.3b

Counts

92 → 12

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.8b	(/ (* z y) t)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`add-cube-cbrt`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `diff-log` `div-exp`
1×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `clear-num` `sum-log` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

10.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.0ms	(/ (* z y) t)

series21.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.0ms	(/ (* z y) t)

simplify83.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	204	286
1	812	256
2	3760	256
3	5001	256

prune124.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	40	15	55

Merged error: 2.9b

Counts

55 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)
2.5b	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
28×	`times-frac`
25×	`add-exp-log`
22×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
20×	`cbrt-prod`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 92

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
15.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

series79.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt t)
25.0ms	(cbrt t)
22.0ms	(cbrt t)
10.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

simplify54.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	440	756
1	2120	661
2	5002	598

prune187.0ms

Filtered

78 candidates to 104 candidates (-33.3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	101	3	104
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	101	18	119

Merged error: 2.9b

Counts

119 → 18

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt (* (cbrt t) (cbrt t)))
1.7b	(* (/ z (* (cbrt t) (cbrt t))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt t) (cbrt t)))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-exp-log`
22×	`add-cbrt-cube`
20×	`add-sqr-sqrt`
15×	`prod-exp` `cbrt-unprod`
14×	`times-frac`
12×	`cbrt-undiv` `div-exp`
10×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r`
7×	`associate-l`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 82

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
4.0ms	(cbrt (* (cbrt t) (cbrt t)))
14.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt t) (cbrt t)))))

series132.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
22.0ms	(cbrt y)
37.0ms	(cbrt (* (cbrt t) (cbrt t)))
50.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt t) (cbrt t)))))

simplify61.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	556	1103
1	2286	923
2	5001	854

prune114.0ms

Filtered

64 candidates to 94 candidates (-46.9%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	91	3	94
Fresh	2	14	16
Picked	1	0	1
Done	0	1	1
Total	94	18	112

Merged error: 2.9b

Counts

112 → 18

regimes1.6s

Accuracy

63.1% (4.8b remaining)

Error of 8.6b against oracle of 3.8b and baseline of 16.8b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	20
1	33	20

end0.0ms

sample16.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 21.09375%

Guaranteed chance to sample good point: 32.766089%

Results

867.0ms	1463×	body	1280	valid
542.0ms	1565×	body	640	valid
260.0ms	3479×	body	80	valid
205.0ms	932×	body	320	valid
108.0ms	80×	body	2560	valid
72.0ms	286×	body	640	nan
66.0ms	481×	body	160	valid
41.0ms	838×	body	80	nan
36.0ms	103×	body	1280	nan
35.0ms	209×	body	320	nan
30.0ms	503×	body	80	overflowed
13.0ms	125×	body	160	nan
1.0ms	18×	body	80	invalid
0.0ms	1×	body	320	invalid

Details

sample13.9s

simplify210.0ms

prune4.0ms

localize10.0ms

rewrite29.0ms

series85.0ms

simplify47.0ms

prune194.0ms

localize10.0ms

rewrite15.0ms

series21.0ms

simplify83.0ms

prune124.0ms

localize14.0ms

rewrite22.0ms

series79.0ms

simplify54.0ms

prune187.0ms

localize27.0ms

rewrite23.0ms

series132.0ms

simplify61.0ms

prune114.0ms

regimes1.6s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample16.9s

Profiling