Details

sample132.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 24.682981%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

6.0ms	256×	body	80	valid
0.0ms	1×	body	80	invalid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	23	3
2	38	3
3	47	3
4	47	3

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

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(* x (- 1.0 (* x y)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

5.0ms

(* x (- 1.0 (* x y)))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(* x (- 1.0 (* x y)))

simplify88.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	122	130
1	534	113
2	2890	113
3	5001	113

prune44.0ms

Filtered

16 candidates to 27 candidates (-68.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	22	5	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	6	28

Merged error: 0.0b

Counts

28 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

2.0ms	(cbrt (- 1.0 (* x y)))
2.0ms	(cbrt (- 1.0 (* x y)))
2.0ms	(cbrt (- 1.0 (* x y)))
9.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

series167.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(cbrt (- 1.0 (* x y)))
38.0ms	(cbrt (- 1.0 (* x y)))
41.0ms	(cbrt (- 1.0 (* x y)))
48.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

simplify48.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	352	1118
1	1354	1067
2	5001	1012

prune251.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	96	9	105

Merged error: 0.0b

Counts

105 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
0.2b	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
0.2b	(cbrt (cbrt (- 1.0 (* x y))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

48×	`cbrt-div`
42×	`cbrt-prod`
38×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`flip3--` `flip--`
18×	`pow1`
14×	`pow1/3`
12×	`frac-times` `swap-sqr` `associate-r` `associate-l`
8×	`add-exp-log` `unswap-sqr`
6×	`associate-r/` `associate-l/`
4×	`pow-prod-down` `pow-sqr` `pow-prod-up` `add-cbrt-cube` `add-log-exp`
2×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 129

Calls

4 calls:

11.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
9.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
7.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
3.0ms	(cbrt (cbrt (- 1.0 (* x y))))

series187.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
49.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
50.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
39.0ms	(cbrt (cbrt (- 1.0 (* x y))))

simplify60.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	465	1755
1	1743	1687
2	5001	1562

prune444.0ms

Filtered

99 candidates to 141 candidates (-42.4%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	2	4	6
Picked	0	1	1
Done	0	2	2
Total	141	9	150

Merged error: 0.0b

Counts

150 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
0.2b	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
0.2b	(* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))))
0.2b	(cbrt (cbrt (- 1.0 (* x y))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

404×	`cbrt-div`
144×	`frac-times`
121×	`flip3--` `flip--`
48×	`associate-r/` `associate-l/`
19×	`cbrt-prod`
14×	`add-sqr-sqrt`
11×	`pow1`
10×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1/3`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `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 → 164

Calls

4 calls:

7.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
7.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
13.0ms	(* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))))
3.0ms	(cbrt (cbrt (- 1.0 (* x y))))

series196.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
50.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
59.0ms	(* (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))))
39.0ms	(cbrt (cbrt (- 1.0 (* x y))))

simplify87.0ms

Algorithm

egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	590	4924
1	1856	4797
2	5001	4689

prune685.0ms

Filtered

93 candidates to 176 candidates (-89.2%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	176	9	185

Merged error: 0.0b

Counts

185 → 9

regimes198.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	8	3
1	8	3

end0.0ms

sample396.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 24.682981%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

187.0ms	8000×	body	80	valid
1.0ms	40×	body	80	invalid

Details

sample132.0ms

simplify7.0ms

prune3.0ms

localize5.0ms

rewrite6.0ms

series10.0ms

simplify88.0ms

prune44.0ms

localize11.0ms

rewrite18.0ms

series167.0ms

simplify48.0ms

prune251.0ms

localize13.0ms

rewrite34.0ms

series187.0ms

simplify60.0ms

prune444.0ms

localize16.0ms

rewrite44.0ms

series196.0ms

simplify87.0ms

prune685.0ms

regimes198.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample396.0ms

Profiling