Details

analyze645.0ms (4.4%)

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%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.3s (15.8%)

Results

715.0ms	5328×	body	128	valid
588.0ms	1145×	body	2048	valid
336.0ms	786×	body	1024	valid
265.0ms	431×	body	4096	valid
120.0ms	1015×	body	128	invalid
112.0ms	377×	body	512	valid
42.0ms	189×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify386.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1968×	`fma-neg_binary64`
1363×	`fma-def_binary64`
898×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	64	22
3	135	22
4	201	22
5	335	22
6	554	22
7	929	22
8	1477	22
9	2115	22
10	2599	22
11	2554	22
12	2602	22
13	2671	22
14	3117	22
15	2327	22
16	2375	22
17	2383	22
18	2389	22
19	2395	22
20	2397	22
21	2397	22
22	2585	22
23	2685	22
24	2619	22
25	2631	22
26	2661	22
27	2677	22
28	2707	22
29	2707	22
30	2751	22
31	2851	22
32	2827	22
33	2827	22
34	2638	22

prune4.0ms (0%)

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

33.9b

Counts

3 → 2

Alt Table

Status	Error	Program
	34.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	34.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	0.4b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	20.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series106.0ms (0.7%)

Counts

4 → 100

Calls

4 calls:

49.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
41.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
9.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
6.0ms	(.f64 (.f64 3 a) c)

rewrite329.0ms (2.3%)

Algorithm

4×	egg-rewrite

Rules

240×	`egg`
57×	`egg`
56×	`egg`
27×	`egg`

Counts

4 → 380

Calls

4 calls:

118.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
93.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
64.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
43.0ms	(.f64 (.f64 3 a) c)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	217	13
2	2626	13
3	5088	13
0	12	20
1	270	16
2	3245	16
3	4976	16
4	4950	16
0	9	13
1	198	11
2	2433	11
3	4994	11
4	4988	11
0	6	7
1	121	7
2	1361	7
3	5026	7

simplify92.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

458×	`times-frac_binary64`
447×	`unswap-sqr_binary64`
283×	`associate-r_binary64`
278×	`associate-/l*_binary64`
258×	`associate-/r*_binary64`

Counts

480 → 428

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	89	1820
1	272	1752
2	830	1726
3	4167	1726
4	4976	1726

prune372.0ms (2.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	414	14	428
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	415	15	430

Error

11.1b

Counts

430 → 15

Alt Table

Status	Error	Program
	34.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 3))) (*.f64 3 a))
	45.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	35.0b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	45.8b	(/.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	55.3b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b) -3/2 (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (.f64 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) -27/16))) (*.f64 3 a))
	48.3b	(/.f64 (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (.f64 (/.f64 (.f64 c a) b) -3/2)) (.f64 3 a))
▶	34.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	54.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	45.9b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	34.9b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 -3 (.f64 a c))) 1/4) 2)) (*.f64 3 a))
	43.8b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	46.3b	(/.f64 (/.f64 1 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (+.f64 (fma.f64 b b (.f64 b b)) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	57.5b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	46.9b	(/.f64 (exp.f64 (log.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (*.f64 3 a))
	46.0b	(/.f64 (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) 2)) (.f64 3 a))

Compiler

Compiled 14133 to 8205 computations (41.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
✓	0.4b	(/.f64 1/3 a)
✓	1.2b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
✓	20.7b	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

series173.0ms (1.2%)

Counts

4 → 60

Calls

4 calls:

80.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
51.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
41.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))
1.0ms	(/.f64 1/3 a)

rewrite326.0ms (2.2%)

Algorithm

4×	egg-rewrite

Rules

105×	`egg`
61×	`egg`
49×	`egg`
23×	`egg`

Counts

4 → 238

Calls

4 calls:

126.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
83.0ms	(/.f64 1/3 a)
67.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
44.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	178	13
2	1913	13
3	5067	13
0	10	16
1	210	16
2	2484	15
3	4669	15
4	4747	15
5	5233	15
0	4	4
1	87	4
2	1001	4
3	4857	4
4	6000	4
0	13	22
1	280	22
2	3406	22
3	5118	22

simplify87.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

766×	`times-frac_binary64`
487×	`associate-/l*_binary64`
405×	`associate-/r*_binary64`
391×	`fma-def_binary64`
368×	`fma-neg_binary64`

Counts

298 → 304

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	1923
1	420	1901
2	1372	1860
3	4965	1854
4	5172	1854

prune226.0ms (1.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	294	10	304
Fresh	11	3	14
Picked	0	1	1
Done	0	0	0
Total	305	14	319

Error

4.4b

Counts

319 → 14

Alt Table

Status	Error	Program
	45.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	46.0b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	45.7b	(*.f64 -2/3 (/.f64 b a))
✓	34.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	43.8b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	57.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 1/3 a)))) (sqrt.f64 (log.f64 (/.f64 1/3 a)))))
	43.6b	(.f64 1/3 (/.f64 (sqrt.f64 (neg.f64 (.f64 3 (*.f64 c a)))) a))
	34.1b	(/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) 1/3) a)
