Details

analyze384.0ms (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
25%	74.9%	0.1%	4
37.4%	62.4%	0.1%	5
37.4%	62.4%	0.1%	6
37.4%	56.2%	6.4%	7
45.2%	48.4%	6.4%	8
49.1%	42.1%	8.7%	9
51.5%	35.1%	13.4%	10
58.1%	27.7%	14.2%	11
60.8%	22.6%	16.5%	12
62.3%	18.7%	19%	13
66.2%	14.4%	19.4%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.4s (24.6%)

Results

658.0ms	5623×	body	128	valid
464.0ms	1069×	body	2048	valid
402.0ms	614×	body	128	invalid
330.0ms	659×	body	1024	valid
211.0ms	402×	body	4096	valid
96.0ms	336×	body	512	valid
32.0ms	167×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify144.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2079×	`fma-neg_binary64`
1006×	`fma-def_binary64`
919×	`div-sub_binary64`
626×	`distribute-rgt-in_binary64`
435×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	38	24
2	95	24
3	227	22
4	357	22
5	614	22
6	1103	22
7	1373	22
8	1636	22
9	2330	22
10	3187	22
11	2880	22
12	2827	22
13	2896	22
14	2922	22
15	3797	22
16	4824	22
17	5240	22

prune4.0ms (0%)

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

33.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 71 to 46 computations (35.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.1b	(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) a)
✓	0.6b	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))
✓	27.5b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))

series210.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

