Details

sample15.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 33.333349%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results

7.0ms

256×

body

valid

simplify193.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.1b

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 55

Calls

3 calls:

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

series16.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify147.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	208	309
1	918	272
2	4620	271
3	5002	271

prune73.0ms

Filtered

39 candidates to 64 candidates (-64.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	59	5	64
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	60	6	66

Merged error: 0.0b

Counts

66 → 6

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:

6.0ms	(+ (* x 0.954929658551372) (neg (* 0.12900613773279798 (pow x 3))))
6.0ms	(* 0.12900613773279798 (pow x 3))

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

simplify39.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	216	235
1	1062	204
2	5001	204

prune68.0ms

Filtered

31 candidates to 52 candidates (-67.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	50	2	52
Fresh	2	2	4
Picked	0	1	1
Done	1	0	1
Total	53	5	58

Merged error: 0b

Counts

58 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 0.954929658551372) (neg (* (* 0.12900613773279798 x) (* x x))))
0.2b	(* (* 0.12900613773279798 x) (* x x))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `sum-log`
1×	`+-commutative` `neg-sub0` `associate-+r-` `flip3-+` `associate-r` `associate-l` `unsub-neg` `neg-log` `*-commutative` `flip-+`

Counts

2 → 37

Calls

2 calls:

4.0ms	(+ (* x 0.954929658551372) (neg (* (* 0.12900613773279798 x) (* x x))))
7.0ms	(* (* 0.12900613773279798 x) (* x x))

series12.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	218	242
1	1031	193
2	5002	180

prune43.0ms

Filtered

22 candidates to 43 candidates (-95.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	43	5	48

Merged error: 0b

Counts

48 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b

(+ (* x 0.954929658551372) (neg (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))))

0.2b

(* (sqrt 0.12900613773279798) (pow x 3))

0.2b

(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 75

Calls

3 calls:

4.0ms

(+ (* x 0.954929658551372) (neg (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))))

7.0ms

(* (sqrt 0.12900613773279798) (pow x 3))

7.0ms

(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))

series29.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms

(+ (* x 0.954929658551372) (neg (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))))

6.0ms

(* (sqrt 0.12900613773279798) (pow x 3))

10.0ms

(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))

simplify54.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	279	498
1	1435	412
2	5001	404

prune109.0ms

Filtered

48 candidates to 84 candidates (-75.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	84	5	89

Merged error: 0b

Counts

89 → 5

regimes30.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

sample300.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 33.333349%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results

218.0ms	8000×	body	80	valid
0.0ms	1×	body	80	invalid

Details

sample15.0ms

simplify193.0ms

prune6.0ms

localize9.0ms

rewrite15.0ms

series16.0ms

simplify147.0ms

prune73.0ms

localize7.0ms

rewrite13.0ms

series13.0ms

simplify39.0ms

prune68.0ms

localize7.0ms

rewrite12.0ms

series12.0ms

simplify40.0ms

prune43.0ms

localize9.0ms

rewrite21.0ms

series29.0ms

simplify54.0ms

prune109.0ms

regimes30.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample300.0ms

Profiling