Details

analyze3.7s (10.7%)

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.0s (20%)

Symmetry

(sort A C)

Results

1.6s	5688×	body	128	valid
901.0ms	911×	body	1024	valid
834.0ms	677×	body	2048	valid
802.0ms	857×	body	1024	invalid
729.0ms	584×	body	2048	invalid
726.0ms	2645×	body	128	invalid
459.0ms	632×	body	512	valid
428.0ms	606×	body	512	invalid
206.0ms	348×	body	256	valid
166.0ms	340×	body	256	invalid

Compiler

Compiled 134 to 98 computations (26.9% saved)

simplify57.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.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	48.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)))
	52.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

▶

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

52.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.3b	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))
✓	5.2b	(.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (*.f64 F (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))
✓	14.2b	(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)))))))
✓	19.6b	(/.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.2s (46.5%)

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

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

simplify624.0ms (1.8%)

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.1s (3.1%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	477	22	499
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	479	22	501

Error

17.9b

Counts

501 → 22

Alt Table

Status	Error	Program
	46.9b	(/.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)))
	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)))
	58.2b	(/.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)))
	62.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))) (fma.f64 2 (.f64 F (pow.f64 B 3)) (.f64 (.f64 F B) (fma.f64 A A (.f64 C C)))))) (.f64 10 (.f64 A (.f64 C (.f64 F B))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	53.8b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	45.0b	(.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)))))
	62.0b	(/.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)))
	46.4b	(.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))))
	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)))
	60.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
▶	44.3b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	54.9b	(/.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)))
	47.3b	(/.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.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.6b	(.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))))
	45.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (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)))
	48.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)))))))))
	62.9b	(/.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	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	47.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)))
	60.3b	(-.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))))))))))
	45.1b	(/.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)))

Compiler

Compiled 69197 to 36572 computations (47.1% saved)

localize8.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))
✓	11.7b	(sqrt.f64 (*.f64 -1/2 (/.f64 F C)))

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

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

simplify253.0ms (0.7%)

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

prune80.0ms (0.2%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	35	11	46
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	37	31	68

Error

16.3b

Counts

68 → 31

Alt Table

Status	Error	Program
	58.2b	(/.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)))
	62.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))) (fma.f64 2 (.f64 F (pow.f64 B 3)) (.f64 (.f64 F B) (fma.f64 A A (.f64 C C)))))) (.f64 10 (.f64 A (.f64 C (.f64 F B))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	45.3b	(neg.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (log.f64 (sqrt.f64 2)))))
	45.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (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)))
	63.2b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	39.8b	(neg.f64 (.f64 (/.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 C)) (sqrt.f64 2)))
	53.8b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	44.4b	(neg.f64 (.f64 (sqrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (.f64 (sqrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))
	45.0b	(.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)))))
	62.0b	(/.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)))
	44.5b	(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))))
	46.4b	(.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))))
	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)))
	60.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
▶	39.8b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C)))
	54.9b	(/.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)))
	44.4b	(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)))))
	45.3b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	47.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)))
	60.3b	(-.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))))))))))
	44.2b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	47.3b	(/.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.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.3b	(neg.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)))))
	48.6b	(.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))))
	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)))
	61.1b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	48.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)))))))))
	62.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	44.8b	(neg.f64 (.f64 (expm1.f64 (log1p.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	45.1b	(/.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)))

Compiler

Compiled 2646 to 1783 computations (32.6% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

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

series42.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

34.0ms	(/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C))
8.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))
6.0ms	(.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))

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

prune116.0ms (0.3%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	60	9	69
Fresh	5	25	30
Picked	1	0	1
Done	0	0	0
Total	66	34	100

Error

16.3b

Counts

100 → 34

Alt Table

Status	Error	Program
	40.0b	(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)))))
	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)))
	58.2b	(/.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)))
	62.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))) (fma.f64 2 (.f64 F (pow.f64 B 3)) (.f64 (.f64 F B) (fma.f64 A A (.f64 C C)))))) (.f64 10 (.f64 A (.f64 C (.f64 F B))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	45.3b	(neg.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (log.f64 (sqrt.f64 2)))))
	45.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (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)))
	62.9b	(/.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.5b	(neg.f64 (exp.f64 (-.f64 (log.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))) (log.f64 (sqrt.f64 C)))))
	63.2b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	41.6b	(neg.f64 (exp.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2))) (log.f64 (sqrt.f64 C)))))
	53.8b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	39.8b	(neg.f64 (/.f64 1 (/.f64 (sqrt.f64 C) (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))))
	40.3b	(neg.f64 (expm1.f64 (log1p.f64 (/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C)))))
	45.0b	(.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)))))
	62.0b	(/.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)))
	44.5b	(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))))
	46.4b	(.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))))
	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)))
	60.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	41.3b	(neg.f64 (/.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2)))) (sqrt.f64 C)))
	54.9b	(/.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)))
	44.4b	(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)))))
	45.3b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	40.4b	(neg.f64 (/.f64 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))) (sqrt.f64 C)))
	48.6b	(.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))))
	47.3b	(/.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.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.3b	(neg.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)))))
▶	39.7b	(neg.f64 (/.f64 (.f64 (.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 C)))
	39.8b	(neg.f64 (.f64 (/.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 C))) (/.f64 (sqrt.f64 2) (sqrt.f64 (sqrt.f64 C)))))
	45.1b	(/.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.1b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	48.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)))))))))
	60.3b	(-.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))))))))))

Compiler

Compiled 3191 to 2215 computations (30.6% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

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

series54.0ms (0.2%)

Counts

3 → 0

Calls

3 calls:

35.0ms

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

10.0ms

(*.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2)))

9.0ms

