Details

analyze537.0ms (11.1%)

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 (40.8%)

Results

787.0ms	6203×	body	128	valid
412.0ms	548×	body	4096	valid
411.0ms	667×	body	2048	valid
207.0ms	475×	body	1024	valid
74.0ms	255×	body	512	valid
22.0ms	108×	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

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

13.4b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 51 to 37 computations (27.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series56.0ms (1.2%)

Counts

3 → 56

Calls

3 calls:

32.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
13.0ms	(hypot.f64 re im)
11.0ms	(-.f64 (hypot.f64 re im) re)

rewrite57.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

811×	`log1p-expm1-u_binary64`
811×	`expm1-log1p-u_binary64`
410×	`prod-diff_binary64`
96×	`egg-rr`
85×	`add-sqr-sqrt_binary64`

Counts

3 → 96

Calls

3 calls:

56.0ms	(hypot.f64 re im)
56.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
56.0ms	(-.f64 (hypot.f64 re im) re)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	172	23
2	2053	23
3	5735	23
0	0	0
1	0	0

simplify70.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

618×	`fma-def_binary64`
559×	`fma-neg_binary64`
365×	`associate-/l*_binary64`
347×	`times-frac_binary64`
280×	`cancel-sign-sub-inv_binary64`

Counts

152 → 168

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	158	1505
1	489	1464
2	1585	1399
3	4793	1395
4	5057	1395

prune110.0ms (2.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	163	5	168
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	163	6	169

Error

0.1b

Counts

169 → 6

Alt Table

Status	Error	Program
✓	13.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	56.6b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (-.f64 (.f64 1/32 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2))) (.f64 1/256 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)))) (.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)))))
	15.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (pow.f64 (cbrt.f64 (hypot.f64 re im)) 2)) re))))
▶	13.3b	(.f64 1/2 (.f64 (sqrt.f64 (-.f64 (hypot.f64 re im) re)) (sqrt.f64 2)))
	56.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))

Compiler

Compiled 3730 to 2542 computations (31.8% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series51.0ms (1.1%)

Counts

2 → 16

Calls

2 calls:

31.0ms	(*.f64 (sqrt.f64 (-.f64 (hypot.f64 re im) re)) (sqrt.f64 2))
20.0ms	(sqrt.f64 (-.f64 (hypot.f64 re im) re))

rewrite50.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

865×	`log1p-expm1-u_binary64`
865×	`expm1-log1p-u_binary64`
410×	`prod-diff_binary64`
93×	`add-sqr-sqrt_binary64`
89×	`add-log-exp_binary64`

Counts

2 → 42

Calls

2 calls:

49.0ms	(sqrt.f64 (-.f64 (hypot.f64 re im) re))
49.0ms	(*.f64 (sqrt.f64 (-.f64 (hypot.f64 re im) re)) (sqrt.f64 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	191	21
2	2198	21
3	6062	21
0	0	0
1	0	0

simplify56.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

712×	`fma-def_binary64`
406×	`associate-l_binary64`
402×	`fma-neg_binary64`
293×	`associate-/l*_binary64`
261×	`associate-*l/_binary64`

Counts

58 → 71

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	948
1	408	927
2	1368	854
3	4910	852
4	5120	852

prune145.0ms (3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	193	5	198
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	195	9	204

Error

0.1b

Counts

204 → 9

Alt Table

Status	Error	Program
▶	13.4b	(.f64 1/2 (.f64 (pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2) (sqrt.f64 2)))
	56.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	13.6b	(.f64 1/2 (.f64 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2) (cbrt.f64 (-.f64 (hypot.f64 re im) re)))) (sqrt.f64 2)))
	56.6b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (-.f64 (.f64 1/32 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2))) (.f64 1/256 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)))) (.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)))))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	56.8b	(.f64 1/2 (.f64 (-.f64 (fma.f64 1/32 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (fma.f64 im (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))) 1/256))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (/.f64 (pow.f64 im 3) (sqrt.f64 1/2))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (.f64 1/256 (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (+.f64 (.f64 1/8192 (/.f64 (pow.f64 im 7) (pow.f64 (sqrt.f64 1/2) 5))) (*.f64 5/256 (/.f64 (pow.f64 im 7) (sqrt.f64 1/2)))))))) (sqrt.f64 2)))
	48.1b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) im) (sqrt.f64 (/.f64 1 re))) (sqrt.f64 2)))
	56.7b	(.f64 1/2 (.f64 (sqrt.f64 (.f64 1/2 (/.f64 (.f64 im im) re))) (sqrt.f64 2)))

