Details

analyze529.0ms (10.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample2.0s (38.9%)

Results

898.0ms	6294×	body	128	valid
383.0ms	540×	body	4096	valid
342.0ms	644×	body	2048	valid
222.0ms	409×	body	1024	valid
74.0ms	230×	body	512	valid
31.0ms	139×	body	256	valid

Compiler

Compiled 57 to 40 computations (29.8% saved)

simplify29.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

203×	`fma-def_binary64`
142×	`fma-neg_binary64`
51×	`distribute-rgt-in_binary64`
42×	`cancel-sign-sub-inv_binary64`
28×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

12.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	38.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
▶	12.2b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))

Compiler

Compiled 85 to 61 computations (28.2% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
✓	0.0b	(hypot.f64 re im)
✓	0.2b	(-.f64 (hypot.f64 re im) re)

series73.0ms (1.4%)

Counts

3 → 56

Calls

3 calls:

47.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
14.0ms	(-.f64 (hypot.f64 re im) re)
12.0ms	(hypot.f64 re im)

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
6×	`pow1_binary64`

Counts

3 → 55

Calls

3 calls:

6.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
3.0ms	(-.f64 (hypot.f64 re im) re)
0.0ms	(hypot.f64 re im)

simplify87.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

994×	`fma-neg_binary64`
747×	`times-frac_binary64`
413×	`cancel-sign-sub-inv_binary64`
173×	`fma-def_binary64`
158×	`sub-neg_binary64`

Counts

111 → 136

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	238	2332
1	611	2069
2	2078	1999
3	4466	1989
4	5015	1989

prune86.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	132	4	136
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	133	5	138

Error

0.1b

Counts

138 → 5

Alt Table

Status	Error	Program
▶	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	53.3b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) -1/16))))
	49.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	56.7b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓	12.2b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))

Compiler

Compiled 3313 to 2168 computations (34.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (hypot.f64 re im))
	0.0b	(hypot.f64 re im)
✓	0.0b	(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))
✓	13.7b	(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

series164.0ms (3.2%)

Counts

3 → 26

Calls

3 calls:

103.0ms

(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))

41.0ms

(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

20.0ms

(sqrt.f64 (hypot.f64 re im))

rewrite4.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`sqrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`

Counts

3 → 38

Calls

3 calls:

2.0ms

(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))

1.0ms

(sqrt.f64 (hypot.f64 re im))

0.0ms

(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

simplify71.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

630×	`fma-def_binary64`
337×	`associate-/l*_binary64`
311×	`times-frac_binary64`
291×	`fma-neg_binary64`
289×	`cancel-sign-sub-inv_binary64`

Counts

64 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	206	1414
1	518	1316
2	1585	1263
3	4927	1261
4	5024	1261

prune125.0ms (2.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	207	0	207
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	207	5	212

Error

0.1b

Counts

212 → 5

Alt Table

Status	Error	Program
✓	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	53.3b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) -1/16))))
▶	49.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	56.7b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓	12.2b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))

Compiler

Compiled 5662 to 3301 computations (41.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (/.f64 1 re))
✓	0.1b	(.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
✓	0.4b	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im))
✓	0.4b	(*.f64 (sqrt.f64 2) im)

series40.0ms (0.8%)

Counts

4 → 0

Calls

4 calls:

25.0ms	(.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
6.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im))
5.0ms	(sqrt.f64 (/.f64 1 re))
3.0ms	(*.f64 (sqrt.f64 2) im)

rewrite29.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`sqrt-prod_binary64`
32×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
22×	`pow1_binary64`

Counts

4 → 114

Calls

4 calls:

10.0ms	(.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
6.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im))
4.0ms	(*.f64 (sqrt.f64 2) im)
2.0ms	(sqrt.f64 (/.f64 1 re))

simplify101.0ms (2%)

Algorithm

1×	egg-herbie

Rules

468×	`associate-/l*_binary64`
420×	`*-commutative_binary64`
403×	`unswap-sqr_binary64`
271×	`sqr-pow_binary64`
214×	`associate-l_binary64`

Counts

114 → 143

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	121	1600
1	239	1498
2	789	1498
3	1286	1498
4	2620	1498
5	3060	1498
6	4473	1498
7	5012	1498

prune150.0ms (2.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	136	7	143
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	138	10	148

Error

0.0b

Counts

148 → 10

Alt Table

Status	Error	Program
	56.7b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	49.1b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 (sqrt.f64 re)))) (sqrt.f64 (/.f64 1 (sqrt.f64 re)))))
