Details

sample408.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 92.988517%

Results

49.0ms	64×	body	1280	valid
32.0ms	243×	body	80	valid
27.0ms	53×	body	640	valid
7.0ms	21×	body	320	valid
2.0ms	10×	body	160	valid
2.0ms	1×	body	2560	valid

simplify419.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	31	21
1	53	20
2	84	20
3	203	20
4	879	20
5	5001	20

prune20.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: 34.6b

Counts

2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

2.0b	(* (atan2 x.im x.re) y.im)
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
32.5b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `sqrt-prod` `add-cbrt-cube`
4×	`sqrt-div` `add-log-exp`
3×	`associate-r` `associate-l`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`sin-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 56

Calls

4 calls:

3.0ms	(* (atan2 x.im x.re) y.im)
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
8.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series92.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (atan2 x.im x.re) y.im)
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
73.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify81.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (14.0ms)

Iter	Nodes	Cost
0	206	434
1	539	395
2	1201	392
3	2732	392
4	5002	392

prune153.0ms

Filtered

54 candidates to 68 candidates (-25.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	59	9	68
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	61	9	70

Merged error: 21.7b

Counts

70 → 9

localize27.0ms

Local error

Found 4 expressions with local error:

7.5b	(cbrt (* (atan2 x.im x.re) y.im))
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
32.5b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`cbrt-prod` `sin-sum` `pow1/3`

Counts

4 → 47

Calls

4 calls:

2.0ms	(cbrt (* (atan2 x.im x.re) y.im))
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
6.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series85.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt (* (atan2 x.im x.re) y.im))
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
55.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify67.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 4 (62.0ms)

Iter	Nodes	Cost
0	205	425
1	414	388
2	858	381
3	2175	379
4	5001	377

prune123.0ms

Filtered

50 candidates to 59 candidates (-18.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	59	9	68

Merged error: 21.7b

Counts

68 → 9

localize30.0ms

Local error

Found 4 expressions with local error:

30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
32.5b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
32.5b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
32.5b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
5×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`sin-sum` `sqrt-prod`
2×	`sqrt-div`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 39

Calls

4 calls:

4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
6.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
6.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
6.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series172.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
55.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
54.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
56.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify61.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 4 (55.0ms)

Iter	Nodes	Cost
0	152	580
1	321	508
2	672	505
3	1724	505
4	5001	504

prune137.0ms

Filtered

48 candidates to 51 candidates (-6.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	49	11	60

Merged error: 21.7b

Counts

60 → 11

localize27.0ms

Local error

Found 4 expressions with local error:

12.1b	(cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
32.5b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `sqrt-prod`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube` `add-log-exp`
3×	`unpow-prod-down` `cube-prod`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`cube-mult` `sin-sum` `pow1/3` `unpow3` `rem-cbrt-cube` `sqr-pow`

Counts

4 → 59

Calls

4 calls:

5.0ms	(cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
6.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series120.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
53.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify49.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (14.0ms)

Iter	Nodes	Cost
0	201	743
1	526	731
2	1327	729
3	5001	729

prune112.0ms

Filtered

55 candidates to 71 candidates (-29.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	67	4	71
Fresh	2	6	8
Picked	1	0	1
Done	0	2	2
Total	70	12	82

Merged error: 21.7b

Counts

82 → 12

regimes573.0ms

Accuracy

78.5% (2.9b remaining)

Error of 22.5b against oracle of 19.5b and baseline of 33.3b

bsearch117.0ms

Steps

Iters	Range		Point
10	-9.561096438553283e-307	2.1492374293308147e-294	-4.8501411475075e-310

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	35
1	42	35

end0.0ms

sample4.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 92.988517%

Results

1.7s	2232×	body	1280	valid
895.0ms	8029×	body	80	valid
725.0ms	1457×	body	640	valid
194.0ms	549×	body	320	valid
72.0ms	43×	body	2560	valid
64.0ms	270×	body	160	valid

Details

sample408.0ms

simplify419.0ms

prune20.0ms

localize24.0ms

rewrite22.0ms

series92.0ms

simplify81.0ms

prune153.0ms

localize27.0ms

rewrite16.0ms

series85.0ms

simplify67.0ms

prune123.0ms

localize30.0ms

rewrite23.0ms

series172.0ms

simplify61.0ms

prune137.0ms

localize27.0ms

rewrite20.0ms

series120.0ms

simplify49.0ms

prune112.0ms

regimes573.0ms

bsearch117.0ms

simplify2.0ms

end0.0ms

sample4.3s

Profiling