97.0ms	(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) a)
52.0ms	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))
48.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
11.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`*-un-lft-identity_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 77

Calls

4 calls:

5.0ms	(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) a)
3.0ms	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))
1.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
0.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

simplify89.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

834×	`times-frac_binary64`
539×	`associate-/l*_binary64`
468×	`fma-def_binary64`
198×	`cancel-sign-sub-inv_binary64`
125×	`associate-/r/_binary64`

Counts

173 → 193

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	3876
1	521	3658
2	1578	3494
3	5011	3494

prune168.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	183	10	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	184	10	194

Error

4.3b

Counts

194 → 10

Alt Table

Status	Error	Program
	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
	46.5b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	42.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	42.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
	32.7b	(.f64 -1/2 (.f64 (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) (cbrt.f64 a))))
	49.0b	(.f64 -1/2 (/.f64 (.f64 2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) a))
▶	32.3b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))
	32.6b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))) a)) (cbrt.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))) a))) (cbrt.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))) a))))
	32.7b	(.f64 -1/2 (.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))) (cbrt.f64 a))))
	39.5b	(.f64 -1/2 (.f64 2 (/.f64 c b)))

Compiler

Compiled 5307 to 3213 computations (39.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))
✓	0.1b	(/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))
✓	0.2b	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
✓	13.0b	(sqrt.f64 (.f64 c (.f64 a -4)))

series785.0ms (8.2%)

Counts

4 → 42

Calls

4 calls:

390.0ms	(/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))
222.0ms	(/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))
149.0ms	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
24.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite35.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

114×	`times-frac_binary64`
99×	`*-un-lft-identity_binary64`
65×	`add-sqr-sqrt_binary64`
65×	`add-cube-cbrt_binary64`
22×	`associate-/r*_binary64`

Counts

4 → 164

Calls

4 calls:

7.0ms	(/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))
4.0ms	(/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))
3.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))
2.0ms	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))

simplify167.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

504×	`fma-neg_binary64`
501×	`fma-def_binary64`
444×	`associate-/r/_binary64`
326×	`cancel-sign-sub-inv_binary64`
212×	`associate-/l/_binary64`

Counts

206 → 291

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	262	6330
1	647	5816
2	2220	5699
3	4541	5689
4	4933	5689

prune270.0ms (2.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	285	6	291
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	287	14	301

Error

2.6b

Counts

301 → 14

Alt Table

Status	Error	Program
	42.7b	(.f64 -1/2 (/.f64 1 (/.f64 a (.f64 2 b))))
	32.7b	(.f64 -1/2 (.f64 (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) (cbrt.f64 a))))
▶	32.3b	(.f64 -1/2 (.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a))))) a)))
	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
	46.5b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	42.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	42.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
	32.3b	(.f64 -1/2 (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))
	49.0b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))))))))
✓	32.3b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))
	44.7b	(.f64 -1/2 (/.f64 1 (fma.f64 1/8 (/.f64 (.f64 a (.f64 -4 (.f64 c a))) (pow.f64 b 3)) (fma.f64 -1/2 (/.f64 a b) (/.f64 -2 (/.f64 (*.f64 -4 c) b))))))
	39.8b	(.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (/.f64 -2 (/.f64 (.f64 -4 c) b)))))
	32.7b	(.f64 -1/2 (.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))) (cbrt.f64 a))))
	39.5b	(.f64 -1/2 (.f64 2 (/.f64 c b)))

Compiler

Compiled 9296 to 6168 computations (33.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -4 (.f64 c a))
✓	0.1b	(/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a))))) a)
✓	0.2b	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a)))))
✓	13.0b	(sqrt.f64 (.f64 -4 (.f64 c a)))

series376.0ms (3.9%)

Counts

4 → 28

Calls

4 calls:

209.0ms	(/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a))))) a)
141.0ms	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a)))))
21.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))
5.0ms	(.f64 -4 (.f64 c a))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
15×	`pow1_binary64`
12×	`times-frac_binary64`

Counts

4 → 86

Calls

4 calls:

4.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))
4.0ms	(/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a))))) a)
4.0ms	(.f64 -4 (.f64 c a))
2.0ms	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a)))))

simplify70.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

777×	`associate-l_binary64`
692×	`associate-/r*_binary64`
333×	`fma-def_binary64`
238×	`associate-*r/_binary64`
226×	`associate-*l/_binary64`

Counts

114 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	201	2620
1	506	2410
2	1572	2364
3	5036	2364

prune125.0ms (1.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	11	12
Picked	0	1	1
Done	0	1	1
Total	130	14	144

Error

2.6b

Counts

144 → 14

Alt Table

Status	Error	Program
	42.7b	(.f64 -1/2 (/.f64 1 (/.f64 a (.f64 2 b))))
	32.7b	(.f64 -1/2 (.f64 (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) (cbrt.f64 a))))
	47.8b	(.f64 -1/2 (.f64 1 (-.f64 (/.f64 (/.f64 2 (/.f64 1 (.f64 c (.f64 c a)))) (pow.f64 b 3)) (fma.f64 1/16 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 3) (.f64 a (pow.f64 b 5))) (.f64 (/.f64 (*.f64 -4 c) b) 1/2)))))
	32.7b	(.f64 -1/2 (.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))) (cbrt.f64 a))))
✓	32.3b	(.f64 -1/2 (.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a))))) a)))
	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
	46.5b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	42.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	42.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
▶	32.3b	(.f64 -1/2 (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))
	49.0b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))))))))
✓	32.3b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))
	39.8b	(.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (/.f64 -2 (/.f64 (.f64 -4 c) b)))))
	39.5b	(.f64 -1/2 (.f64 2 (/.f64 c b)))

Compiler

Compiled 4158 to 2699 computations (35.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))
✓	0.1b	(/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))
	0.2b	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
	13.0b	(sqrt.f64 (.f64 c (.f64 a -4)))

series1.2s (12.7%)

Counts

2 → 28

Calls

2 calls:

996.0ms	(/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))
223.0ms	(/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))

rewrite81.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

585×	`times-frac_binary64`
348×	`*-un-lft-identity_binary64`
256×	`add-sqr-sqrt_binary64`
256×	`add-cube-cbrt_binary64`
46×	`distribute-lft-out_binary64`

Counts

2 → 338

Calls

2 calls:

14.0ms	(/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))))
4.0ms	(/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))

simplify340.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

631×	`associate-/l*_binary64`
385×	`fma-def_binary64`
322×	`associate-/l/_binary64`
236×	`associate-/r/_binary64`
211×	`distribute-rgt-in_binary64`

Counts

366 → 395

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	268	14663
1	713	13409
2	2120	13279
3	4626	13275
4	4998	13275

prune469.0ms (4.9%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	463	1	464
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	463	15	478

Error

2.6b

Counts

478 → 15

Alt Table

Status	Error	Program
	42.7b	(.f64 -1/2 (/.f64 1 (/.f64 a (.f64 2 b))))
	32.7b	(.f64 -1/2 (.f64 (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) (cbrt.f64 a))))
✓	32.3b	(.f64 -1/2 (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))
	46.6b	(.f64 -1/2 (/.f64 (/.f64 1 a) (fma.f64 (/.f64 b (.f64 -4 (*.f64 a c))) -2 (/.f64 -1/2 b))))
	47.8b	(.f64 -1/2 (.f64 1 (-.f64 (/.f64 (/.f64 2 (/.f64 1 (.f64 c (.f64 c a)))) (pow.f64 b 3)) (fma.f64 1/16 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 3) (.f64 a (pow.f64 b 5))) (.f64 (/.f64 (*.f64 -4 c) b) 1/2)))))
	32.7b	(.f64 -1/2 (.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))) (cbrt.f64 a))))
✓	32.3b	(.f64 -1/2 (.f64 1 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -4 (.f64 c a))))) a)))
	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
	46.5b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	42.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	42.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
	49.0b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))))))))
✓	32.3b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))))
	39.8b	(.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (/.f64 -2 (/.f64 (.f64 -4 c) b)))))
	39.5b	(.f64 -1/2 (.f64 2 (/.f64 c b)))

Compiler

Compiled 16832 to 11788 computations (30% saved)

regimes1.9s (20.1%)

Accuracy

Total 6.7b remaining (72%)

Threshold costs 0b (0%)

Counts

171 → 3

Compiler

Compiled 17232 to 12198 computations (29.2% saved)

bsearch73.0ms (0.8%)

Steps

Iters	Range		Point
11	2.2662785546022415e+101	2.7215606412094346e+129	3.394384461911073e+120
6	-3.1815812844408077e-15	-6.181243282904409e-16	-6.264481518257526e-16

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	66
1	45	66
2	52	66
3	58	66
4	63	66
5	66	66
6	67	66
7	65	66

end212.0ms (2.2%)

Compiler: Compiled 427 to 304 computations (28.8% saved)

Details

analyze384.0ms (4%)

sample2.4s (24.6%)

simplify144.0ms (1.5%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series210.0ms (2.2%)

rewrite13.0ms (0.1%)

simplify89.0ms (0.9%)

prune168.0ms (1.8%)

localize10.0ms (0.1%)

series785.0ms (8.2%)

rewrite35.0ms (0.4%)

simplify167.0ms (1.7%)

prune270.0ms (2.8%)

localize11.0ms (0.1%)

series376.0ms (3.9%)

rewrite18.0ms (0.2%)

simplify70.0ms (0.7%)

prune125.0ms (1.3%)

localize11.0ms (0.1%)

series1.2s (12.7%)

rewrite81.0ms (0.8%)

simplify340.0ms (3.5%)

prune469.0ms (4.9%)

regimes1.9s (20.1%)

bsearch73.0ms (0.8%)

simplify5.0ms (0.1%)

end212.0ms (2.2%)

Profiling