Details

analyze3.4s (9.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	98.2%	1.8%	7
0%	92%	8%	8
0%	91.2%	8.8%	9
0.4%	89.3%	10.3%	10
7.1%	79.2%	13.6%	11
11.9%	70.2%	17.9%	12
13.8%	67.4%	18.7%	13
16.6%	63.3%	20.1%	14

Compiler

Compiled 45 to 33 computations (26.7% saved)

sample7.5s (20.8%)

Symmetry

(sort A C)

Results

1.9s	5694×	body	128	valid
966.0ms	902×	body	1024	invalid
922.0ms	699×	body	2048	valid
881.0ms	882×	body	1024	valid
793.0ms	2645×	body	128	invalid
734.0ms	594×	body	2048	invalid
492.0ms	651×	body	512	valid
444.0ms	610×	body	512	invalid
168.0ms	328×	body	256	valid
162.0ms	342×	body	256	invalid
3.0ms	2×	body	4096	valid

Compiler

Compiled 134 to 98 computations (26.9% saved)

simplify49.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

759×	`neg-mul-1_binary64`
493×	`associate-l_binary64`
463×	`associate-r_binary64`
420×	`distribute-rgt-in_binary64`
410×	`distribute-lft-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	61
1	61	49
2	176	49
3	648	49
4	2727	49
5	4869	49
6	5512	49

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

50.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	50.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	53.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))

Status

Error

Program

▶

50.2b

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (fma.f64 A (*.f64 C -4) (*.f64 B B)) (*.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (*.f64 C -4) (*.f64 B B)))

53.8b

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))

Compiler

Compiled 239 to 156 computations (34.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.1b	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))
✓	4.7b	(.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
✓	13.5b	(sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))
✓	23.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))

series15.9s (44%)

Counts

4 → 124

Calls

4 calls:

9.2s	(sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))
6.4s	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
192.0ms	(.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
54.0ms	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))

rewrite112.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

204×	`distribute-lft-in_binary64`
204×	`distribute-rgt-in_binary64`
164×	`*-un-lft-identity_binary64`
108×	`prod-diff_binary64`
105×	`add-sqr-sqrt_binary64`

Counts

4 → 284

Calls

4 calls:

22.0ms	(sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))
15.0ms	(.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
5.0ms	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
5.0ms	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))

simplify677.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

721×	`times-frac_binary64`
670×	`fma-def_binary64`
277×	`associate-/l*_binary64`
190×	`associate-/r*_binary64`
93×	`sub-neg_binary64`

Counts

408 → 499

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	2765	55201
1	4842	49427
2	5911	49427

prune1.4s (3.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	475	24	499
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	477	24	501

Error

22.6b

Counts

501 → 24

Alt Table

Status	Error	Program
	59.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	49.1b	(/.f64 (neg.f64 (neg.f64 (.f64 A (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	55.7b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (fma.f64 4 (/.f64 (.f64 (.f64 A A) (.f64 F (.f64 B B))) C) (.f64 8 (.f64 A (.f64 F (.f64 B B))))) (fma.f64 16 (.f64 (.f64 A A) (.f64 C F)) (/.f64 (.f64 F (pow.f64 B 4)) C))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	62.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 C)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	54.9b	(cbrt.f64 (.f64 (.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	63.0b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 (sqrt.f64 (+.f64 A C)) (sqrt.f64 (+.f64 A C)) (neg.f64 (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	50.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 (.f64 (cbrt.f64 (+.f64 A C)) (cbrt.f64 (+.f64 A C))) (cbrt.f64 (+.f64 A C)) (neg.f64 (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	61.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F B))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	53.3b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	50.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (fma.f64 1 (+.f64 A C) (neg.f64 (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C)))))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C)))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	60.7b	(-.f64 (.f64 2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 (.f64 (fma.f64 C C (.f64 B B)) F) (-.f64 C (hypot.f64 B C)))))) (fma.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B) (fma.f64 1/2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B) (sqrt.f64 (/.f64 F (.f64 (fma.f64 B B (.f64 C C)) (-.f64 C (hypot.f64 B C)))))) (fma.f64 2 (.f64 (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))) (.f64 1/2 (.f64 (/.f64 (*.f64 A (sqrt.f64 2)) B) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))))))))
	50.2b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))))
	47.9b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	49.1b	(/.f64 (neg.f64 (neg.f64 (fma.f64 A (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F)))) (/.f64 (.f64 F (.f64 (sqrt.f64 2) (.f64 B B))) (sqrt.f64 (.f64 -8 (.f64 C F))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 2 A (.f64 -1/2 (/.f64 (.f64 B B) C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	50.4b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B))))
	49.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 A)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	58.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) B)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
▶	46.8b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	58.7b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (pow.f64 A 2) (pow.f64 B 2)))))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))

Compiler

Compiled 69579 to 36732 computations (47.2% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2))
✓	12.7b	(sqrt.f64 (*.f64 -1/2 (/.f64 F C)))

series50.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

29.0ms	(.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2))
21.0ms	(sqrt.f64 (*.f64 -1/2 (/.f64 F C)))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`pow1_binary64`
9×	`add-sqr-sqrt_binary64`
6×	`associate-r_binary64`
6×	`sqrt-prod_binary64`
6×	`sqrt-pow1_binary64`

Counts

2 → 44

Calls

2 calls:

6.0ms	(.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2))
3.0ms	(sqrt.f64 (*.f64 -1/2 (/.f64 F C)))

simplify88.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

408×	`associate-*l/_binary64`
404×	`associate-*r/_binary64`
396×	`fma-def_binary64`
390×	`associate-/l*_binary64`
328×	`*-commutative_binary64`

Counts

44 → 46

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	58	636
1	95	600
2	236	596
3	514	596
4	997	596
5	1905	596
6	2041	596
7	2369	596
8	3387	596
9	4728	596
10	4986	596

prune127.0ms (0.4%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	36	10	46
Fresh	2	21	23
Picked	1	0	1
Done	0	0	0
Total	39	31	70

Error

20.3b

Counts

70 → 31

Alt Table

Status	Error	Program
	59.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	49.1b	(/.f64 (neg.f64 (neg.f64 (.f64 A (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	46.7b	(neg.f64 (.f64 (.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C))) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
	50.4b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B))))
	55.7b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (fma.f64 4 (/.f64 (.f64 (.f64 A A) (.f64 F (.f64 B B))) C) (.f64 8 (.f64 A (.f64 F (.f64 B B))))) (fma.f64 16 (.f64 (.f64 A A) (.f64 C F)) (/.f64 (.f64 F (pow.f64 B 4)) C))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	62.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 C)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	47.0b	(neg.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))
	54.9b	(cbrt.f64 (.f64 (.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))))
▶	41.2b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C)))
	63.0b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	41.2b	(neg.f64 (.f64 (/.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 C)) (sqrt.f64 2)))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 (sqrt.f64 (+.f64 A C)) (sqrt.f64 (+.f64 A C)) (neg.f64 (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	46.8b	(neg.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (sqrt.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (sqrt.f64 (sqrt.f64 2)))))
	61.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F B))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	53.3b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	50.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (fma.f64 1 (+.f64 A C) (neg.f64 (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C)))))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C)))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	46.7b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	58.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) B)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	46.9b	(neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2))) (cbrt.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))) (cbrt.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	60.7b	(-.f64 (.f64 2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 (.f64 (fma.f64 C C (.f64 B B)) F) (-.f64 C (hypot.f64 B C)))))) (fma.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B) (fma.f64 1/2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B) (sqrt.f64 (/.f64 F (.f64 (fma.f64 B B (.f64 C C)) (-.f64 C (hypot.f64 B C)))))) (fma.f64 2 (.f64 (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))) (.f64 1/2 (.f64 (/.f64 (*.f64 A (sqrt.f64 2)) B) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))))))))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	50.2b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))))
	47.9b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 2 A (.f64 -1/2 (/.f64 (.f64 B B) C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	62.0b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	47.7b	(neg.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (log.f64 (sqrt.f64 2)))))
	49.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 A)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	47.7b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	58.7b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (pow.f64 A 2) (pow.f64 B 2)))))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))

Compiler

Compiled 2866 to 1851 computations (35.4% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C))
✓	0.5b	(.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))

series45.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

35.0ms	(/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C))
9.0ms	(.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
11×	`sqrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`
9×	`add-cbrt-cube_binary64`

Counts

2 → 59

Calls

2 calls:

6.0ms	(/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C))
5.0ms	(.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))

simplify97.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

935×	`div-sub_binary64`
607×	`times-frac_binary64`
551×	`associate-/l*_binary64`
461×	`fma-def_binary64`
242×	`neg-mul-1_binary64`

Counts

59 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	89	1029
1	175	903
2	612	898
3	2835	898
4	2948	898
5	3706	898
6	4534	898
7	5856	898

prune111.0ms (0.3%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	60	9	69
Fresh	4	26	30
Picked	1	0	1
Done	0	0	0
Total	65	35	100

Error

20.3b

Counts

100 → 35

Alt Table

Status	Error	Program
	62.0b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	41.5b	(neg.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 F))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 F)))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 F))) (sqrt.f64 2))) (sqrt.f64 C)))
	59.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	49.1b	(/.f64 (neg.f64 (neg.f64 (.f64 A (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	41.3b	(neg.f64 (/.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (.f64 -1/2 F))) (sqrt.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 (sqrt.f64 (*.f64 -1/2 F))) (sqrt.f64 (sqrt.f64 2)))) (sqrt.f64 C)))
	47.7b	(neg.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (log.f64 (sqrt.f64 2)))))
▶	41.1b	(neg.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C)))
	49.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 A)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	41.2b	(neg.f64 (/.f64 1 (/.f64 (sqrt.f64 C) (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 C)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	47.0b	(neg.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))
	54.9b	(cbrt.f64 (.f64 (.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	63.0b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	41.2b	(neg.f64 (.f64 (/.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 C)) (sqrt.f64 2)))
	42.7b	(neg.f64 (/.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2)))) (sqrt.f64 C)))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 (sqrt.f64 (+.f64 A C)) (sqrt.f64 (+.f64 A C)) (neg.f64 (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	53.3b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	41.5b	(neg.f64 (.f64 (/.f64 (sqrt.f64 (.f64 -1/2 F)) (*.f64 (cbrt.f64 (sqrt.f64 C)) (cbrt.f64 (sqrt.f64 C)))) (/.f64 (sqrt.f64 2) (cbrt.f64 (sqrt.f64 C)))))
	50.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (fma.f64 1 (+.f64 A C) (neg.f64 (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C)))))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C)))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	46.7b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	43.0b	(neg.f64 (exp.f64 (-.f64 (log.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))) (log.f64 (sqrt.f64 C)))))
	41.9b	(neg.f64 (/.f64 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))) (sqrt.f64 C)))
	58.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) B)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	47.7b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	43.0b	(neg.f64 (exp.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2))) (log.f64 (sqrt.f64 C)))))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	60.7b	(-.f64 (.f64 2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 (.f64 (fma.f64 C C (.f64 B B)) F) (-.f64 C (hypot.f64 B C)))))) (fma.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B) (fma.f64 1/2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B) (sqrt.f64 (/.f64 F (.f64 (fma.f64 B B (.f64 C C)) (-.f64 C (hypot.f64 B C)))))) (fma.f64 2 (.f64 (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))) (.f64 1/2 (.f64 (/.f64 (*.f64 A (sqrt.f64 2)) B) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))))))))
	50.2b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))))
	47.9b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 2 A (.f64 -1/2 (/.f64 (.f64 B B) C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	50.4b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B))))
	62.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	61.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F B))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	58.7b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (pow.f64 A 2) (pow.f64 B 2)))))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))

Compiler

Compiled 3357 to 2257 computations (32.8% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C))

series30.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

30.0ms

(/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

112×	`sqrt-prod_binary64`
78×	`times-frac_binary64`
59×	`add-sqr-sqrt_binary64`
57×	`*-un-lft-identity_binary64`
57×	`add-cube-cbrt_binary64`

Counts

1 → 113

Calls

1 calls:

6.0ms

(/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C))

simplify214.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1342×	`fma-neg_binary64`
788×	`div-sub_binary64`
474×	`fma-def_binary64`
417×	`associate-/l*_binary64`
402×	`times-frac_binary64`

Counts

113 → 112

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	139	2274
1	201	2232
2	361	2232
3	644	2232
4	1301	2232
5	1725	2232
6	2250	2232
7	2702	2232
8	3029	2232
9	3654	2232
10	4573	2232
11	4794	2232

prune106.0ms (0.3%)

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	108	4	112
Fresh	6	28	34
Picked	0	1	1
Done	0	0	0
Total	114	33	147

Error

20.3b

Counts

147 → 33

Alt Table

Status	Error	Program
	62.0b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	41.5b	(neg.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 F))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 F)))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 F))) (sqrt.f64 2))) (sqrt.f64 C)))
	59.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	49.1b	(/.f64 (neg.f64 (neg.f64 (.f64 A (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	41.5b	(neg.f64 (.f64 (/.f64 (fabs.f64 (cbrt.f64 F)) (.f64 (cbrt.f64 (sqrt.f64 C)) (cbrt.f64 (sqrt.f64 C)))) (/.f64 (sqrt.f64 (neg.f64 (cbrt.f64 F))) (cbrt.f64 (sqrt.f64 C)))))
	47.7b	(neg.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (log.f64 (sqrt.f64 2)))))
✓	41.1b	(neg.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C)))
	43.0b	(neg.f64 (exp.f64 (-.f64 (log.f64 (sqrt.f64 (neg.f64 F))) (log.f64 (sqrt.f64 C)))))
	62.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	41.2b	(neg.f64 (*.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 C))) (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 (sqrt.f64 C)))))
	63.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 C)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	54.9b	(cbrt.f64 (.f64 (.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))) (/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	63.0b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	42.7b	(neg.f64 (/.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2)))) (sqrt.f64 C)))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 (sqrt.f64 (+.f64 A C)) (sqrt.f64 (+.f64 A C)) (neg.f64 (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	41.5b	(neg.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (neg.f64 F))) (cbrt.f64 (sqrt.f64 (neg.f64 F)))) (fabs.f64 (cbrt.f64 C))) (/.f64 (cbrt.f64 (sqrt.f64 (neg.f64 F))) (sqrt.f64 (cbrt.f64 C)))))
	53.3b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	50.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (fma.f64 1 (+.f64 A C) (neg.f64 (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C)))))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C)))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) (.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	46.7b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	41.9b	(neg.f64 (/.f64 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))) (sqrt.f64 C)))
	58.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) B)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	47.7b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	43.0b	(neg.f64 (exp.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2))) (log.f64 (sqrt.f64 C)))))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	60.7b	(-.f64 (.f64 2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 (.f64 (fma.f64 C C (.f64 B B)) F) (-.f64 C (hypot.f64 B C)))))) (fma.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B) (fma.f64 1/2 (.f64 (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B) (sqrt.f64 (/.f64 F (.f64 (fma.f64 B B (.f64 C C)) (-.f64 C (hypot.f64 B C)))))) (fma.f64 2 (.f64 (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) (pow.f64 B 3)) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))) (.f64 1/2 (.f64 (/.f64 (*.f64 A (sqrt.f64 2)) B) (sqrt.f64 (/.f64 F (-.f64 C (hypot.f64 B C))))))))))
	50.2b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))))
	47.9b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (fma.f64 2 A (.f64 -1/2 (/.f64 (.f64 B B) C)))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	50.4b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (/.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))) (fma.f64 A (.f64 C -4) (*.f64 B B))))
	49.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (.f64 2 A)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	61.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F B))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	58.7b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (pow.f64 A 2) (pow.f64 B 2)))))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))

Compiler

Compiled 2862 to 1156 computations (59.6% saved)

regimes5.3s (14.7%)

Accuracy

Total 12.9b remaining (40.9%)

Threshold costs 0b (0%)

Counts

227 → 5

Compiler

Compiled 57827 to 35231 computations (39.1% saved)

bsearch19.0ms (0.1%)

Compiler: Compiled 44 to 32 computations (27.3% saved)

simplify52.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

248×	`distribute-rgt-neg-in_binary64`
165×	`cancel-sign-sub-inv_binary64`
163×	`distribute-lft-neg-out_binary64`
158×	`distribute-lft-neg-in_binary64`
149×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	100	517
1	182	517
2	256	517
3	334	517
4	400	517
5	475	517
6	572	517
7	716	517
8	865	517
9	1008	517
10	1125	517
11	1186	517
12	1216	517
13	1224	517
14	1211	517

end801.0ms (2.2%)

Compiler: Compiled 2442 to 1499 computations (38.6% saved)

Details

analyze3.4s (9.3%)

sample7.5s (20.8%)

simplify49.0ms (0.1%)

prune6.0ms (0%)

localize18.0ms (0.1%)

series15.9s (44%)

rewrite112.0ms (0.3%)

simplify677.0ms (1.9%)

prune1.4s (3.9%)

localize7.0ms (0%)

series50.0ms (0.1%)

rewrite11.0ms (0%)

simplify88.0ms (0.2%)

prune127.0ms (0.4%)

localize8.0ms (0%)

series45.0ms (0.1%)

rewrite15.0ms (0%)

simplify97.0ms (0.3%)

prune111.0ms (0.3%)

localize6.0ms (0%)

series30.0ms (0.1%)

rewrite17.0ms (0%)

simplify214.0ms (0.6%)

prune106.0ms (0.3%)

regimes5.3s (14.7%)

bsearch19.0ms (0.1%)

simplify52.0ms (0.1%)

end801.0ms (2.2%)

Profiling