Details

analyze126.0ms (6.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)

sample1.1s (54.7%)

Results

755.0ms	8256×	body	128	valid
14.0ms	161×	body	128	invalid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify194.0ms (10.1%)

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.2%)

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

simplify63.0ms (3.3%)

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

prune19.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

Counts

29 → 2

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (+.f64 re im) (-.f64 re im))
	32.8b	(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im im (*.f64 re re)))

Compiler

Compiled 376 to 119 computations (68.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

7.0ms

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

rewrite12.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
18×	`prod-diff_binary64`
17×	`add-cube-cbrt_binary64`
13×	`distribute-lft-in_binary64`

Counts

1 → 57

Calls

1 calls:

8.0ms

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

simplify67.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

835×	`distribute-rgt-in_binary64`
791×	`distribute-lft-in_binary64`
673×	`fma-def_binary64`
212×	`exp-prod_binary64`
145×	`associate-l_binary64`

Counts

81 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1280
1	290	1202
2	1128	1112
3	4796	1112
4	4937	1112

prune30.0ms (1.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	84	2	86

Error

Counts

86 → 2

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (+.f64 re im) (-.f64 re im))
▶	0.0b	(+.f64 (.f64 re (+.f64 re im)) (.f64 (neg.f64 im) (+.f64 re im)))

Compiler

Compiled 1646 to 390 computations (76.3% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series21.0ms (1.1%)

Counts

3 → 72

Calls

3 calls:

8.0ms	(+.f64 (.f64 re (+.f64 re im)) (.f64 (neg.f64 im) (+.f64 re im)))
7.0ms	(*.f64 (neg.f64 im) (+.f64 re im))
5.0ms	(*.f64 re (+.f64 re im))

rewrite20.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-l_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`associate-*r/_binary64`
9×	`add-cube-cbrt_binary64`

Counts

3 → 82

Calls

3 calls:

5.0ms	(*.f64 (neg.f64 im) (+.f64 re im))
5.0ms	(+.f64 (.f64 re (+.f64 re im)) (.f64 (neg.f64 im) (+.f64 re im)))
4.0ms	(*.f64 re (+.f64 re im))

simplify104.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

412×	`associate-+l+_binary64`
303×	`distribute-rgt-neg-out_binary64`
289×	`distribute-lft-neg-out_binary64`
213×	`fma-neg_binary64`
210×	`associate-l_binary64`

Counts

154 → 146

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	138	1723
1	443	1639
2	1909	1617
3	4962	1617
4	5000	1617
5	4966	1617

prune58.0ms (3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	146	2	148

Error

Counts

148 → 2

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (+.f64 re im) (-.f64 re im))
✓	0.0b	(+.f64 (.f64 re (+.f64 re im)) (.f64 (neg.f64 im) (+.f64 re im)))

Compiler

Compiled 2677 to 542 computations (79.8% saved)

regimes87.0ms (4.5%)

Accuracy

Total 0.0b remaining (60%)

Threshold costs 0.0b (60%)

Counts

15 → 1

Compiler

Compiled 1037 to 609 computations (41.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	15	10
3	17	10
4	18	10
5	18	10

end36.0ms (1.9%)

Compiler: Compiled 41 to 22 computations (46.3% saved)

Details

analyze126.0ms (6.6%)

sample1.1s (54.7%)

simplify194.0ms (10.1%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series7.0ms (0.4%)

rewrite3.0ms (0.2%)

simplify63.0ms (3.3%)

prune19.0ms (1%)

localize4.0ms (0.2%)

series7.0ms (0.4%)

rewrite12.0ms (0.6%)

simplify67.0ms (3.5%)

prune30.0ms (1.6%)

localize6.0ms (0.3%)

series21.0ms (1.1%)

rewrite20.0ms (1%)

simplify104.0ms (5.4%)

prune58.0ms (3%)

regimes87.0ms (4.5%)

simplify2.0ms (0.1%)

end36.0ms (1.9%)

Profiling