Details

analyze3.2s (11.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)

sample6.8s (23.5%)

Symmetry

(sort A C)

Results

1.6s	5722×	body	128	valid
904.0ms	914×	body	1024	valid
834.0ms	879×	body	1024	invalid
752.0ms	2652×	body	128	invalid
747.0ms	632×	body	2048	valid
691.0ms	610×	body	2048	invalid
442.0ms	632×	body	512	valid
423.0ms	600×	body	512	invalid
165.0ms	354×	body	256	valid
138.0ms	312×	body	256	invalid
2.0ms	2×	body	4096	valid

Compiler

Compiled 134 to 98 computations (26.9% saved)

simplify51.0ms (0.2%)

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

48.7b

Counts

3 → 2

Alt Table

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

51.5b

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

▶

48.7b

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

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))
✓	6.3b	(.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
✓	11.8b	(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)))))))
✓	21.8b	(/.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)))

series7.9s (27.5%)

Counts

4 → 124

Calls

4 calls:

4.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)))))))
3.2s	(/.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)))
185.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))))))
40.0ms	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))

rewrite112.0ms (0.4%)

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

simplify654.0ms (2.3%)

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.3s (4.5%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	476	23	499
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	478	23	501

Error

22.0b

Counts

501 → 23

Alt Table

Status	Error	Program
▶	47.3b	(.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.2b	(/.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)))
	48.9b	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 (.f64 (.f64 (+.f64 A C) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (.f64 (.f64 (neg.f64 (hypot.f64 B (-.f64 A C))) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	63.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	55.3b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.5b	(.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))) (fma.f64 A (.f64 C -4) (*.f64 B B))))
	47.6b	(/.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)))
	49.0b	(/.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)))
	48.5b	(/.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A 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)))
	60.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	51.2b	(/.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)))
	60.3b	(/.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)))
	63.0b	(/.f64 (neg.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 -8 (.f64 A F))) (.f64 C (sqrt.f64 2))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	60.1b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	47.9b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (fma.f64 8 (.f64 A (.f64 F (.f64 B B))) (.f64 -16 (.f64 (.f64 A A) (.f64 C F)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	57.1b	(/.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)))
	48.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))) (.f64 (cbrt.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)))
	58.3b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 C B)))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	48.9b	(.f64 (.f64 (cbrt.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)))) (cbrt.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))))) (cbrt.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)))))
	51.4b	(/.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)))

Compiler

Compiled 69227 to 36592 computations (47.1% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.8b	(fma.f64 A (.f64 C -4) (.f64 B B))
	2.2b	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))
✓	8.4b	(sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
✓	19.4b	(sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))

series576.0ms (2%)

Counts

3 → 76

Calls

3 calls:

