Details

sample258.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 75.012213%

Space saved by search: 75.012213%

Guaranteed chance to sample good point: 0%

Results

191.0ms	256×	pre	80	true
20.0ms	42×	body	1280	valid
10.0ms	149×	body	80	valid
10.0ms	32×	body	640	valid
5.0ms	26×	body	320	valid
1.0ms	7×	body	160	valid

simplify376.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	6
1	18	6
2	21	6
3	22	6
4	22	6

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: 0.1b

Counts

2 → 1

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
0.1b	(* e (sin v))
0.1b	(* e (cos v))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
12×	`add-exp-log` `add-cbrt-cube`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`associate-r` `associate-l`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/r/` `*-commutative` `unswap-sqr`
1×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `associate-/l*`

Counts

3 → 59

Calls

3 calls:

6.0ms	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
4.0ms	(* e (sin v))
6.0ms	(* e (cos v))

series45.0ms

Counts

3 → 9

Calls

3 calls:

22.0ms	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
8.0ms	(* e (sin v))
15.0ms	(* e (cos v))

simplify42.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	295	396
1	1372	344
2	5001	344

prune100.0ms

Filtered

48 candidates to 68 candidates (-41.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	61	7	68
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	61	8	69

Merged error: 0.0b

Counts

69 → 8

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (+ 1.0 (* e (cos v))) (sin v))
0.1b	(* e (cos v))
0.2b	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
57×	`add-sqr-sqrt`
55×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-/r*`
12×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`cbrt-undiv` `div-exp`
3×	`associate-r` `associate-l` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`flip3-+` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 117

Calls

3 calls:

5.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
4.0ms	(* e (cos v))
7.0ms	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

series44.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
6.0ms	(* e (cos v))
20.0ms	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

simplify64.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	518	1298
1	2327	1224
2	5002	1224

prune166.0ms

Filtered

101 candidates to 126 candidates (-24.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	127	7	134

Merged error: 0b

Counts

134 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (+ 1.0 (* e (cos v))) (sin v))
0.1b	(* e (cos v))
0.3b	(/ (sqrt e) (/ (/ (+ 1.0 (* e (cos v))) (sin v)) (sqrt e)))
0.3b	(/ (/ (+ 1.0 (* e (cos v))) (sin v)) (sqrt e))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

1566×	`times-frac`
742×	`add-sqr-sqrt`
740×	`add-cube-cbrt` `*-un-lft-identity`
564×	`sqrt-prod`
91×	`associate-/r*`
59×	`div-inv`
22×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
10×	`cbrt-undiv` `div-exp`
6×	`pow1`
4×	`add-log-exp`
3×	`frac-2neg` `associate-r` `associate-l` `clear-num` `associate-/l/`
1×	`flip3-+` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 756

Calls

4 calls:

5.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
4.0ms	(* e (cos v))
28.0ms	(/ (sqrt e) (/ (/ (+ 1.0 (* e (cos v))) (sin v)) (sqrt e)))
10.0ms	(/ (/ (+ 1.0 (* e (cos v))) (sin v)) (sqrt e))

series86.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
7.0ms	(* e (cos v))
29.0ms	(/ (sqrt e) (/ (/ (+ 1.0 (* e (cos v))) (sin v)) (sqrt e)))
35.0ms	(/ (/ (+ 1.0 (* e (cos v))) (sin v)) (sqrt e))

simplify167.0ms

Algorithm

egg-herbie

Counts

768 → 768

Iterations

Useful iterations: 1 (48.0ms)

Iter	Nodes	Cost
0	2327	14946
1	5001	14415

prune686.0ms

Filtered

385 candidates to 768 candidates (-99.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	768	0	768
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	768	7	775

Merged error: 0b

Counts

775 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))
0.5b	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))
0.5b	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))
0.5b	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

103×	`cbrt-prod`
81×	`add-sqr-sqrt`
69×	`times-frac`
57×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 144

Calls

4 calls:

16.0ms	(* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))
4.0ms	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))
4.0ms	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))
4.0ms	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))

series140.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))) (cbrt (/ (+ 1.0 (* e (cos v))) (sin v))))
30.0ms	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))
34.0ms	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))
32.0ms	(cbrt (/ (+ 1.0 (* e (cos v))) (sin v)))

simplify57.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	412	2635
1	1439	2525
2	5002	2382

prune366.0ms

Filtered

126 candidates to 156 candidates (-23.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	156	7	163

Merged error: 0b

Counts

163 → 7

regimes170.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	6
1	12	6

end0.0ms

sample1.9s

Algorithm

intervals

sampling

Space saved by range analysis: 75.012213%

Space saved by search: 75.012213%

Guaranteed chance to sample good point: 0%

Results

664.0ms	1435×	body	1280	valid
352.0ms	1212×	body	640	valid
287.0ms	4365×	body	80	valid
152.0ms	8000×	pre	80	true
137.0ms	663×	body	320	valid
46.0ms	325×	body	160	valid

Details

sample258.0ms

simplify376.0ms

prune5.0ms

localize26.0ms

rewrite19.0ms

series45.0ms

simplify42.0ms

prune100.0ms

localize10.0ms

rewrite21.0ms

series44.0ms

simplify64.0ms

prune166.0ms

localize13.0ms

rewrite112.0ms

series86.0ms

simplify167.0ms

prune686.0ms

localize19.0ms

rewrite34.0ms

series140.0ms

simplify57.0ms

prune366.0ms

regimes170.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling