Details

analyze357.0ms (26%)

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)

sample15.0ms (1.1%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify262.0ms (19.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)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite19.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64`
5×	`flip3--_binary64`
5×	`add-cube-cbrt_binary64`
4×	`pow1_binary64`
4×	`add-sqr-sqrt_binary64`

Counts

1 → 47

Calls

1 calls:

17.0ms

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

series18.0ms (1.3%)

Counts

1 → 24

Calls

1 calls:

18.0ms

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

simplify102.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

640×	`fma-neg_binary64`
581×	`cancel-sign-sub-inv_binary64`
286×	`neg-mul-1_binary64`
254×	`distribute-rgt-neg-in_binary64`
221×	`distribute-lft-neg-in_binary64`

Counts

71 → 112

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	68	866
1	176	793
2	553	785
3	1931	785
4	3877	785
5	4981	785
6	4824	785

prune26.0ms (1.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	1	113

Error

Counts

113 → 1

Alt Table

Status	Error	Program
▶	0b	(*.f64 (+.f64 re im) (-.f64 re im))

Compiler

Compiled 988 to 228 computations (76.9% saved)

localize4.0ms (0.3%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify9.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune2.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Error

Counts

1 → 1

Alt Table

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

regimes90.0ms (6.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 1139 to 722 computations (36.6% saved)

simplify3.0ms (0.2%)

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

end0.0ms (0%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

sample457.0ms (33.4%)

Algorithm

1×

intervals

Results

221.0ms	8000×	body	128	valid
4.0ms	152×	body	128	invalid

Compiler

Compiled 30 to 18 computations (40% saved)

Details

analyze357.0ms (26%)

sample15.0ms (1.1%)

simplify262.0ms (19.1%)

prune1.0ms (0.1%)

localize5.0ms (0.3%)

rewrite19.0ms (1.4%)

series18.0ms (1.3%)

simplify102.0ms (7.5%)

prune26.0ms (1.9%)

localize4.0ms (0.3%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify9.0ms (0.6%)

prune2.0ms (0.2%)

regimes90.0ms (6.5%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample457.0ms (33.4%)

Profiling