Details

sample102.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 23.520795%

Guaranteed chance to sample good point: 65.377249%

Results

12.0ms	256×	body	80	valid
4.0ms	114×	body	80	nan

simplify141.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	6
1	61	6
2	192	6
3	649	6
4	1602	6
5	2720	6
6	3667	6
7	4387	6
8	4711	6
9	4938	6
10	5002	6

prune3.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: 0.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
0.1b	(+ (- x (* (+ y 0.5) (log y))) y)
0.1b	(* (+ y 0.5) (log y))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-log-exp`
16×	`*-un-lft-identity`
11×	`add-sqr-sqrt`
7×	`add-cube-cbrt`
6×	`pow1` `log-prod`
5×	`add-exp-log` `diff-log` `add-cbrt-cube`
4×	`associate-r` `associate-l` `sum-log`
3×	`distribute-rgt-in` `distribute-lft-in` `distribute-lft-out`
2×	`associate-+l-` `sub-neg` `associate-+l+` `flip3-+` `associate-*l/` `flip-+` `distribute-lft-out--`
1×	`+-commutative` `associate--l-` `flip3--` `pow-prod-down` `prod-exp` `associate--l+` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

3 → 63

Calls

3 calls:

7.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
5.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
7.0ms	(* (+ y 0.5) (log y))

series56.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
12.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
27.0ms	(* (+ y 0.5) (log y))

simplify42.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	399	541
1	1444	477
2	5002	456

prune98.0ms

Filtered

50 candidates to 72 candidates (-44.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	67	5	72
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	6	73

Merged error: 0.0b

Counts

73 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ y 0.5) (* 2 (log (cbrt y))))
0.3b	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

49×	`distribute-rgt-in` `distribute-lft-in`
48×	`log-prod`
30×	`cbrt-prod`
25×	`*-un-lft-identity`
24×	`associate-+l+`
23×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`flip3-+` `associate-*l/` `flip-+` `add-log-exp`
4×	`associate-r/` `associate-l*` `frac-add`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-+r+` `pow1/3`
1×	`+-commutative` `associate-r` `sum-log` `*-commutative` `distribute-lft-out`

Counts

4 → 108

Calls

4 calls:

9.0ms	(* (+ y 0.5) (* 2 (log (cbrt y))))
12.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series250.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(* (+ y 0.5) (* 2 (log (cbrt y))))
123.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
25.0ms	(cbrt y)
27.0ms	(cbrt y)

simplify72.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	692	1152
1	2432	1025
2	5003	966

prune164.0ms

Filtered

87 candidates to 120 candidates (-37.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	120	6	126

Merged error: 0b

Counts

126 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (log y) (+ (* 2/3 y) 0.3333333333333333))
0.3b	(+ (+ (* 0.3333333333333333 (log 1)) (* (log y) (+ (* 2/3 y) 0.3333333333333333))) (* (log (cbrt y)) (+ y 0.5)))
0.4b	(* 2/3 y)
0.6b	(cbrt y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
9×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-l`
6×	`flip3-+` `associate-r/` `associate-r*` `flip-+`
4×	`frac-add`
3×	`cbrt-prod` `sum-log`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+l+` `pow1/3` `log-pow`

Counts

4 → 71

Calls

4 calls:

7.0ms	(* (log y) (+ (* 2/3 y) 0.3333333333333333))
8.0ms	(+ (+ (* 0.3333333333333333 (log 1)) (* (log y) (+ (* 2/3 y) 0.3333333333333333))) (* (log (cbrt y)) (+ y 0.5)))
4.0ms	(* 2/3 y)
1.0ms	(cbrt y)

series231.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (log y) (+ (* 2/3 y) 0.3333333333333333))
179.0ms	(+ (+ (* 0.3333333333333333 (log 1)) (* (log y) (+ (* 2/3 y) 0.3333333333333333))) (* (log (cbrt y)) (+ y 0.5)))
2.0ms	(* 2/3 y)
25.0ms	(cbrt y)

simplify74.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	612	812
1	2638	746
2	5001	697

prune151.0ms

Filtered

61 candidates to 83 candidates (-36.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	83	6	89

Merged error: 0b

Counts

89 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (* (log (cbrt y)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
0.2b	(* (log (cbrt y)) (+ y (* (+ y 0.5) 2)))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`add-exp-log` `cbrt-prod` `add-cbrt-cube` `add-log-exp`
5×	`associate-l`
3×	`pow1/3` `associate-r`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `flip3-+` `associate-*r/` `log-pow` `flip-+`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

4 → 60

Calls

4 calls:

7.0ms	(+ (* (log (cbrt y)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
6.0ms	(* (log (cbrt y)) (+ y (* (+ y 0.5) 2)))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series249.0ms

Counts

4 → 12

Calls

4 calls:

125.0ms	(+ (* (log (cbrt y)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
73.0ms	(* (log (cbrt y)) (+ y (* (+ y 0.5) 2)))
25.0ms	(cbrt y)
27.0ms	(cbrt y)

simplify47.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	371	570
1	1416	499
2	5002	438

prune89.0ms

Filtered

54 candidates to 72 candidates (-33.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	72	6	78

Merged error: 0b

Counts

78 → 6

regimes303.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	6
1	13	6

end0.0ms

sample995.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 23.520795%

Guaranteed chance to sample good point: 65.377249%

Results

366.0ms	8029×	body	80	valid
157.0ms	4260×	body	80	nan
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid

Details

sample102.0ms

simplify141.0ms

prune3.0ms

localize9.0ms

rewrite21.0ms

series56.0ms

simplify42.0ms

prune98.0ms

localize14.0ms

rewrite29.0ms

series250.0ms

simplify72.0ms

prune164.0ms

localize24.0ms

rewrite22.0ms

series231.0ms

simplify74.0ms

prune151.0ms

localize15.0ms

rewrite16.0ms

series249.0ms

simplify47.0ms

prune89.0ms

regimes303.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample995.0ms

Profiling