Details

analyze1.3s (8.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
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)

sample92.0ms (0.6%)

Algorithm

1×

intervals

Results

23.0ms	35×	body	2048	valid
22.0ms	175×	body	128	valid
11.0ms	14×	body	4096	valid
9.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)

simplify296.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	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 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	33.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize23.0ms (0.2%)

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 (.f64 4 a) c)))) (.f64 2 a))
✓	0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite61.0ms (0.4%)

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:

22.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
16.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
7.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
6.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

series391.0ms (2.6%)

Counts

4 → 96

Calls

4 calls:

154.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
98.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
79.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
59.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify259.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
334×	`cancel-sign-sub-inv_binary64`
215×	`distribute-rgt-neg-in_binary64`
159×	`associate-r_binary64`
150×	`distribute-rgt-neg-out_binary64`

Counts

186 → 346

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4208
1	695	3858
2	2512	3724
3	4694	3704
4	5031	3704

prune384.0ms (2.5%)

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
	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))
✓	33.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 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))
	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 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	44.0b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	46.8b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 5741 to 3347 computations (41.7% saved)

localize24.0ms (0.2%)

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)))

rewrite44.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:

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

series1.8s (12.1%)

Counts

4 → 36

Calls

4 calls:

985.0ms	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
569.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
243.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
32.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

simplify261.0ms (1.7%)

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

prune422.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 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 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))
	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))
✓	33.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	42.0b	(neg.f64 (/.f64 c b))
	56.3b	(/.f64 (+.f64 (neg.f64 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 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 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))
▶	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	46.8b	(/.f64 (neg.f64 b) a)
	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))

Compiler

Compiled 7612 to 5112 computations (32.8% saved)

localize26.0ms (0.2%)

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 (.f64 4 a) c))))))
	0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
	23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite36.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:

23.0ms

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

series153.0ms (1%)

Counts

1 → 20

Calls

1 calls:

152.0ms

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

simplify210.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

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

Counts

94 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	3247
1	439	2847
2	1517	2670
3	4595	2670
4	6178	2670

prune406.0ms (2.7%)

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
	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))
▶	33.0b	(.f64 (/.f64 1/2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
	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))
	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 a (.f64 c -4)))))))
	46.8b	(/.f64 (neg.f64 b) a)
	56.3b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	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))
✓	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	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)))))
	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))
	42.0b	(neg.f64 (/.f64 c b))

Compiler

Compiled 7970 to 4906 computations (38.4% saved)

localize23.0ms (0.2%)

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 (.f64 4 a) c)))))
	0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
	0.9b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
	23.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite27.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:

21.0ms

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

series142.0ms (0.9%)

Counts

1 → 20

Calls

1 calls:

141.0ms

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

simplify136.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

660×	`times-frac_binary64`
540×	`fma-def_binary64`
412×	`distribute-rgt-in_binary64`
330×	`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	540	1695
2	1784	1607
3	4936	1607
4	5074	1607

prune355.0ms (2.3%)

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
	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 a (.f64 c -4)))))))
	46.8b	(/.f64 (neg.f64 b) a)
	30.3b	(/.f64 (.f64 1/2 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b)) a)
	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))
	56.3b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	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.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))
✓	33.0b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	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))))
	47.1b	(-.f64 (/.f64 c b) (/.f64 b a))
	42.0b	(neg.f64 (/.f64 c b))

Compiler

Compiled 6222 to 3653 computations (41.3% saved)

regimes4.9s (32.1%)

Accuracy

Total 7.3b remaining (69.8%)

Threshold costs 0b (0%)

Compiler

Compiled 20139 to 14473 computations (28.1% saved)

bsearch124.0ms (0.8%)

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)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
6×	`*-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	52
1	38	50
2	49	50
3	55	50
4	57	50
5	57	50

end2.0ms (0%)

Compiler: Compiled 37 to 22 computations (40.5% saved)

sample3.3s (21.5%)

Algorithm

1×

intervals

Results

720.0ms	1114×	body	2048	valid
679.0ms	5160×	body	128	valid
356.0ms	718×	body	1024	valid
311.0ms	407×	body	4096	valid
151.0ms	406×	body	512	valid
87.0ms	725×	body	128	nan
49.0ms	359×	body	128	invalid
49.0ms	195×	body	256	valid

Compiler

Compiled 296 to 206 computations (30.4% saved)

Details

analyze1.3s (8.4%)

sample92.0ms (0.6%)

simplify296.0ms (2%)

prune7.0ms (0%)

localize23.0ms (0.2%)

rewrite61.0ms (0.4%)

series391.0ms (2.6%)

simplify259.0ms (1.7%)

prune384.0ms (2.5%)

localize24.0ms (0.2%)

rewrite44.0ms (0.3%)

series1.8s (12.1%)

simplify261.0ms (1.7%)

prune422.0ms (2.8%)

localize26.0ms (0.2%)

rewrite36.0ms (0.2%)

series153.0ms (1%)

simplify210.0ms (1.4%)

prune406.0ms (2.7%)

localize23.0ms (0.2%)

rewrite27.0ms (0.2%)

series142.0ms (0.9%)

simplify136.0ms (0.9%)

prune355.0ms (2.3%)

regimes4.9s (32.1%)

bsearch124.0ms (0.8%)

simplify8.0ms (0.1%)

end2.0ms (0%)

sample3.3s (21.5%)

Profiling