Details

analyze1.3s (7.7%)

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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample99.0ms (0.6%)

Algorithm

1×

intervals

Results

24.0ms	175×	body	128	valid
21.0ms	35×	body	2048	valid
10.0ms	14×	body	4096	valid
7.0ms	14×	body	1024	valid
4.0ms	11×	body	512	valid
2.0ms	19×	body	128	nan
2.0ms	7×	body	256	valid
1.0ms	6×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify412.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

2009×	`fma-neg_binary64`
1508×	`div-sub_binary64`
1334×	`associate-/l*_binary64`
1156×	`fma-def_binary64`
685×	`associate-/l/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	34	22
2	64	22
3	132	22
4	198	22
5	325	22
6	552	22
7	918	22
8	1352	22
9	1554	22
10	2359	22
11	3158	22
12	2565	22
13	2653	22
14	3219	22
15	3361	22
16	3461	22
17	3985	22
18	4171	22
19	4439	22
20	4659	22
21	4701	22
22	4757	22
23	4941	22
24	4941	22
25	3365	22
26	3059	22
27	2983	22
28	2985	22
29	2997	22
30	2997	22
31	2997	22
32	2997	22
33	2736	22

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

32.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	33.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
	33.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
✓	0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
✓	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
✓	23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite53.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`

Counts

4 → 90

Calls

4 calls:

17.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
15.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

series355.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

140.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
88.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
71.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
55.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

simplify265.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

697×	`fma-neg_binary64`
327×	`cancel-sign-sub-inv_binary64`
226×	`distribute-rgt-neg-in_binary64`
150×	`distribute-rgt-neg-out_binary64`
146×	`associate-r_binary64`

Counts

186 → 346

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4202
1	693	3825
2	2488	3724
3	4652	3704
4	4985	3704

prune319.0ms (1.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	337	9	346
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	338	10	348

Error

6.9b

Counts

348 → 10

Alt Table

Status	Error	Program
	44.0b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))))
✓	33.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
	35.6b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	47.1b	(-.f64 (/.f64 c b) (/.f64 b a))
▶	32.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
	42.0b	(neg.f64 (/.f64 c b))
	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
	46.8b	(/.f64 (neg.f64 b) a)
	56.3b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	45.3b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))

Compiler

Compiled 5741 to 3198 computations (44.3% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
✓	0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
✓	2.8b	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
✓	14.6b	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite42.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
15×	`exp-sum_binary64`
15×	`log-prod_binary64`

Counts

4 → 100

Calls

4 calls:

14.0ms	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
6.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
6.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
5.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

series1.8s (10.9%)

Counts

4 → 36

Calls

4 calls:

959.0ms	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
545.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
259.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
28.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

simplify263.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

768×	`fma-def_binary64`
423×	`cancel-sign-sub-inv_binary64`
338×	`fma-neg_binary64`
223×	`times-frac_binary64`
170×	`associate-/r*_binary64`

Counts

136 → 257

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	324	4496
1	775	3894
2	3084	3576
3	4967	3576
4	4974	3576

prune468.0ms (2.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	253	4	257
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	254	13	267

Error

4.4b

Counts

267 → 13

Alt Table

Status	Error	Program
	44.0b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))))
✓	33.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
▶	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
	46.4b	(/.f64 (fma.f64 (/.f64 (/.f64 (.f64 (.f64 c a) -2) b) (/.f64 b (/.f64 (.f64 -4 (.f64 c a)) b))) -1/4 (/.f64 (.f64 (.f64 c a) -2) b)) (*.f64 2 a))
	35.6b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	47.1b	(-.f64 (/.f64 c b) (/.f64 b a))
	42.0b	(neg.f64 (/.f64 c b))
	33.5b	(/.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))) (.f64 2 a))
	49.0b	(/.f64 (exp.f64 (log.f64 (.f64 -2 b))) (.f64 2 a))
	45.3b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))
	45.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	46.8b	(/.f64 (neg.f64 b) a)
	56.3b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))

Compiler

Compiled 7612 to 5102 computations (33% saved)

localize665.0ms (4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
	0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
	23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite40.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

53×	`times-frac_binary64`
37×	`*-un-lft-identity_binary64`
22×	`add-exp-log_binary64`
21×	`add-sqr-sqrt_binary64`
21×	`add-cube-cbrt_binary64`

Counts

1 → 74

Calls

1 calls:

21.0ms

(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))

series142.0ms (0.9%)

Counts

1 → 20

Calls

1 calls:

142.0ms

(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))

simplify207.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

665×	`associate-/l*_binary64`
599×	`div-sub_binary64`
346×	`fma-def_binary64`
296×	`fma-neg_binary64`
265×	`associate-/r/_binary64`

Counts

94 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	3247
1	434	2847
2	1512	2670
3	4587	2670
4	6171	2670

