Details

analyze3.5s (2.4%)

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)

sample6.8s (4.6%)

Symmetry

(sort A C)

Results

1.6s	5745×	body	128	valid
873.0ms	852×	body	1024	invalid
836.0ms	853×	body	1024	valid
780.0ms	650×	body	2048	valid
703.0ms	575×	body	2048	invalid
667.0ms	2603×	body	128	invalid
457.0ms	634×	body	512	valid
443.0ms	618×	body	512	invalid
223.0ms	371×	body	256	valid
167.0ms	350×	body	256	invalid
4.0ms	3×	body	4096	valid

Compiler

Compiled 134 to 98 computations (26.9% saved)

simplify52.0ms (0%)

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

45.9b

Counts

3 → 2

Alt Table

Status	Error	Program
	49.7b	(/.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)))
▶	46.4b	(/.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)))

Status

Error

Program

49.7b

(/.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)))

▶

46.4b

(/.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)))

Compiler

Compiled 239 to 156 computations (34.7% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.4b	(-.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))))))
✓	15.7b	(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.1b	(/.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)))

series16.0s (10.7%)

Counts

4 → 124

Calls

4 calls:

9.4s	(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)))
193.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))))))
55.0ms	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))

rewrite117.0ms (0.1%)

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:

23.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)))))))
17.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))))))
6.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)))

simplify885.0ms (0.6%)

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.2s (0.8%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	474	25	499
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	476	25	501

Error

19.3b

Counts

501 → 25

Alt Table

Status	Error	Program
	61.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	56.7b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	58.0b	(.f64 -1 (.f64 (sqrt.f64 (*.f64 F (-.f64 A (sqrt.f64 (+.f64 (pow.f64 A 2) (pow.f64 B 2)))))) (/.f64 (sqrt.f64 2) B)))
▶	46.5b	(/.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)))))))))
	46.5b	(.f64 (sqrt.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 (sqrt.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))))
	54.2b	(/.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)))
	49.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	60.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (neg.f64 B)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	56.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (.f64 (-.f64 A (hypot.f64 A B)) (.f64 B B)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	46.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)))))))) (/.f64 1 (fma.f64 A (.f64 C -4) (.f64 B B))))
	47.4b	(/.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)))
	53.6b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	63.1b	(/.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)))
	62.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	46.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)))))
	60.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	58.3b	(.f64 (sqrt.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)))) (sqrt.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)))))
	63.0b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	53.7b	(cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (.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)))))
	51.6b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	60.2b	(/.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)))
	48.3b	(/.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)))
	53.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 (pow.f64 A 2) (.f64 C F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	57.1b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (fma.f64 2 (.f64 A (.f64 F (.f64 B B))) (fma.f64 2 (.f64 C (.f64 F (.f64 B B))) (fma.f64 8 (.f64 (.f64 A (.f64 C F)) (hypot.f64 C B)) (.f64 2 (.f64 (.f64 A (.f64 C (.f64 F (.f64 B B)))) (sqrt.f64 (/.f64 1 (fma.f64 C C (.f64 B B))))))))) (fma.f64 2 (.f64 (hypot.f64 C B) (.f64 F (.f64 B B))) (.f64 8 (.f64 A (.f64 (.f64 C C) F))))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	61.4b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (fma.f64 2 (.f64 C (.f64 F (.f64 B B))) (fma.f64 2 (.f64 A (.f64 F (.f64 B B))) (.f64 10 (.f64 A (.f64 C (.f64 F B)))))) (fma.f64 2 (.f64 F (pow.f64 B 3)) (.f64 (.f64 F B) (fma.f64 A A (.f64 C C))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))

Compiler

Compiled 69427 to 36684 computations (47.2% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.4b	(-.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))))))
	15.7b	(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)))))))
✓	22.9b	(/.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))))))))

series1.6min (62.1%)

Counts

1 → 20

Calls

1 calls:

1.6min

(/.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))))))))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
6×	`associate-*r/_binary64`

Counts

1 → 35

Calls

1 calls:

14.0ms

(/.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))))))))

simplify186.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

966×	`fma-def_binary64`
472×	`*-commutative_binary64`
237×	`associate-r_binary64`
180×	`+-commutative_binary64`
163×	`associate-/r*_binary64`

Counts

55 → 102

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1062	16448
1	3383	13444
2	4954	13444

