Details

analyze598.0ms (36.3%)

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)

sample17.0ms (1%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify358.0ms (21.7%)

Algorithm

1×	egg-herbie

Rules

3990×	`distribute-rgt-in_binary64`
2232×	`associate--r-_binary64`
1285×	`sub-neg_binary64`
783×	`unsub-neg_binary64`
740×	`*-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	14	10
2	24	10
3	49	10
4	99	10
5	225	10
6	350	10
7	728	10
8	1111	10
9	1915	10
10	2164	10
11	2471	10
12	2701	10
13	2815	10
14	2815	10
15	3774	10
16	3614	10
17	3934	10
18	3934	10
19	3854	10
20	4014	10
21	4094	10
22	4094	10
23	4094	10
24	4859	10
25	4876	10
26	10525	10

prune4.0ms (0.2%)

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)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite17.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64`
1×	`diff-log_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `flip3--_binary64` `*-un-lft-identity_binary64` `sub-neg_binary64` `flip--_binary64` `difference-of-squares_binary64` `cancel-sign-sub-inv_binary64`

Counts

1 → 13

Calls

1 calls:

5.0ms

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

Compiler

Compiled 196 to 47 computations (76% saved)

series42.0ms (2.5%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

38.0ms

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

Compiler

Compiled 161 to 127 computations (21.1% saved)

simplify49.0ms (3%)

Algorithm

1×	egg-herbie

Rules

792×	`distribute-rgt-in_binary64`
734×	`distribute-lft-in_binary64`
713×	`unswap-sqr_binary64`
422×	`unsub-neg_binary64`
253×	`*-commutative_binary64`

Counts

25 → 18

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	318
1	100	273
2	264	273
3	916	273
4	3323	273
5	4871	273

prune9.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	1	19

Error

Counts

19 → 1

Alt Table

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

Compiler

Compiled 106 to 45 computations (57.5% saved)

localize4.0ms (0.3%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.4%)

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

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 im re) (-.f64 re im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

regimes90.0ms (5.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 582 to 376 computations (35.4% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`sub-neg_binary64` `*-commutative_binary64`
1×	`neg-mul-1_binary64` `neg-sub0_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

end1.0ms (0%)

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

sample442.0ms (26.8%)

Algorithm

1×

intervals

Results

180.0ms	8000×	body	128	valid
3.0ms	164×	body	128	invalid

Compiler

Compiled 30 to 18 computations (40% saved)

Details

analyze598.0ms (36.3%)

sample17.0ms (1%)

simplify358.0ms (21.7%)

prune4.0ms (0.2%)

localize6.0ms (0.3%)

rewrite17.0ms (1%)

series42.0ms (2.5%)

simplify49.0ms (3%)

prune9.0ms (0.5%)

localize4.0ms (0.3%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.4%)

prune2.0ms (0.1%)

regimes90.0ms (5.5%)

simplify3.0ms (0.2%)

end1.0ms (0%)

sample442.0ms (26.8%)

Profiling