prune457.0ms (2.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	430	3	433
Fresh	2	9	11
Picked	0	1	1
Done	1	0	1
Total	433	13	446

Error

4.4b

Counts

446 → 13

Alt Table

Status	Error	Program
✓	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
	46.4b	(/.f64 (fma.f64 (/.f64 (/.f64 (.f64 (.f64 c a) -2) b) (/.f64 b (/.f64 (.f64 -4 (.f64 c a)) b))) -1/4 (/.f64 (.f64 (.f64 c a) -2) b)) (*.f64 2 a))
	35.6b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	47.1b	(-.f64 (/.f64 c b) (/.f64 b a))
	42.0b	(neg.f64 (/.f64 c b))
	33.5b	(/.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))) (.f64 2 a))
	34.3b	(.f64 (.f64 (.f64 4 (.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))
	49.0b	(/.f64 (exp.f64 (log.f64 (.f64 -2 b))) (.f64 2 a))
	45.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	46.8b	(/.f64 (neg.f64 b) a)
▶	33.0b	(.f64 (/.f64 1/2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
	56.3b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	35.7b	(/.f64 1 (/.f64 (.f64 2 a) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b)))))

Compiler

Compiled 7970 to 4687 computations (41.2% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (/.f64 1/2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))
	0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
	23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
13×	`*-un-lft-identity_binary64`
10×	`times-frac_binary64`
9×	`add-cube-cbrt_binary64`

Counts

1 → 42

Calls

1 calls:

23.0ms

(*.f64 (/.f64 1/2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))

series152.0ms (0.9%)

Counts

1 → 20

Calls

1 calls:

152.0ms

(*.f64 (/.f64 1/2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))

simplify162.0ms (1%)

Algorithm

1×	egg-herbie

Rules

660×	`times-frac_binary64`
537×	`fma-def_binary64`
412×	`distribute-rgt-in_binary64`
331×	`fma-neg_binary64`
154×	`distribute-rgt-neg-out_binary64`

Counts

62 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	1930
1	535	1695
2	1779	1607
3	4928	1607
4	5067	1607

prune333.0ms (2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	616	2	618
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	619	12	631

Error

4.4b

Counts

631 → 12

Alt Table

Status	Error	Program
✓	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
	46.4b	(/.f64 (fma.f64 (/.f64 (/.f64 (.f64 (.f64 c a) -2) b) (/.f64 b (/.f64 (.f64 -4 (.f64 c a)) b))) -1/4 (/.f64 (.f64 (.f64 c a) -2) b)) (*.f64 2 a))
	42.0b	(neg.f64 (/.f64 c b))
	33.5b	(/.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))) (.f64 2 a))
	34.3b	(.f64 (.f64 (.f64 4 (.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))
	49.0b	(/.f64 (exp.f64 (log.f64 (.f64 -2 b))) (.f64 2 a))
	35.7b	(.f64 (/.f64 1/2 a) (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b))))
	45.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	30.3b	(/.f64 (.f64 1/2 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))) b)) a)
	47.1b	(-.f64 (/.f64 c b) (/.f64 b a))
	46.8b	(/.f64 (neg.f64 b) a)
	56.3b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))

Compiler

Compiled 6222 to 3496 computations (43.8% saved)

regimes5.1s (30.9%)

Accuracy

Total 7.3b remaining (69.7%)

Threshold costs 0b (0%)

Compiler

Compiled 20019 to 14267 computations (28.7% saved)

bsearch115.0ms (0.7%)

Steps

Iters	Range		Point
8	6.144593741441501e-98	1.4640050268977364e-94	4.7492894376772045e-95
9	-1.009631966683708e+100	-1.380297336827828e+95	-4.558931914031214e+98

Compiler

Compiled 4 to 3 computations (25% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	54
1	46	52
2	63	52
3	78	52
4	85	52
5	88	52
6	89	52
7	88	52

end1.0ms (0%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

sample3.7s (22.3%)

Algorithm

1×

intervals

Results

684.0ms	5160×	body	128	valid
683.0ms	1114×	body	2048	valid
547.0ms	718×	body	1024	valid
314.0ms	407×	body	4096	valid
200.0ms	406×	body	512	valid
86.0ms	725×	body	128	nan
46.0ms	195×	body	256	valid
44.0ms	359×	body	128	invalid

Compiler

Compiled 297 to 207 computations (30.3% saved)

Details

analyze1.3s (7.7%)

sample99.0ms (0.6%)

simplify412.0ms (2.5%)

prune7.0ms (0%)

localize21.0ms (0.1%)

rewrite53.0ms (0.3%)

series355.0ms (2.2%)

simplify265.0ms (1.6%)

prune319.0ms (1.9%)

localize22.0ms (0.1%)

rewrite42.0ms (0.3%)

series1.8s (10.9%)

simplify263.0ms (1.6%)

prune468.0ms (2.8%)

localize665.0ms (4%)

rewrite40.0ms (0.2%)

series142.0ms (0.9%)

simplify207.0ms (1.3%)

prune457.0ms (2.8%)

localize23.0ms (0.1%)

rewrite29.0ms (0.2%)

series152.0ms (0.9%)

simplify162.0ms (1%)

prune333.0ms (2%)

regimes5.1s (30.9%)

bsearch115.0ms (0.7%)

simplify11.0ms (0.1%)

end1.0ms (0%)

sample3.7s (22.3%)

Profiling