535.0ms	(sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
33.0ms	(sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))
9.0ms	(fma.f64 A (.f64 C -4) (.f64 B B))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`pow1_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`associate-*r/_binary64`
4×	`*-un-lft-identity_binary64`
4×	`sqrt-prod_binary64`

Counts

3 → 41

Calls

3 calls:

17.0ms	(sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
1.0ms	(sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))
0.0ms	(fma.f64 A (.f64 C -4) (.f64 B B))

simplify95.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

478×	`fma-def_binary64`
453×	`associate-l_binary64`
440×	`associate-r_binary64`
214×	`associate-/r*_binary64`
193×	`*-commutative_binary64`

Counts

117 → 110

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	521	6268
1	1551	5217
2	5251	5217

prune309.0ms (1.1%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	200	8	208
Fresh	3	19	22
Picked	1	0	1
Done	0	0	0
Total	204	27	231

Error

17.0b

Counts

231 → 27

Alt Table

Status	Error	Program
	60.2b	(/.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)))
	48.9b	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 (.f64 (.f64 (+.f64 A C) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (.f64 (.f64 (neg.f64 (hypot.f64 B (-.f64 A C))) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	63.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	51.1b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (.f64 F (fma.f64 2 A (.f64 -1/2 (/.f64 (.f64 B B) C)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	47.5b	(.f64 -1 (/.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))) (cbrt.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (cbrt.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)))))
	48.5b	(.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))) (fma.f64 A (.f64 C -4) (*.f64 B B))))
	47.6b	(/.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)))
	49.0b	(/.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)))
	60.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	51.2b	(/.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)))
	60.3b	(/.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)))
	63.0b	(/.f64 (neg.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 -8 (.f64 A F))) (.f64 C (sqrt.f64 2))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
▶	45.2b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	58.3b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 C B)))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	60.1b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	47.9b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	47.5b	(.f64 -1 (/.f64 (sqrt.f64 (.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))))))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	63.5b	(.f64 -1 (/.f64 (.f64 2 (sqrt.f64 (.f64 C F))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	54.5b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (sqrt.f64 2)) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (fma.f64 8 (.f64 A (.f64 F (.f64 B B))) (.f64 -16 (.f64 (.f64 A A) (.f64 C F)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	52.4b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) (neg.f64 B)))
	51.4b	(/.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.0b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) B))
	57.1b	(/.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)))
	48.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))) (.f64 (cbrt.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)))
	48.9b	(.f64 (.f64 (cbrt.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)))) (cbrt.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))))) (cbrt.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)))))

Compiler

Compiled 15264 to 8499 computations (44.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))
	0.8b	(fma.f64 A (.f64 C -4) (.f64 B B))
✓	10.8b	(sqrt.f64 (*.f64 F (-.f64 A (hypot.f64 B A))))
	19.4b	(sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))

series242.0ms (0.8%)

Counts

2 → 16

Calls

2 calls:

161.0ms	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))
81.0ms	(sqrt.f64 (*.f64 F (-.f64 A (hypot.f64 B A))))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`pow1_binary64`
9×	`add-sqr-sqrt_binary64`
6×	`associate-l_binary64`
6×	`sqrt-prod_binary64`
6×	`associate-*r/_binary64`

Counts

2 → 46

Calls

2 calls:

12.0ms	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))
7.0ms	(sqrt.f64 (*.f64 F (-.f64 A (hypot.f64 B A))))

simplify84.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

659×	`fma-def_binary64`
429×	`cancel-sign-sub-inv_binary64`
294×	`times-frac_binary64`
243×	`associate-r_binary64`
218×	`associate-/l*_binary64`

Counts

62 → 81

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	219	2175
1	692	2140
2	3221	2140
3	4888	2140
4	5024	2140

prune172.0ms (0.6%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	129	6	135
Fresh	4	22	26
Picked	1	0	1
Done	0	0	0
Total	134	28	162

Error

16.9b

Counts

162 → 28

Alt Table

Status	Error	Program
	60.2b	(/.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)))
	48.9b	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 (.f64 (.f64 (+.f64 A C) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (.f64 (.f64 (neg.f64 (hypot.f64 B (-.f64 A C))) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	63.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	51.1b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (.f64 F (fma.f64 2 A (.f64 -1/2 (/.f64 (.f64 B B) C)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	47.6b	(/.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)))
	49.0b	(/.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)))
	54.0b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) B))
▶	45.2b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	60.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	55.7b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A))))) (-.f64 B (.f64 2 (+.f64 (/.f64 (.f64 (.f64 A C) (.f64 A C)) (pow.f64 B 3)) (/.f64 (.f64 A C) B))))))
	51.2b	(/.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.4b	(.f64 -1 (/.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 2)) (log.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A))))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	63.0b	(/.f64 (neg.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 -8 (.f64 A F))) (.f64 C (sqrt.f64 2))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	60.3b	(/.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)))
	60.1b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	47.9b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	47.5b	(.f64 -1 (/.f64 (sqrt.f64 (.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))))))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	63.5b	(.f64 -1 (/.f64 (.f64 2 (sqrt.f64 (.f64 C F))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	52.7b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 F (-.f64 A (hypot.f64 B A))))) (neg.f64 B)))
	48.9b	(.f64 (.f64 (cbrt.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)))) (cbrt.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))))) (cbrt.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)))))
	52.7b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A))))) (-.f64 (.f64 2 (/.f64 (*.f64 A C) B)) B)))
	54.5b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (sqrt.f64 2)) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (fma.f64 8 (.f64 A (.f64 F (.f64 B B))) (.f64 -16 (.f64 (.f64 A A) (.f64 C F)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	52.4b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) (neg.f64 B)))
	51.4b	(/.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)))
	45.3b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A))))) (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))) (sqrt.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))))
	58.3b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 C B)))) (.f64 (sqrt.f64 2) B))) (fma.f64 A (.f64 C -4) (*.f64 B B)))

Compiler

Compiled 7348 to 4171 computations (43.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))
	0.8b	(fma.f64 A (.f64 C -4) (.f64 B B))
	10.8b	(sqrt.f64 (*.f64 F (-.f64 A (hypot.f64 B A))))
	19.4b	(sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))

series112.0ms (0.4%)

Counts

1 → 8

Calls

1 calls:

111.0ms

(*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (*.f64 F (-.f64 A (hypot.f64 B A)))))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`sqrt-prod_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`associate-l_binary64`
8×	`pow1_binary64`
5×	`*-un-lft-identity_binary64`

Counts

1 → 35

Calls

1 calls:

9.0ms

(*.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (*.f64 F (-.f64 A (hypot.f64 B A)))))

simplify54.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

455×	`associate-*l/_binary64`
306×	`associate-/r/_binary64`
288×	`fma-def_binary64`
241×	`unswap-sqr_binary64`
230×	`cancel-sign-sub-inv_binary64`

Counts

43 → 50

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	1652
1	500	1592
2	2328	1580
3	5197	1580