Compiler

Compiled 4972 to 3525 computations (29.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(hypot.f64 re im)
✓	0.3b	(*.f64 (pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2) (sqrt.f64 2))
✓	0.4b	(pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2)
	0.6b	(-.f64 (hypot.f64 re im) re)

series71.0ms (1.5%)

Counts

2 → 32

Calls

2 calls:

40.0ms	(pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2)
30.0ms	(*.f64 (pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2) (sqrt.f64 2))

rewrite52.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

480×	`log-prod_binary64`
410×	`prod-diff_binary64`
218×	`fma-def_binary64`
190×	`expm1-udef_binary64`
190×	`log1p-udef_binary64`

Counts

2 → 49

Calls

2 calls:

51.0ms	(*.f64 (pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2) (sqrt.f64 2))
51.0ms	(pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	241	21
2	2543	21
3	5099	21
0	0	0
1	0	0

simplify54.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

637×	`associate-/l*_binary64`
607×	`fma-def_binary64`
508×	`associate-/r*_binary64`
247×	`cancel-sign-sub-inv_binary64`
214×	`associate-/r/_binary64`

Counts

81 → 100

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	1850
1	578	1737
2	1832	1534
3	5211	1534

prune173.0ms (3.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	226	1	227
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	226	10	236

Error

0.1b

Counts

236 → 10

Alt Table

Status	Error	Program
✓	13.4b	(.f64 1/2 (.f64 (pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2) (sqrt.f64 2)))
	56.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
▶	13.6b	(.f64 1/2 (.f64 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2) (cbrt.f64 (-.f64 (hypot.f64 re im) re)))) (sqrt.f64 2)))
	56.6b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (-.f64 (.f64 1/32 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2))) (.f64 1/256 (/.f64 (.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)))) (.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)))))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	56.8b	(.f64 1/2 (.f64 (-.f64 (fma.f64 1/32 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (fma.f64 im (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))) 1/256))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (/.f64 (pow.f64 im 3) (sqrt.f64 1/2))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (.f64 1/256 (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (+.f64 (.f64 1/8192 (/.f64 (pow.f64 im 7) (pow.f64 (sqrt.f64 1/2) 5))) (*.f64 5/256 (/.f64 (pow.f64 im 7) (sqrt.f64 1/2)))))))) (sqrt.f64 2)))
	49.1b	(.f64 1/2 (.f64 (fma.f64 (.f64 (.f64 (/.f64 im re) (/.f64 im re)) (pow.f64 (.f64 (sqrt.f64 im) (pow.f64 (/.f64 1/2 re) 1/4)) 2)) -1/8 (pow.f64 (.f64 (sqrt.f64 im) (pow.f64 (/.f64 1/2 re) 1/4)) 2)) (sqrt.f64 2)))
	56.7b	(.f64 1/2 (.f64 (sqrt.f64 (.f64 1/2 (/.f64 (.f64 im im) re))) (sqrt.f64 2)))
	48.1b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) im) (sqrt.f64 (/.f64 1 re))) (sqrt.f64 2)))

Compiler

Compiled 6477 to 4677 computations (27.8% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2) (cbrt.f64 (-.f64 (hypot.f64 re im) re)))) (sqrt.f64 2))
✓	0.3b	(pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2)
✓	0.4b	(cbrt.f64 (-.f64 (hypot.f64 re im) re))
	0.6b	(-.f64 (hypot.f64 re im) re)

series106.0ms (2.2%)

Counts

3 → 56

Calls

3 calls:

40.0ms

(pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2)

35.0ms

(*.f64 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2) (cbrt.f64 (-.f64 (hypot.f64 re im) re)))) (sqrt.f64 2))

30.0ms

(cbrt.f64 (-.f64 (hypot.f64 re im) re))

rewrite55.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

486×	`log-prod_binary64`
410×	`prod-diff_binary64`
245×	`fma-def_binary64`
185×	`expm1-udef_binary64`
185×	`log1p-udef_binary64`

