Details

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

sample836.0ms (56.9%)

Symmetry

(sort re im)

Results

721.0ms	8256×	body	128	valid
12.0ms	155×	body	128	invalid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify22.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

367×	`fma-neg_binary64`
241×	`fma-def_binary64`
191×	`rules-11_binary64`
177×	`rules-40_binary64`
177×	`rules-41_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	42	10
2	158	10
3	635	10
4	22	10

prune2.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

29.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.9b	(-.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))

series10.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

9.0ms

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

rewrite62.0ms (4.3%)

Algorithm

2×	batch-egg-rewrite

Rules

716×	`log1p-expm1-u_binary64`
716×	`expm1-log1p-u_binary64`
664×	`prod-diff_binary64`
126×	`egg-rr`
70×	`add-sqr-sqrt_binary64`

Counts

1 → 126

Calls

1 calls:

59.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	156	10
2	2030	10
3	5762	10
0	0	0
1	0	0

simplify22.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

156×	`fma-neg_binary64`
116×	`rules-11_binary64`
108×	`rules-40_binary64`
108×	`rules-41_binary64`
108×	`rules-42_binary64`

Counts

150 → 130

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	168
1	50	168
2	131	168
3	417	168
4	39	168

prune60.0ms (4.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	127	3	130
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	128	3	131

Error

14.6b

Counts

131 → 3

Alt Table

Status	Error	Program
	42.3b	(*.f64 -1 (pow.f64 im 2))
▶	27.6b	(fabs.f64 (-.f64 (.f64 re re) (.f64 im im)))
	29.9b	(*.f64 (-.f64 re im) (+.f64 re im))

Compiler

Compiled 2985 to 896 computations (70% 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))

prune57.0ms (3.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	130	3	133

Error

14.6b

Counts

133 → 3

Alt Table

Status	Error	Program
	42.3b	(*.f64 -1 (pow.f64 im 2))
✓	27.6b	(fabs.f64 (-.f64 (.f64 re re) (.f64 im im)))
▶	29.9b	(*.f64 (-.f64 re im) (+.f64 re im))

Compiler

Compiled 3105 to 1020 computations (67.1% saved)

localize4.0ms (0.3%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

14.6b

Counts

3 → 3

Alt Table

Status	Error	Program
▶	42.3b	(*.f64 -1 (pow.f64 im 2))
✓	27.6b	(fabs.f64 (-.f64 (.f64 re re) (.f64 im im)))
✓	29.9b	(*.f64 (-.f64 re im) (+.f64 re im))

Compiler

Compiled 33 to 23 computations (30.3% saved)

localize3.0ms (0.2%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

14.6b

Counts

3 → 3

Alt Table

Status	Error	Program
✓	42.3b	(*.f64 -1 (pow.f64 im 2))
✓	27.6b	(fabs.f64 (-.f64 (.f64 re re) (.f64 im im)))
✓	29.9b	(*.f64 (-.f64 re im) (+.f64 re im))

Compiler

Compiled 26 to 17 computations (34.6% saved)

regimes152.0ms (10.4%)

Accuracy

Total 16.1b remaining (100%)

Threshold costs 0b (0%)

Counts

10 → 4

Compiler

Compiled 594 to 389 computations (34.5% saved)

bsearch51.0ms (3.4%)

Steps

Iters	Range	Point
9	1.1761363830720572e-104	5.5467966429577934e-99	1.1889651816851656e-104
7	1.947867213603836e-272	1.2060679315493045e-270	1.1840441682350725e-270
8	-6.654384842010358e-188	-2.39442153272465e-191	-6.525878602474528e-188

Iters

Range

Point

1.1761363830720572e-104

5.5467966429577934e-99

1.1889651816851656e-104

1.947867213603836e-272

1.2060679315493045e-270

1.1840441682350725e-270

-6.654384842010358e-188

-2.39442153272465e-191

-6.525878602474528e-188

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	59
1	21	59

end58.0ms (4%)

Remove: (sort re im)
Compiler: Compiled 194 to 93 computations (52.1% saved)

Details

analyze117.0ms (8%)

sample836.0ms (56.9%)

simplify22.0ms (1.5%)

prune2.0ms (0.1%)

localize4.0ms (0.3%)

series10.0ms (0.6%)

rewrite62.0ms (4.3%)

simplify22.0ms (1.5%)

prune60.0ms (4.1%)

localize5.0ms (0.3%)

prune57.0ms (3.9%)

localize4.0ms (0.3%)

prune2.0ms (0.1%)

localize3.0ms (0.2%)

prune2.0ms (0.1%)

regimes152.0ms (10.4%)

bsearch51.0ms (3.4%)

simplify2.0ms (0.1%)

end58.0ms (4%)

Profiling