prune984.0ms (0.7%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	468	11	479
Fresh	8	16	24
Picked	1	0	1
Done	0	0	0
Total	477	27	504

Error

19.2b

Counts

504 → 27

Alt Table

Status	Error	Program
	60.3b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (-.f64 (fma.f64 2 (.f64 C (.f64 F (.f64 B B))) (fma.f64 2 (.f64 A (.f64 F (.f64 B B))) (fma.f64 2 (.f64 F (pow.f64 B 3)) (.f64 (.f64 F B) (fma.f64 A A (.f64 C C)))))) (fma.f64 10 (.f64 A (.f64 C (.f64 F B))) (.f64 8 (fma.f64 A (.f64 (.f64 C C) F) (.f64 (.f64 A A) (*.f64 C F)))))))))
	61.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	56.7b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	49.2b	(/.f64 -1 (/.f64 (sqrt.f64 (*.f64 -2 (/.f64 C F))) (sqrt.f64 2)))
	46.5b	(.f64 (sqrt.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 (sqrt.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.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	58.2b	(/.f64 -1 (-.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 F (-.f64 C (hypot.f64 C B))))) (/.f64 B (sqrt.f64 2))) (fma.f64 1/2 (.f64 (/.f64 (.f64 A (.f64 C B)) (.f64 (-.f64 C (hypot.f64 C B)) (sqrt.f64 2))) (sqrt.f64 (/.f64 1 (.f64 (fma.f64 C C (.f64 B B)) (.f64 F (-.f64 C (hypot.f64 C B))))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 F (-.f64 C (hypot.f64 C B))))) (+.f64 (.f64 2 (/.f64 (.f64 C A) (.f64 B (sqrt.f64 2)))) (.f64 1/2 (/.f64 (.f64 B A) (*.f64 (-.f64 C (hypot.f64 C B)) (sqrt.f64 2)))))))))
	60.2b	(/.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.3b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 C B)))) (*.f64 (sqrt.f64 2) B))))
	60.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (neg.f64 B)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	56.5b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (.f64 (-.f64 A (hypot.f64 A B)) (.f64 B B)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	48.3b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (neg.f64 (.f64 A (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))))))
	48.3b	(/.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.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)))))))) (/.f64 1 (fma.f64 A (.f64 C -4) (.f64 B B))))
	47.4b	(/.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)))
	53.6b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	54.2b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (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))))))
	51.9b	(/.f64 -1 (.f64 (/.f64 B (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (.f64 F (-.f64 A (hypot.f64 B A)))))))
	63.0b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	60.6b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))))
	51.8b	(/.f64 -1 (fma.f64 1/4 (/.f64 (.f64 B B) (.f64 A (.f64 F (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -2 (/.f64 C F))))))) (/.f64 (sqrt.f64 (.f64 -2 (/.f64 C F))) (sqrt.f64 2))))
	53.7b	(cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (.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)))))
	51.6b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	53.0b	(/.f64 -1 (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (.f64 -16 (.f64 (.f64 A A) (.f64 C F))))))
▶	46.5b	(/.f64 -1 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (/.f64 1 (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))))))))))
	46.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)))))
	61.4b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (fma.f64 2 (.f64 C (.f64 F (.f64 B B))) (fma.f64 2 (.f64 A (.f64 F (.f64 B B))) (.f64 10 (.f64 A (.f64 C (.f64 F B)))))) (fma.f64 2 (.f64 F (pow.f64 B 3)) (.f64 (.f64 F B) (fma.f64 A A (.f64 C C))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))

Compiler

Compiled 63481 to 33848 computations (46.7% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.4b	(-.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))))))
	15.7b	(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)))))))
✓	22.6b	(.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (/.f64 1 (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)))))))))

Details

analyze3.5s (2.4%)

sample6.8s (4.6%)

simplify52.0ms (0%)

prune6.0ms (0%)

localize19.0ms (0%)

series16.0s (10.7%)

rewrite117.0ms (0.1%)

simplify885.0ms (0.6%)

prune1.2s (0.8%)

localize17.0ms (0%)

series1.6min (62.1%)

rewrite18.0ms (0%)

simplify186.0ms (0.1%)

prune984.0ms (0.7%)

localize18.0ms (0%)

series27.0s (18%)

Profiling