Details

sample18.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 16.647339%

Guaranteed chance to sample good point: 99.992677%

Results

7.0ms	256×	body	80	valid
2.0ms	57×	body	80	invalid

simplify197.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	15	5
1	38	4
2	80	4
3	118	4
4	174	4
5	365	4
6	1299	4
7	4620	4
8	5001	4

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.0b

Counts

2 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
0.2b	(* 0.12900613773279798 (* x x))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 43

Calls

2 calls:

5.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
5.0ms	(* 0.12900613773279798 (* x x))

series11.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
3.0ms	(* 0.12900613773279798 (* x x))

simplify147.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	190	227
1	849	198
2	4408	197
3	5001	197

prune49.0ms

Filtered

28 candidates to 49 candidates (-75.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	47	4	51

Merged error: 0b

Counts

51 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 0.954929658551372) (neg (* 0.12900613773279798 (pow x 3))))
0.1b	(* 0.12900613773279798 (pow x 3))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
12×	`associate-r`
7×	`add-exp-log`
6×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`unpow-prod-down` `cube-prod` `add-cbrt-cube` `unswap-sqr`
3×	`associate-l` `prod-exp`
2×	`pow1` `sum-log` `sqr-pow`
1×	`+-commutative` `neg-sub0` `cube-mult` `pow-to-exp` `associate-+r-` `flip3-+` `unpow3` `unsub-neg` `neg-log` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`

Counts

2 → 46

Calls

2 calls:

4.0ms	(+ (* x 0.954929658551372) (neg (* 0.12900613773279798 (pow x 3))))
8.0ms	(* 0.12900613773279798 (pow x 3))

series12.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ (* x 0.954929658551372) (neg (* 0.12900613773279798 (pow x 3))))
4.0ms	(* 0.12900613773279798 (pow x 3))

simplify40.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	216	238
1	1062	207
2	5002	207

prune57.0ms

Filtered

31 candidates to 52 candidates (-67.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	52	4	56

Merged error: 0b

Counts

56 → 4

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
0.1b	(* 0.12900613773279798 (* (* x x) x))
0.2b	(* (* x x) x)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1`
17×	`add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `pow-plus` `pow-prod-up`
5×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`pow2` `pow-sqr` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `pow3` `flip--` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

3.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
8.0ms	(* 0.12900613773279798 (* (* x x) x))
5.0ms	(* (* x x) x)

series15.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
4.0ms	(* 0.12900613773279798 (* (* x x) x))
3.0ms	(* (* x x) x)

simplify151.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (146.0ms)

Iter	Nodes	Cost
0	215	272
1	848	214
2	4603	210
3	5001	206

prune51.0ms

Filtered

36 candidates to 70 candidates (-94.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	70	4	74

Merged error: 0b

Counts

74 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt x) (cbrt x))
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite12.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:

5.0ms	(* (cbrt x) (cbrt x))
3.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series89.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (cbrt x) (cbrt x))
20.0ms	(cbrt x)
20.0ms	(cbrt x)
22.0ms	(cbrt x)

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	252

prune64.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	85	4	89

Merged error: 0b

Counts

89 → 4

regimes56.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	16	5
1	18	5
2	18	5

end0.0ms

sample430.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 16.647339%

Guaranteed chance to sample good point: 99.992677%

Results

221.0ms	8000×	body	80	valid
57.0ms	2015×	body	80	invalid

Details

sample18.0ms

simplify197.0ms

prune6.0ms

localize5.0ms

rewrite11.0ms

series11.0ms

simplify147.0ms

prune49.0ms

localize7.0ms

rewrite13.0ms

series12.0ms

simplify40.0ms

prune57.0ms

localize6.0ms

rewrite18.0ms

series15.0ms

simplify151.0ms

prune51.0ms

localize9.0ms

rewrite12.0ms

series89.0ms

simplify72.0ms

prune64.0ms

regimes56.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample430.0ms

Profiling