Details

sample748.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 47.04159%

Guaranteed chance to sample good point: 0%

Results

19.0ms	276×	body	80	nan
13.0ms	184×	body	80	valid
9.0ms	23×	body	640	valid
7.0ms	10×	body	1280	valid
6.0ms	25×	body	320	valid
3.0ms	18×	body	160	valid

simplify135.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	9
1	49	9
2	118	9
3	256	9
4	533	9
5	1250	9
6	2637	9
7	4297	9
8	4573	9
9	4588	9
10	4588	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: 8.3b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
0.1b	(* (- x 1.0) (log y))
8.4b	(log (- 1.0 y))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

27×	`log-prod`
25×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp`
10×	`associate-+r+` `associate-*l/`
8×	`pow1`
7×	`add-exp-log` `flip3--` `flip--`
6×	`associate-+l+` `add-cbrt-cube`
5×	`associate-l` `distribute-lft-out--` `difference-of-squares`
4×	`associate-r` `frac-add`
2×	`log-div` `diff-log` `sum-log` `log-pow`
1×	`+-commutative` `sub-neg` `flip3-+` `rem-log-exp` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 92

Calls

4 calls:

11.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
12.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
10.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

series80.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
26.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
10.0ms	(* (- x 1.0) (log y))
5.0ms	(log (- 1.0 y))

simplify64.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	675	988
1	2441	924
2	5002	884

prune222.0ms

Filtered

80 candidates to 104 candidates (-30.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	98	6	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	6	105

Merged error: 0.0b

Counts

105 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0b	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
0.0b	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
0.1b	(* (- x 1.0) (log y))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-sqr-sqrt`
80×	`times-frac`
72×	`associate-r`
56×	`unpow-prod-down`
50×	`*-un-lft-identity`
46×	`add-cube-cbrt`
29×	`add-exp-log`
24×	`unpow2` `sqr-pow`
22×	`flip3--` `associate-*l/` `flip--`
18×	`log-prod` `unswap-sqr`
16×	`frac-add`
11×	`distribute-rgt-in` `distribute-lft-in` `prod-exp` `add-cbrt-cube` `add-log-exp`
10×	`associate-+r+`
9×	`pow1` `div-exp`
8×	`frac-times` `associate-l`
7×	`associate--l+`
6×	`pow-to-exp` `associate-+l+` `pow-exp`
5×	`associate-*r/`
3×	`sub-neg` `cbrt-unprod`
2×	`diff-log` `pow-prod-down` `sum-log` `*-commutative` `distribute-lft-out--` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `log-pow` `flip-+` `div-inv`

Counts

4 → 198

Calls

4 calls:

12.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
13.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
21.0ms	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
7.0ms	(* (- x 1.0) (log y))

series118.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
60.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
6.0ms	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
10.0ms	(* (- x 1.0) (log y))

simplify56.0ms

Algorithm

egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1328	2578
1	5001	2441

prune711.0ms

Filtered

147 candidates to 210 candidates (-42.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	208	2	210
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	209	7	216

Merged error: 0.0b

Counts

216 → 7

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.7b	(cbrt y)
0.7b	(cbrt y)
0.7b	(cbrt y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series102.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt y) (cbrt y))
27.0ms	(cbrt y)
23.0ms	(cbrt y)
25.0ms	(cbrt y)

simplify75.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (70.0ms)

Iter	Nodes	Cost
0	148	349
1	471	322
2	2276	265
3	5002	252

prune203.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	86	6	92

Merged error: 0.0b

Counts

92 → 6

localize34.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt y)
0.7b	(cbrt (cbrt y))
0.7b	(cbrt (cbrt y))
1.1b	(pow (cbrt (cbrt y)) 5)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`unpow-prod-down`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 63

Calls

4 calls:

1.0ms	(cbrt y)
2.0ms	(cbrt (cbrt y))
2.0ms	(cbrt (cbrt y))
4.0ms	(pow (cbrt (cbrt y)) 5)

series141.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
32.0ms	(cbrt (cbrt y))
32.0ms	(cbrt (cbrt y))
53.0ms	(pow (cbrt (cbrt y)) 5)

simplify59.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (52.0ms)

Iter	Nodes	Cost
0	186	380
1	479	358
2	1507	324
3	5001	308

prune217.0ms

Filtered

57 candidates to 75 candidates (-31.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	74	7	81

Merged error: 0.0b

Counts

81 → 7

regimes493.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	15
1	28	15

end0.0ms

sample3.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 47.04159%

Guaranteed chance to sample good point: 0%

Results

643.0ms	8996×	body	80	nan
420.0ms	5932×	body	80	valid
279.0ms	759×	body	640	valid
172.0ms	249×	body	1280	valid
153.0ms	654×	body	320	valid
63.0ms	440×	body	160	valid

Details

sample748.0ms

simplify135.0ms

prune5.0ms

localize14.0ms

rewrite39.0ms

series80.0ms

simplify64.0ms

prune222.0ms

localize22.0ms

rewrite66.0ms

series118.0ms

simplify56.0ms

prune711.0ms

localize31.0ms

rewrite11.0ms

series102.0ms

simplify75.0ms

prune203.0ms

localize34.0ms

rewrite10.0ms

series141.0ms

simplify59.0ms

prune217.0ms

regimes493.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.1s

Profiling