prune185.0ms (0.6%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	131	5	136
Fresh	5	22	27
Picked	0	1	1
Done	0	0	0
Total	136	28	164

Error

16.9b

Counts

164 → 28

Alt Table

Status	Error	Program
	60.2b	(/.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)))
	48.9b	(/.f64 (neg.f64 (sqrt.f64 (+.f64 (.f64 (.f64 (.f64 (+.f64 A C) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (.f64 (.f64 (neg.f64 (hypot.f64 B (-.f64 A C))) F) 2) (fma.f64 A (.f64 C -4) (.f64 B B)))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	63.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	51.1b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (.f64 F (fma.f64 2 A (.f64 -1/2 (/.f64 (.f64 B B) C)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	47.6b	(/.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)))
	49.0b	(/.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)))
	54.0b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) B))
✓	45.2b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	55.7b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))) (-.f64 B (.f64 2 (+.f64 (/.f64 (.f64 (.f64 A C) (.f64 A C)) (pow.f64 B 3)) (/.f64 (*.f64 A C) B))))))
	59.2b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (neg.f64 (.f64 F (.f64 (sqrt.f64 2) B))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	60.0b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	51.2b	(/.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)))
	60.3b	(/.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)))
	63.0b	(/.f64 (neg.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 -8 (.f64 A F))) (.f64 C (sqrt.f64 2))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	60.1b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	52.7b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))) (neg.f64 B)))
	47.9b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	47.5b	(.f64 -1 (/.f64 (sqrt.f64 (.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))))))))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	63.5b	(.f64 -1 (/.f64 (.f64 2 (sqrt.f64 (.f64 C F))) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	52.7b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))) (-.f64 (.f64 2 (/.f64 (.f64 A C) B)) B)))
	54.5b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (sqrt.f64 2)) (sqrt.f64 (fma.f64 A (.f64 C -4) (*.f64 B B)))))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (fma.f64 8 (.f64 A (.f64 F (.f64 B B))) (.f64 -16 (.f64 (.f64 A A) (.f64 C F)))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	54.4b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	52.4b	(.f64 -1 (/.f64 (sqrt.f64 (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))) (neg.f64 B)))
	51.4b	(/.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)))
	45.3b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A))))) (.f64 (sqrt.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))) (sqrt.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))))
	54.5b	(.f64 -1 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 B A)))))) (-.f64 B (.f64 2 (/.f64 (.f64 A C) B)))))
	48.9b	(.f64 (.f64 (cbrt.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)))) (cbrt.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))))) (cbrt.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)))))

Compiler

Compiled 7237 to 4499 computations (37.8% saved)

regimes6.0s (21%)

Accuracy

Total 18.5b remaining (53.5%)

Threshold costs 0b (0%)

Counts

290 → 4

Compiler

Compiled 75509 to 45152 computations (40.2% saved)

bsearch21.0ms (0.1%)

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

simplify47.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

159×	`distribute-rgt-neg-in_binary64`
114×	`cancel-sign-sub-inv_binary64`
112×	`neg-sub0_binary64`
109×	`distribute-lft-neg-in_binary64`
109×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	338
1	132	338
2	199	338
3	257	338
4	309	338
5	346	338
6	374	338
7	390	338
8	412	338
9	447	338
10	489	338
11	532	338
12	579	338
13	638	338
14	712	338
15	778	338
16	823	338
17	851	338
18	862	338
19	864	338
20	854	338

end663.0ms (2.3%)

Compiler: Compiled 1880 to 1197 computations (36.3% saved)

Iter	Nodes	Cost
0	74	338
1	132	338
2	199	338
3	257	338
4	309	338
5	346	338
6	374	338
7	390	338
8	412	338
9	447	338
10	489	338
11	532	338
12	579	338
13	638	338
14	712	338
15	778	338
16	823	338
17	851	338
18	862	338
19	864	338
20	854	338

Iter	Nodes	Cost
0	74	338
1	132	338
2	199	338
3	257	338
4	309	338
5	346	338
6	374	338
7	390	338
8	412	338
9	447	338
10	489	338
11	532	338
12	579	338
13	638	338
14	712	338
15	778	338
16	823	338
17	851	338
18	862	338
19	864	338
20	854	338

Details

analyze3.2s (11.3%)

sample6.8s (23.5%)

simplify51.0ms (0.2%)

prune6.0ms (0%)

localize17.0ms (0.1%)

series7.9s (27.5%)

rewrite112.0ms (0.4%)

simplify654.0ms (2.3%)

prune1.3s (4.5%)

localize19.0ms (0.1%)

series576.0ms (2%)

rewrite20.0ms (0.1%)

simplify95.0ms (0.3%)

prune309.0ms (1.1%)

localize17.0ms (0.1%)

series242.0ms (0.8%)

rewrite21.0ms (0.1%)

simplify84.0ms (0.3%)

prune172.0ms (0.6%)

localize16.0ms (0.1%)

series112.0ms (0.4%)

rewrite11.0ms (0%)

simplify54.0ms (0.2%)

prune185.0ms (0.6%)

regimes6.0s (21%)

bsearch21.0ms (0.1%)

simplify47.0ms (0.2%)

end663.0ms (2.3%)

Profiling

Iter	Nodes	Cost
0	74	338
1	132	338
2	199	338
3	257	338
4	309	338
5	346	338
6	374	338
7	390	338
8	412	338
9	447	338
10	489	338
11	532	338
12	579	338
13	638	338
14	712	338
15	778	338
16	823	338
17	851	338
18	862	338
19	864	338
20	854	338