▶	34.1b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (*.f64 a 3))
	35.0b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	34.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (.f64 (pow.f64 (cbrt.f64 1/3) 3) (/.f64 1 a)))
	42.6b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	38.9b	(*.f64 -1/2 (/.f64 c b))
	34.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))

Compiler

Compiled 7845 to 4768 computations (39.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 a (.f64 c -3) (.f64 b b))
✓	0.2b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (*.f64 a 3))
	1.2b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
	20.7b	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

series96.0ms (0.7%)

Counts

2 → 56

Calls

2 calls:

87.0ms	(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (*.f64 a 3))
9.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))

rewrite162.0ms (1.1%)

Algorithm

2×	egg-rewrite

Rules

84×	`egg`
50×	`egg`

Counts

2 → 134

Calls

2 calls:

109.0ms	(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (*.f64 a 3))
50.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	280	22
2	3611	21
3	4983	21
4	4899	21
0	8	11
1	159	11
2	1723	11
3	5314	11

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

834×	`fma-neg_binary64`
432×	`times-frac_binary64`
355×	`unswap-sqr_binary64`
261×	`associate-/l*_binary64`
249×	`associate-r_binary64`

Counts

190 → 162

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	1075
1	240	1013
2	754	998
3	3783	991
4	5266	991

prune241.0ms (1.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	329	4	333
Fresh	3	9	12
Picked	1	0	1
Done	0	1	1
Total	333	14	347

Error

4.4b

Counts

347 → 14

Alt Table

Status	Error	Program
	45.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	46.0b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	44.8b	(/.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))))) (.f64 a 3))
✓	34.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	35.8b	(fma.f64 1/3 (/.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) a) (neg.f64 (/.f64 b (*.f64 a 3))))
	45.7b	(*.f64 -2/3 (/.f64 b a))
	34.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (.f64 (pow.f64 (cbrt.f64 1/3) 3) (/.f64 1 a)))
	34.0b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b))) b) (*.f64 a 3))
	57.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 1/3 a)))) (sqrt.f64 (log.f64 (/.f64 1/3 a)))))
	43.6b	(.f64 1/3 (/.f64 (sqrt.f64 (neg.f64 (.f64 3 (*.f64 c a)))) a))
▶	33.2b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) 3) a)
	42.6b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	38.9b	(*.f64 -1/2 (/.f64 c b))
	34.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))

Compiler

Compiled 8533 to 5371 computations (37.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) 3) a)
✓	0.2b	(.f64 a (.f64 c -3))
✓	0.8b	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
✓	13.5b	(sqrt.f64 (.f64 a (.f64 c -3)))

series451.0ms (3.1%)

Counts

4 → 48

Calls

4 calls:

261.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) 3) a)
165.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
20.0ms	(sqrt.f64 (.f64 a (.f64 c -3)))
4.0ms	(.f64 a (.f64 c -3))

