Details

analyze120.0ms (7.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
25%	50%	25.1%	7
31.2%	37.5%	31.3%	8
39%	24.2%	36.8%	9
42.9%	18.3%	38.7%	10
47.2%	11.9%	40.9%	11
49.4%	9.1%	41.6%	12
51.6%	5.9%	42.5%	13
52.7%	4.5%	42.8%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample287.0ms (18.1%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify193.0ms (12.2%)

Algorithm

1×	egg-herbie

Rules

767×	`unsub-neg_binary64`
740×	`*-commutative_binary64`
699×	`fma-def_binary64`
598×	`fma-neg_binary64`
465×	`distribute-neg-out_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	15	10
2	25	10
3	53	10
4	114	10
5	274	10
6	525	10
7	1003	10
8	1777	10
9	2581	10
10	2830	10
11	3137	10
12	3367	10
13	3481	10
14	3481	10
15	4440	10
16	4280	10
17	4600	10
18	4600	10
19	5099	10

prune1.0ms (0.1%)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 27 to 15 computations (44.4% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 re re) (.f64 im im))

series7.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(-.f64 (*.f64 re re) (*.f64 im im))

rewrite3.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64`
1×	`cancel-sign-sub-inv_binary64`
1×	`difference-of-squares_binary64`
1×	`flip--_binary64`
1×	`sub-neg_binary64`

Counts

1 → 17

Calls

1 calls:

3.0ms

(-.f64 (*.f64 re re) (*.f64 im im))

simplify118.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

794×	`distribute-rgt-in_binary64`
735×	`distribute-lft-in_binary64`
561×	`fma-def_binary64`
168×	`fma-neg_binary64`
164×	`unswap-sqr_binary64`

Counts

41 → 28

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	42	480
1	109	434
2	303	428
3	1055	428
4	4694	428
5	4980	428
6	4883	428

prune68.0ms (4.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	28	1	29

Error

Counts

29 → 1

Alt Table

Status	Error	Program
▶	0b	(+.f64 (fma.f64 re re (neg.f64 (.f64 im im))) (fma.f64 (neg.f64 im) im (.f64 im im)))

Compiler

Compiled 360 to 105 computations (70.8% saved)

localize8.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 re re (neg.f64 (*.f64 im im)))
✓	39.8b	(fma.f64 (neg.f64 im) im (*.f64 im im))

series12.0ms (0.8%)

Counts

2 → 36

Calls

2 calls:

7.0ms	(fma.f64 re re (neg.f64 (*.f64 im im)))
5.0ms	(fma.f64 (neg.f64 im) im (*.f64 im im))

rewrite1.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`
2×	`add-exp-log_binary64`

Counts

2 → 20

Calls

2 calls:

0.0ms	(fma.f64 re re (neg.f64 (*.f64 im im)))
0.0ms	(fma.f64 (neg.f64 im) im (*.f64 im im))

simplify88.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

510×	`*-commutative_binary64`
296×	`associate-l_binary64`
274×	`exp-prod_binary64`
268×	`neg-sub0_binary64`
256×	`associate-r_binary64`

Counts

56 → 42

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	35	487
1	50	439
2	108	383
3	346	383
4	1557	383
5	3582	383
6	4561	383
7	4989	383
8	4884	383

prune24.0ms (1.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	1	43

Error

Counts

43 → 1

Alt Table

Status	Error	Program
✓	0b	(+.f64 (fma.f64 re re (neg.f64 (.f64 im im))) (fma.f64 (neg.f64 im) im (.f64 im im)))

Compiler

Compiled 766 to 157 computations (79.5% saved)

regimes153.0ms (9.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

32 → 1

Compiler

Compiled 2395 to 1511 computations (36.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	18	22
2	22	22
3	24	22
4	24	22

end0.0ms (0%)

Compiler: Compiled 17 to 8 computations (52.9% saved)

sample491.0ms (31.1%)

Algorithm

1×

intervals

Results

252.0ms	8000×	body	128	valid
4.0ms	164×	body	128	invalid

Compiler

Compiled 46 to 24 computations (47.8% saved)

Details

analyze120.0ms (7.6%)

sample287.0ms (18.1%)

simplify193.0ms (12.2%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

series7.0ms (0.4%)

rewrite3.0ms (0.2%)

simplify118.0ms (7.4%)

prune68.0ms (4.3%)

localize8.0ms (0.5%)

series12.0ms (0.8%)

rewrite1.0ms (0.1%)

simplify88.0ms (5.6%)

prune24.0ms (1.5%)

regimes153.0ms (9.7%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample491.0ms (31.1%)

Profiling