✓	12.2b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	49.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (/.f64 1 (sqrt.f64 re))))
	52.7b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (cbrt.f64 (/.f64 (sqrt.f64 (/.f64 1 re)) re))))
✓	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	49.3b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 re))) (cbrt.f64 (sqrt.f64 (/.f64 1 re))))) (cbrt.f64 (sqrt.f64 (/.f64 1 re)))))
	50.0b	(.f64 1/2 (exp.f64 (log.f64 (.f64 (.f64 (.f64 (sqrt.f64 2) im) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))))
▶	49.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re))))
	49.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)))) (sqrt.f64 (/.f64 1 re))))

Compiler

Compiled 3292 to 2786 computations (15.4% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re)))
✓	0.2b	(*.f64 (sqrt.f64 (sqrt.f64 2)) im)
✓	0.3b	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))
✓	0.4b	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)))

series38.0ms (0.7%)

Counts

4 → 36

Calls

4 calls:

25.0ms	(.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re)))
6.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)))
5.0ms	(*.f64 (sqrt.f64 (sqrt.f64 2)) im)
3.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))

rewrite47.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`sqrt-prod_binary64`
34×	`add-cbrt-cube_binary64`
34×	`add-exp-log_binary64`
34×	`pow1_binary64`
27×	`add-sqr-sqrt_binary64`

Counts

4 → 120

Calls

4 calls:

16.0ms	(.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re)))
11.0ms	(.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)))
7.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) im))
5.0ms	(*.f64 (sqrt.f64 (sqrt.f64 2)) im)

simplify103.0ms (2%)

Algorithm

1×	egg-herbie

Rules

746×	`associate-/l*_binary64`
609×	`*-commutative_binary64`
357×	`associate-/r*_binary64`
331×	`associate-l_binary64`
320×	`unswap-sqr_binary64`

Counts

156 → 166

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	140	2349
1	301	2120
2	1133	2120
3	1939	2120
4	4346	2120
5	5205	2120

prune116.0ms (2.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	3	4	7
Picked	0	1	1
Done	0	2	2
Total	168	8	176

Error

0.0b

Counts

176 → 8

Alt Table

Status	Error	Program
	56.7b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	49.1b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 (sqrt.f64 re)))) (sqrt.f64 (/.f64 1 (sqrt.f64 re)))))
✓	13.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	49.1b	(.f64 1/2 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im)) (sqrt.f64 (/.f64 1 re)))))
	50.0b	(.f64 1/2 (exp.f64 (log.f64 (.f64 (.f64 (.f64 (sqrt.f64 2) im) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))))
✓	12.2b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
✓	49.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) im))) (sqrt.f64 (/.f64 1 re))))
	49.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 im)))) (sqrt.f64 (/.f64 1 re))))

Compiler

Compiled 4325 to 3819 computations (11.7% saved)

regimes1.1s (22.2%)

Accuracy

Total 6.2b remaining (98%)

Threshold costs 0b (0%)

Counts

108 → 2

Compiler

Compiled 14808 to 12722 computations (14.1% saved)

bsearch4.0ms (0.1%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
4×	`+-commutative_binary64`
3×	`sub-neg_binary64`
1×	`*-rgt-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	68
1	46	68
2	51	68
3	53	68
4	54	68
5	52	68

end149.0ms (2.9%)

Compiler: Compiled 242 to 196 computations (19% saved)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Details

analyze529.0ms (10.2%)

sample2.0s (38.9%)

simplify29.0ms (0.6%)

prune5.0ms (0.1%)

localize8.0ms (0.2%)

series73.0ms (1.4%)

rewrite13.0ms (0.2%)

simplify87.0ms (1.7%)

prune86.0ms (1.7%)

localize9.0ms (0.2%)

series164.0ms (3.2%)

rewrite4.0ms (0.1%)

simplify71.0ms (1.4%)

prune125.0ms (2.4%)

localize11.0ms (0.2%)

series40.0ms (0.8%)

rewrite29.0ms (0.6%)

simplify101.0ms (2%)

prune150.0ms (2.9%)

localize12.0ms (0.2%)

series38.0ms (0.7%)

rewrite47.0ms (0.9%)

simplify103.0ms (2%)

prune116.0ms (2.2%)

regimes1.1s (22.2%)

bsearch4.0ms (0.1%)

simplify4.0ms (0.1%)

end149.0ms (2.9%)

Profiling

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15