rewrite291.0ms (2%)

Algorithm

4×	egg-rewrite

Rules

89×	`egg`
67×	`egg`
56×	`egg`
30×	`egg`

Counts

4 → 242

Calls

4 calls:

124.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
72.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) 3) a)
45.0ms	(sqrt.f64 (.f64 a (.f64 c -3)))
45.0ms	(.f64 a (.f64 c -3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	141	9
2	1571	9
3	5000	9
0	10	15
1	213	15
2	2557	15
3	4821	15
4	4853	15
5	4992	15
0	6	7
1	121	7
2	1363	7
3	5044	7
0	13	21
1	290	21
2	3699	21
3	4931	21

simplify77.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

720×	`times-frac_binary64`
647×	`fma-neg_binary64`
388×	`associate-/l*_binary64`
338×	`associate-/r*_binary64`
286×	`associate-r_binary64`

Counts

290 → 288

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1172
1	326	1086
2	1013	1029
3	4948	1029
4	5399	1029

prune239.0ms (1.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	283	5	288
Fresh	5	7	12
Picked	1	0	1
Done	1	0	1
Total	290	12	302

Error

2.7b

Counts

302 → 12

Alt Table

Status	Error	Program
	48.0b	(/.f64 (/.f64 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 a) (sqrt.f64 (.f64 c -3)))) b) 3) a)
	45.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	46.0b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	45.7b	(/.f64 (/.f64 (*.f64 -2 b) 3) a)
	42.6b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	34.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	44.8b	(/.f64 (/.f64 (.f64 (-.f64 (fma.f64 b b (.f64 a (.f64 c -3))) (.f64 b b)) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3))))))) 3) a)
	33.2b	(/.f64 (/.f64 1 a) (/.f64 3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)))
	35.8b	(fma.f64 1/3 (/.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) a) (neg.f64 (/.f64 b (*.f64 a 3))))
	34.0b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b))) b) (*.f64 a 3))
	38.9b	(*.f64 -1/2 (/.f64 c b))
	33.6b	(.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) 3)) 2) (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) 3)) (/.f64 1 a)))

Compiler

Compiled 6933 to 4493 computations (35.2% saved)

regimes7.5s (52%)

Accuracy

Total 7.1b remaining (70.8%)

Threshold costs 0b (0%)

Counts

322 → 3

Compiler

Compiled 36816 to 25856 computations (29.8% saved)

bsearch77.0ms (0.5%)

Steps

Iters	Range		Point
7	4.3912144638503513e-72	8.26668635655845e-71	9.11384425434159e-72
7	-2.466549732279246e+89	-1.560531518700791e+87	-2.4299048034323493e+89

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
7×	`+-commutative_binary64`
5×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	55
1	40	53
2	55	53
3	68	53
4	74	53
5	78	53
6	79	53
7	77	53

end178.0ms (1.2%)

Compiler: Compiled 303 to 215 computations (29% saved)

Details

analyze645.0ms (4.4%)

sample2.3s (15.8%)

simplify386.0ms (2.7%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series106.0ms (0.7%)

rewrite329.0ms (2.3%)

simplify92.0ms (0.6%)

prune372.0ms (2.6%)

localize12.0ms (0.1%)

series173.0ms (1.2%)

rewrite326.0ms (2.2%)

simplify87.0ms (0.6%)

prune226.0ms (1.6%)

localize10.0ms (0.1%)

series96.0ms (0.7%)

rewrite162.0ms (1.1%)

simplify66.0ms (0.5%)

prune241.0ms (1.7%)

localize9.0ms (0.1%)

series451.0ms (3.1%)

rewrite291.0ms (2%)

simplify77.0ms (0.5%)

prune239.0ms (1.7%)

regimes7.5s (52%)

bsearch77.0ms (0.5%)

simplify6.0ms (0%)

end178.0ms (1.2%)

Profiling