Counts

3 → 69

Calls

3 calls:

54.0ms

(*.f64 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2) (cbrt.f64 (-.f64 (hypot.f64 re im) re)))) (sqrt.f64 2))

54.0ms

(pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2)

54.0ms

(cbrt.f64 (-.f64 (hypot.f64 re im) re))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	234	33
2	2524	33
3	5126	33
0	0	0
1	0	0

simplify77.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

747×	`associate-/l*_binary64`
403×	`cancel-sign-sub-inv_binary64`
237×	`associate-/r/_binary64`
210×	`fma-neg_binary64`
208×	`fma-def_binary64`

Counts

125 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	3077
1	857	2892
2	2542	2743
3	5389	2743

prune280.0ms (5.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	377	1	378
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	378	10	388

Error

0.1b

Counts

388 → 10

Alt Table

Status	Error	Program
	54.8b	(.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 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) -1/16))))
	48.1b	(.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 1/2) im) (sqrt.f64 (/.f64 1 re))) (sqrt.f64 2)))
✓	13.4b	(.f64 1/2 (.f64 (pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 1/4) 2) (sqrt.f64 2)))
	56.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.4b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
✓	13.6b	(.f64 1/2 (.f64 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2) (cbrt.f64 (-.f64 (hypot.f64 re im) re)))) (sqrt.f64 2)))
	48.1b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
	56.8b	(.f64 1/2 (.f64 (-.f64 (fma.f64 1/32 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (fma.f64 im (.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (pow.f64 im 7) (sqrt.f64 1/2))) 1/256))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (/.f64 (pow.f64 im 3) (sqrt.f64 1/2))) (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (.f64 1/256 (/.f64 (pow.f64 im 5) (sqrt.f64 1/2))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (+.f64 (.f64 1/8192 (/.f64 (pow.f64 im 7) (pow.f64 (sqrt.f64 1/2) 5))) (*.f64 5/256 (/.f64 (pow.f64 im 7) (sqrt.f64 1/2)))))))) (sqrt.f64 2)))
	49.1b	(.f64 1/2 (.f64 (fma.f64 (.f64 (.f64 (/.f64 im re) (/.f64 im re)) (pow.f64 (.f64 (sqrt.f64 im) (pow.f64 (/.f64 1/2 re) 1/4)) 2)) -1/8 (pow.f64 (.f64 (sqrt.f64 im) (pow.f64 (/.f64 1/2 re) 1/4)) 2)) (sqrt.f64 2)))
	56.7b	(.f64 1/2 (.f64 (sqrt.f64 (.f64 1/2 (/.f64 (.f64 im im) re))) (sqrt.f64 2)))

Compiler

Compiled 13376 to 8240 computations (38.4% saved)

regimes581.0ms (12%)

Accuracy

Total 6.4b remaining (98.3%)

Threshold costs 0b (0%)

Counts

59 → 2

Compiler

Compiled 8133 to 6573 computations (19.2% saved)

bsearch2.0ms (0%)

Compiler: Compiled 12 to 7 computations (41.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
4×	`+-commutative_binary64`
3×	`sub-neg_binary64`
1×	`*-lft-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	59
1	41	59
2	46	59
3	48	59
4	49	59
5	48	59

end205.0ms (4.3%)

Compiler: Compiled 366 to 295 computations (19.4% 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

analyze537.0ms (11.1%)

sample2.0s (40.8%)

simplify29.0ms (0.6%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

series56.0ms (1.2%)

rewrite57.0ms (1.2%)

simplify70.0ms (1.4%)

prune110.0ms (2.3%)

localize7.0ms (0.1%)

series51.0ms (1.1%)

rewrite50.0ms (1%)

simplify56.0ms (1.2%)

prune145.0ms (3%)

localize10.0ms (0.2%)

series71.0ms (1.5%)

rewrite52.0ms (1.1%)

simplify54.0ms (1.1%)

prune173.0ms (3.6%)

localize10.0ms (0.2%)

series106.0ms (2.2%)

rewrite55.0ms (1.1%)

simplify77.0ms (1.6%)

prune280.0ms (5.8%)

regimes581.0ms (12%)

bsearch2.0ms (0%)

simplify3.0ms (0.1%)

end205.0ms (4.3%)

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