Details

sample4.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 11.71875%

Guaranteed chance to sample good point: 28.166482%

Results

28.0ms	47×	body	1280	valid
15.0ms	45×	body	640	valid
9.0ms	116×	body	80	valid
7.0ms	30×	body	320	valid
6.0ms	4×	body	2560	valid
3.0ms	11×	body	640	nan
2.0ms	38×	body	80	overflowed
2.0ms	14×	body	160	valid
2.0ms	41×	body	80	nan
1.0ms	7×	body	320	nan
1.0ms	2×	body	1280	nan
0.0ms	3×	body	160	nan
0.0ms	1×	body	320	invalid

simplify218.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

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.5b	(log (+ (- 1.0 y) (* y (exp z))))
2.7b	(+ (- 1.0 y) (* y (exp z)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

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

series83.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* y (exp z))
54.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
14.0ms	(log (+ (- 1.0 y) (* y (exp z))))
7.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify65.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	452	795
1	1740	733
2	5002	726

prune166.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	6	93

Merged error: 3.7b

Counts

93 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
2.7b	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
12.3b	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod`
5×	`pow1` `add-exp-log`
4×	`add-cbrt-cube`
3×	`log-prod`
2×	`log-div` `associate-+l+` `flip3-+` `pow1/3` `sum-log` `flip-+`
1×	`+-commutative` `associate-+l-` `sub-neg` `diff-log` `rem-log-exp` `log-pow`

Counts

4 → 51

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
7.0ms	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
8.0ms	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

series71.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
23.0ms	(cbrt y)
16.0ms	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
10.0ms	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

simplify34.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	301	626
1	1026	546
2	5001	493

prune111.0ms

Filtered

48 candidates to 63 candidates (-31.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	63	6	69

Merged error: 3.7b

Counts

69 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 0.5 (pow z 2)) (* 1.0 z))
0.0b	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
4.2b	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)
4.3b	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
10×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`pow1`
3×	`flip3-+` `associate-r` `associate-l` `associate-/r` `flip-+` `associate-/l`
2×	`associate-*r/` `associate-/l/` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `sub-neg` `flip3--` `frac-2neg` `distribute-lft-in` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

7.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
12.0ms	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
9.0ms	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)
11.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))

series122.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
51.0ms	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
38.0ms	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)
24.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))

simplify50.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	402	953
1	1641	882
2	5001	876

prune234.0ms

Filtered

66 candidates to 89 candidates (-34.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	80	9	89
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	81	14	95

Merged error: 3.6b

Counts

95 → 14

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.2b	(/ (* 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:

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

simplify76.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

prune61.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	6	6	12
Picked	0	1	1
Done	0	1	1
Total	43	14	57

Merged error: 3.1b

Counts

57 → 14

regimes988.0ms

Accuracy

61% (5.3b remaining)

Error of 8.9b against oracle of 3.6b and baseline of 17.2b

bsearch99.0ms

Steps

Iters	Range		Point
7	1.2206897109010565e-203	3.640509188545891e-202	3.6016782911100064e-202
7	-0.004461084216340804	-3.056288460103907e-05	-0.00011074924479909398

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	23
1	49	23

end0.0ms

sample7.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 11.71875%

Guaranteed chance to sample good point: 28.166482%

Results

867.0ms	1445×	body	1280	valid
538.0ms	1527×	body	640	valid
271.0ms	3523×	body	80	valid
203.0ms	911×	body	320	valid
108.0ms	80×	body	2560	valid
83.0ms	1462×	body	80	overflowed
75.0ms	514×	body	160	valid
71.0ms	255×	body	640	nan
50.0ms	988×	body	80	nan
43.0ms	106×	body	1280	nan
34.0ms	194×	body	320	nan
11.0ms	98×	body	160	nan
1.0ms	20×	body	80	invalid
0.0ms	1×	body	640	invalid
0.0ms	1×	body	320	invalid
0.0ms	1×	body	160	invalid

Details

sample4.0s

simplify218.0ms

prune5.0ms

localize10.0ms

rewrite31.0ms

series83.0ms

simplify65.0ms

prune166.0ms

localize14.0ms

rewrite18.0ms

series71.0ms

simplify34.0ms

prune111.0ms

localize22.0ms

rewrite43.0ms

series122.0ms

simplify50.0ms

prune234.0ms

localize11.0ms

rewrite15.0ms

series21.0ms

simplify76.0ms

prune61.0ms

regimes988.0ms

bsearch99.0ms

simplify2.0ms

end0.0ms

sample7.0s

Profiling