Details

sample812.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 74.65893%

Space saved by search: 0.195169%

Guaranteed chance to sample good point: 0%

Results

13.0ms	189×	body	80	valid
9.0ms	25×	body	640	valid
7.0ms	8×	body	1280	valid
6.0ms	24×	body	320	valid
1.0ms	10×	body	160	valid
0.0ms	4×	body	80	nan
0.0ms	2×	body	80	invalid

simplify136.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: 6.8b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.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))))
10.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
7.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

series77.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
35.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
13.0ms	(* (- x 1.0) (log y))
4.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	5003	884

prune209.0ms

Filtered

80 candidates to 104 candidates (-30.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	8	105

Merged error: 0.0b

Counts

105 → 8

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	(* (- 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.1b	(* (- x 1.0) (log y))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 129

Calls

4 calls:

11.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
12.0ms	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
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))))))) t)
7.0ms	(* (- x 1.0) (log y))

series122.0ms

Counts

4 → 12

Calls

4 calls:

38.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	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
61.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)
10.0ms	(* (- x 1.0) (log y))

simplify129.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (102.0ms)

Iter	Nodes	Cost
0	915	2563
1	4633	2482
2	5002	2446

prune481.0ms

Filtered

103 candidates to 141 candidates (-36.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	140	1	141
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	141	8	149

Merged error: 0.0b

Counts

149 → 8

localize27.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)

rewrite13.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)

series93.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt y) (cbrt y))
22.0ms	(cbrt y)
21.0ms	(cbrt y)
23.0ms	(cbrt y)

simplify72.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (67.0ms)

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

prune195.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	85	8	93

Merged error: 0.0b

Counts

93 → 8

localize35.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt y)
0.7b	(cbrt y)
0.7b	(cbrt y)
1.1b	(pow (cbrt (cbrt y)) (+ 4 1))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 59

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
6.0ms	(pow (cbrt (cbrt y)) (+ 4 1))

series114.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
21.0ms	(cbrt y)
25.0ms	(cbrt y)
46.0ms	(pow (cbrt (cbrt y)) (+ 4 1))

simplify89.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	202	353
1	637	305
2	2101	263
3	5001	262

prune190.0ms

Filtered

55 candidates to 71 candidates (-29.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	71	8	79

Merged error: 0.0b

Counts

79 → 8

regimes700.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	15
1	28	15

end0.0ms

sample2.1s

Algorithm

intervals

sampling

Space saved by range analysis: 74.65893%

Space saved by search: 0.195169%

Guaranteed chance to sample good point: 0%

Results

421.0ms	5866×	body	80	valid
285.0ms	757×	body	640	valid
190.0ms	274×	body	1280	valid
155.0ms	666×	body	320	valid
65.0ms	437×	body	160	valid
8.0ms	108×	body	80	nan
5.0ms	40×	body	80	invalid

Details

sample812.0ms

simplify136.0ms

prune5.0ms

localize13.0ms

rewrite35.0ms

series77.0ms

simplify64.0ms

prune209.0ms

localize22.0ms

rewrite48.0ms

series122.0ms

simplify129.0ms

prune481.0ms

localize27.0ms

rewrite13.0ms

series93.0ms

simplify72.0ms

prune195.0ms

localize35.0ms

rewrite11.0ms

series114.0ms

simplify89.0ms

prune190.0ms

regimes700.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.1s

Profiling