(*.f64 (*.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`sqrt-prod_binary64`
22×	`pow1_binary64`
20×	`add-sqr-sqrt_binary64`
19×	`add-cbrt-cube_binary64`
19×	`add-exp-log_binary64`

Counts

3 → 95

Calls

3 calls:

13.0ms

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

10.0ms

(*.f64 (*.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))

8.0ms

(*.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2)))

simplify120.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

931×	`fma-neg_binary64`
402×	`associate-*l/_binary64`
394×	`associate-/l/_binary64`
341×	`associate-/r*_binary64`
263×	`associate-/r/_binary64`

Counts

95 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	117	1783
1	256	1546
2	1017	1546
3	2789	1541
4	3181	1541
5	3721	1541
6	4921	1541
7	5654	1541

prune173.0ms (0.5%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	113	7	120
Fresh	7	26	33
Picked	1	0	1
Done	0	0	0
Total	121	33	154

Error

16.3b

Counts

154 → 33

Alt Table

Status	Error	Program
	58.2b	(/.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)))
	41.6b	(neg.f64 (/.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 (sqrt.f64 2)))) (log.f64 (sqrt.f64 (sqrt.f64 2))))) (sqrt.f64 C)))
	62.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))) (fma.f64 2 (.f64 F (pow.f64 B 3)) (.f64 (.f64 F B) (fma.f64 A A (.f64 C C)))))) (.f64 10 (.f64 A (.f64 C (.f64 F B))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	45.3b	(neg.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (log.f64 (sqrt.f64 2)))))
	41.8b	(neg.f64 (exp.f64 (-.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 (sqrt.f64 2)))) (log.f64 (sqrt.f64 (sqrt.f64 2)))) (log.f64 (sqrt.f64 C)))))
	45.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (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)))
	62.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	40.5b	(neg.f64 (/.f64 (.f64 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))))) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 C)))
	53.8b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	39.8b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))) (/.f64 (sqrt.f64 C) (sqrt.f64 (sqrt.f64 2)))))
	40.1b	(neg.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))) (sqrt.f64 C)))
	45.0b	(.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)))))
	62.0b	(/.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)))
	44.5b	(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))))
	40.3b	(neg.f64 (/.f64 (.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 2))) (cbrt.f64 (sqrt.f64 (sqrt.f64 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 2)))) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 C)))
	46.4b	(.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))))
	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)))
	60.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	44.4b	(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)))))
	45.3b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	40.4b	(neg.f64 (/.f64 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))) (sqrt.f64 C)))
	48.6b	(.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))))
	47.3b	(/.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.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (hypot.f64 B C)))) (/.f64 (sqrt.f64 2) B)))
	48.3b	(neg.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)))))
	39.7b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 (*.f64 -1/2 F) (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 C)))
	45.1b	(/.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)))
	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)))
	61.1b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	48.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)))))))))
	63.2b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	54.9b	(/.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)))
	60.3b	(-.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))))))))))

Compiler

Compiled 3647 to 2832 computations (22.3% saved)

regimes3.9s (11%)

Accuracy

Total 15.4b remaining (45.9%)

Threshold costs 0b (0%)

Counts

202 → 4

Compiler

Compiled 40586 to 29625 computations (27% saved)

bsearch368.0ms (1.1%)

Steps

Iters	Range	Point
6	9.940075354974523e+20	8.652494795551257e+21	3.028623453697263e+21
8	-3.1048602536080166e-304	-7.361142253215178e-307	-3.073995699162904e-304
11	-5.75856723933387e-108	-3.604706538582658e-129	-5.699986030362876e-108

Iters

Range

Point

9.940075354974523e+20

8.652494795551257e+21

3.028623453697263e+21

-3.1048602536080166e-304

-7.361142253215178e-307

-3.073995699162904e-304

-5.75856723933387e-108

-3.604706538582658e-129

-5.699986030362876e-108

Compiler

Compiled 5 to 4 computations (20% saved)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Rules

28×	`distribute-rgt-neg-in_binary64`
27×	`*-commutative_binary64`
25×	`sub-neg_binary64`
23×	`+-commutative_binary64`
23×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	148
1	98	148
2	145	148
3	191	148
4	226	148
5	245	148
6	251	148
7	252	148
8	247	148

end742.0ms (2.1%)

Compiler: Compiled 1476 to 984 computations (33.3% saved)

Iter	Nodes	Cost
0	57	148
1	98	148
2	145	148
3	191	148
4	226	148
5	245	148
6	251	148
7	252	148
8	247	148

Iter	Nodes	Cost
0	57	148
1	98	148
2	145	148
3	191	148
4	226	148
5	245	148
6	251	148
7	252	148
8	247	148

Details

analyze3.7s (10.7%)

sample7.0s (20%)

simplify57.0ms (0.2%)

prune6.0ms (0%)

localize18.0ms (0.1%)

series16.2s (46.5%)

rewrite110.0ms (0.3%)

simplify624.0ms (1.8%)

prune1.1s (3.1%)

localize8.0ms (0%)

series51.0ms (0.1%)

rewrite11.0ms (0%)

simplify253.0ms (0.7%)

prune80.0ms (0.2%)

localize8.0ms (0%)

series42.0ms (0.1%)

rewrite15.0ms (0%)

simplify94.0ms (0.3%)

prune116.0ms (0.3%)

localize10.0ms (0%)

series54.0ms (0.2%)

rewrite37.0ms (0.1%)

simplify120.0ms (0.3%)

prune173.0ms (0.5%)

regimes3.9s (11%)

bsearch368.0ms (1.1%)

simplify11.0ms (0%)

end742.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	57	148
1	98	148
2	145	148
3	191	148
4	226	148
5	245	148
6	251	148
7	252	148
8	247	148