Details

analyze441.0ms (27.8%)

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)

sample14.0ms (0.9%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify209.0ms (13.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 → 0

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

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 18 to 10 computations (44.4% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (.f64 re re) (.f64 im im))

rewrite32.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

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:

18.0ms

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

Compiler

Compiled 721 to 131 computations (81.8% saved)

series62.0ms (3.9%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

60.0ms

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

Compiler

Compiled 161 to 127 computations (21.1% saved)

simplify94.0ms (5.9%)

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

59 → 29

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	68	746
1	176	673
2	553	665
3	1931	665
4	3877	665
5	4981	665
6	4824	665

prune11.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

30 → 2

Alt Table

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

Compiler

Compiled 313 to 107 computations (65.8% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite38.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

21×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`flip3-+_binary64`
8×	`flip3--_binary64`
8×	`add-sqr-sqrt_binary64`

Counts

1 → 53

Calls

1 calls:

18.0ms

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

Compiler

Compiled 1254 to 234 computations (81.3% saved)

series17.0ms (1.1%)

Error

Counts

1 → 12

Calls

1 calls:

16.0ms

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

Compiler

Compiled 161 to 127 computations (21.1% saved)

simplify69.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

599×	`fma-def_binary64`
352×	`*-commutative_binary64`
292×	`times-frac_binary64`
198×	`cancel-sign-sub-inv_binary64`
167×	`div-sub_binary64`

Counts

65 → 49

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	961
1	306	874
2	1257	854
3	3477	842
4	4919	842

prune13.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	49	2	51

Error

Counts

51 → 2

Alt Table

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

Compiler

Compiled 569 to 193 computations (66.1% saved)

regimes101.0ms (6.4%)

Accuracy

Total 0.0b remaining (85.7%)

Threshold costs 0.0b (85.7%)

Compiler

Compiled 1018 to 574 computations (43.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)

sample471.0ms (29.6%)

Algorithm

1×

intervals

Results

224.0ms	8000×	body	128	valid
4.0ms	145×	body	128	invalid

Compiler

Compiled 39 to 23 computations (41% saved)

Details

analyze441.0ms (27.8%)

sample14.0ms (0.9%)

simplify209.0ms (13.2%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

rewrite32.0ms (2%)

series62.0ms (3.9%)

simplify94.0ms (5.9%)

prune11.0ms (0.7%)

localize4.0ms (0.3%)

rewrite38.0ms (2.4%)

series17.0ms (1.1%)

simplify69.0ms (4.4%)

prune13.0ms (0.8%)

regimes101.0ms (6.4%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample471.0ms (29.6%)

Profiling