Details

analyze6.7s (11.2%)

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)

sample350.0ms (0.6%)

Algorithm

1×

intervals

Results

64.0ms	169×	body	128	valid
43.0ms	30×	body	1024	valid
38.0ms	27×	body	1024	nan
34.0ms	19×	body	2048	nan
30.0ms	18×	body	2048	valid
29.0ms	80×	body	128	nan
24.0ms	24×	body	512	valid
19.0ms	19×	body	512	nan
10.0ms	15×	body	256	valid
8.0ms	13×	body	256	nan

Compiler

Compiled 93 to 69 computations (25.8% saved)

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

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

51.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	54.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)))
▶	51.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)))

Status

Error

Program

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

▶

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

Compiler

Compiled 239 to 156 computations (34.7% saved)

localize36.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.0b	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))
✓	6.0b	(.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)))))))
✓	21.9b	(/.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)))

series31.1s (51.5%)

Counts

4 → 124

Calls

4 calls:

18.5s	(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)))))))
12.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)))
376.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))))))
108.0ms	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))

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

51.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)))))))
31.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))))))
12.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)))
12.0ms	(-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))

simplify2.1s (3.5%)

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

prune2.8s (4.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	479	20	499
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	481	20	501

Error

21.9b

Counts

501 → 20

Alt Table

Status	Error	Program
	50.8b	(.f64 (/.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (cbrt.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))))))) (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	48.7b	(/.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.6b	(.f64 -1 (.f64 (sqrt.f64 (*.f64 F (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 C 2)))))) (/.f64 (sqrt.f64 2) B)))
	48.7b	(/.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)))
	62.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	54.9b	(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)))))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	53.5b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	51.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)))
	49.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)))))
▶	45.9b	(neg.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))
	51.1b	(.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))))
	61.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A (+.f64 C (/.f64 (.f64 A C) B))) (fma.f64 1/2 (/.f64 (.f64 A A) B) (fma.f64 1/2 (/.f64 (.f64 C C) B) B)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	54.1b	(/.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.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)))
	51.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (+.f64 A C) (.f64 (neg.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)))
	51.3b	(.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))))
	57.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (pow.f64 (+.f64 A C) 3) (pow.f64 (hypot.f64 B (-.f64 A C)) 3))))))) (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (fma.f64 (+.f64 A C) (+.f64 A C) (*.f64 (hypot.f64 B (-.f64 A C)) (+.f64 (hypot.f64 B (-.f64 A C)) (+.f64 A C)))))))
	61.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	47.9b	(/.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)))

Compiler

Compiled 69147 to 36518 computations (47.2% saved)

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

series87.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

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

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

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

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

prune146.0ms (0.2%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	35	11	46
Fresh	2	17	19
Picked	1	0	1
Done	0	0	0
Total	38	28	66

Error

19.7b

Counts

66 → 28

Alt Table

Status	Error	Program
	46.2b	(neg.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	60.6b	(.f64 -1 (.f64 (sqrt.f64 (*.f64 F (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 C 2)))))) (/.f64 (sqrt.f64 2) B)))
	50.8b	(.f64 (/.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (cbrt.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))))))) (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	48.7b	(/.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)))
	48.7b	(/.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)))
	62.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	45.9b	(neg.f64 (.f64 (.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C))) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
	47.0b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	57.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (pow.f64 (+.f64 A C) 3) (pow.f64 (hypot.f64 B (-.f64 A C)) 3))))))) (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (fma.f64 (+.f64 A C) (+.f64 A C) (*.f64 (hypot.f64 B (-.f64 A C)) (+.f64 (hypot.f64 B (-.f64 A C)) (+.f64 A C)))))))
▶	40.6b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C)))
	61.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	46.1b	(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)))))
	62.0b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	53.5b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	54.9b	(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)))))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	51.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)))
	49.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)))))
	51.1b	(.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))))
	61.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A (+.f64 C (/.f64 (.f64 A C) B))) (fma.f64 1/2 (/.f64 (.f64 A A) B) (fma.f64 1/2 (/.f64 (.f64 C C) B) B)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	54.1b	(/.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)))
	40.7b	(neg.f64 (.f64 (/.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 C)) (sqrt.f64 2)))
	51.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (+.f64 A C) (.f64 (neg.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)))
	51.3b	(.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))))
	45.8b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	62.0b	(neg.f64 (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))
	47.1b	(neg.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (log.f64 (sqrt.f64 2)))))
	46.4b	(neg.f64 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))

Compiler

Compiled 2462 to 1651 computations (32.9% saved)

localize17.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.4b	(.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))

series79.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

63.0ms	(/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C))
16.0ms	(.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))

rewrite31.0ms (0.1%)

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:

14.0ms	(/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C))
12.0ms	(.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2))

simplify137.0ms (0.2%)

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

prune204.0ms (0.3%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	60	9	69
Fresh	4	23	27
Picked	1	0	1
Done	0	0	0
Total	65	32	97

Error

19.7b

Counts

97 → 32

Alt Table

Status	Error	Program
	46.2b	(neg.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	60.6b	(.f64 -1 (.f64 (sqrt.f64 (*.f64 F (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 C 2)))))) (/.f64 (sqrt.f64 2) B)))
	50.8b	(.f64 (/.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (cbrt.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))))))) (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	48.7b	(/.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)))
	51.3b	(.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))))
	40.7b	(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)))
	48.7b	(/.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)))
	62.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	47.0b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	45.8b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	42.1b	(neg.f64 (/.f64 (exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))) (sqrt.f64 C)))
▶	40.6b	(neg.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C)))
	61.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	46.1b	(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)))))
	41.2b	(neg.f64 (expm1.f64 (log1p.f64 (/.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)) (sqrt.f64 C)))))
	42.3b	(neg.f64 (/.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2)))) (sqrt.f64 C)))
	62.0b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	53.5b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	42.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)))))
	54.9b	(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)))))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	51.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)))
	49.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	(neg.f64 (/.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 (.f64 -1/2 F))) (sqrt.f64 (.f64 -1/2 F))) (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)))) (sqrt.f64 C)))
	40.7b	(neg.f64 (.f64 (.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 2)) (/.f64 1 (sqrt.f64 C))))
	51.1b	(.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))))
	61.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A (+.f64 C (/.f64 (.f64 A C) B))) (fma.f64 1/2 (/.f64 (.f64 A A) B) (fma.f64 1/2 (/.f64 (.f64 C C) B) B)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	54.1b	(/.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)))
	41.0b	(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)))
	51.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (+.f64 A C) (.f64 (neg.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)))
	57.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (pow.f64 (+.f64 A C) 3) (pow.f64 (hypot.f64 B (-.f64 A C)) 3))))))) (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (fma.f64 (+.f64 A C) (+.f64 A C) (*.f64 (hypot.f64 B (-.f64 A C)) (+.f64 (hypot.f64 B (-.f64 A C)) (+.f64 A C)))))))
	62.0b	(neg.f64 (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))

Compiler

Compiled 3109 to 2157 computations (30.6% saved)

localize12.0ms (0%)

Local error

Found 1 expressions with local error:

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

series49.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

49.0ms

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

rewrite34.0ms (0.1%)

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:

12.0ms

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

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

prune186.0ms (0.3%)

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	2	29	31
Picked	0	1	1
Done	0	0	0
Total	111	33	144

Error

19.7b

Counts

144 → 33

Alt Table

Status	Error	Program
	46.2b	(neg.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (cbrt.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	60.6b	(.f64 -1 (.f64 (sqrt.f64 (*.f64 F (-.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 C 2)))))) (/.f64 (sqrt.f64 2) B)))
	41.1b	(neg.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (neg.f64 F))) (cbrt.f64 (sqrt.f64 (neg.f64 F)))) (*.f64 (cbrt.f64 (sqrt.f64 C)) (cbrt.f64 (sqrt.f64 C)))) (/.f64 (cbrt.f64 (sqrt.f64 (neg.f64 F))) (cbrt.f64 (sqrt.f64 C)))))
	50.8b	(.f64 (/.f64 (sqrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (.f64 (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B))) (cbrt.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))))))) (cbrt.f64 (fma.f64 A (.f64 C -4) (.f64 B B)))))
	48.7b	(/.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)))
	40.9b	(neg.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C))) (cbrt.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C)))) (cbrt.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C)))))
	51.3b	(.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))))
	41.2b	(neg.f64 (expm1.f64 (log1p.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C)))))
	48.7b	(/.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)))
	62.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -16 (.f64 A (.f64 (pow.f64 C 2) F))))) (fma.f64 A (.f64 C -4) (*.f64 B B)))
	47.0b	(neg.f64 (.f64 (exp.f64 (log.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))))) (sqrt.f64 2)))
	45.8b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	42.1b	(neg.f64 (/.f64 (exp.f64 (log.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 2)))) (sqrt.f64 C)))
✓	40.6b	(neg.f64 (/.f64 (sqrt.f64 (neg.f64 F)) (sqrt.f64 C)))
	61.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	46.1b	(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)))))
	62.0b	(neg.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) (sqrt.f64 2)))))
	53.5b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (hypot.f64 A B)))) (/.f64 (sqrt.f64 2) B)))
	42.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)))))
	54.9b	(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)))))
	61.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 F (pow.f64 B 3))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	51.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)))
	49.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	(neg.f64 (/.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (.f64 -1/2 F)) (sqrt.f64 (.f64 -1/2 F))) (sqrt.f64 (.f64 -1/2 F))) (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 2)) (sqrt.f64 2)))) (sqrt.f64 C)))
	40.7b	(neg.f64 (.f64 (.f64 (sqrt.f64 (*.f64 -1/2 F)) (sqrt.f64 2)) (/.f64 1 (sqrt.f64 C))))
	51.1b	(.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))))
	61.7b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (+.f64 A (+.f64 C (/.f64 (.f64 A C) B))) (fma.f64 1/2 (/.f64 (.f64 A A) B) (fma.f64 1/2 (/.f64 (.f64 C C) B) B)))))))) (fma.f64 A (.f64 C -4) (.f64 B B)))
	54.1b	(/.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)))
	41.0b	(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)))
	51.4b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (+.f64 (+.f64 A C) (.f64 (neg.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)))
	57.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (.f64 2 (.f64 F (-.f64 (pow.f64 (+.f64 A C) 3) (pow.f64 (hypot.f64 B (-.f64 A C)) 3))))))) (.f64 (fma.f64 A (.f64 C -4) (.f64 B B)) (sqrt.f64 (fma.f64 (+.f64 A C) (+.f64 A C) (*.f64 (hypot.f64 B (-.f64 A C)) (+.f64 (hypot.f64 B (-.f64 A C)) (+.f64 A C)))))))
	42.3b	(neg.f64 (/.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (*.f64 -1/2 F))) (log.f64 (sqrt.f64 2)))) (sqrt.f64 C)))
	62.0b	(neg.f64 (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))

Compiler

Compiled 2814 to 1157 computations (58.9% saved)

regimes3.9s (6.4%)

Accuracy

Total 13.6b remaining (43.3%)

Threshold costs 0b (0%)

Counts

183 → 5

Compiler

Compiled 39955 to 25991 computations (34.9% saved)

bsearch12.0ms (0%)

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

simplify49.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

156×	`distribute-rgt-neg-in_binary64`
108×	`cancel-sign-sub-inv_binary64`
107×	`neg-sub0_binary64`
107×	`neg-mul-1_binary64`
105×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	423
1	152	421
2	233	421
3	300	419
4	354	419
5	391	419
6	414	419
7	423	419
8	441	419
9	473	419
10	517	419
11	566	419
12	624	419
13	681	419
14	748	419
15	799	419
16	829	419
17	847	419
18	851	419
19	839	419

end28.0ms (0%)

Compiler: Compiled 831 to 531 computations (36.1% saved)

sample11.5s (19%)

Algorithm

1×

intervals

Results

1.8s	5542×	body	128	valid
1.1s	669×	body	2048	valid
1.1s	824×	body	1024	valid
1.1s	606×	body	2048	nan
1.1s	807×	body	1024	nan
763.0ms	2440×	body	128	nan
582.0ms	590×	body	512	valid
522.0ms	559×	body	512	nan
277.0ms	374×	body	256	valid
218.0ms	349×	body	256	nan
4.0ms	1×	body	4096	valid

Compiler

Compiled 1344 to 878 computations (34.7% saved)

Iter	Nodes	Cost
0	81	423
1	152	421
2	233	421
3	300	419
4	354	419
5	391	419
6	414	419
7	423	419
8	441	419
9	473	419
10	517	419
11	566	419
12	624	419
13	681	419
14	748	419
15	799	419
16	829	419
17	847	419
18	851	419
19	839	419

Iter	Nodes	Cost
0	81	423
1	152	421
2	233	421
3	300	419
4	354	419
5	391	419
6	414	419
7	423	419
8	441	419
9	473	419
10	517	419
11	566	419
12	624	419
13	681	419
14	748	419
15	799	419
16	829	419
17	847	419
18	851	419
19	839	419

Details

analyze6.7s (11.2%)

sample350.0ms (0.6%)

simplify58.0ms (0.1%)

prune11.0ms (0%)

localize36.0ms (0.1%)

series31.1s (51.5%)

rewrite234.0ms (0.4%)

simplify2.1s (3.5%)

prune2.8s (4.6%)

localize15.0ms (0%)

series87.0ms (0.1%)

rewrite23.0ms (0%)

simplify121.0ms (0.2%)

prune146.0ms (0.2%)

localize17.0ms (0%)

series79.0ms (0.1%)

rewrite31.0ms (0.1%)

simplify137.0ms (0.2%)

prune204.0ms (0.3%)

localize12.0ms (0%)

series49.0ms (0.1%)

rewrite34.0ms (0.1%)

simplify355.0ms (0.6%)

prune186.0ms (0.3%)

regimes3.9s (6.4%)

bsearch12.0ms (0%)

simplify49.0ms (0.1%)

end28.0ms (0%)

sample11.5s (19%)

Profiling

Iter	Nodes	Cost
0	81	423
1	152	421
2	233	421
3	300	419
4	354	419
5	391	419
6	414	419
7	423	419
8	441	419
9	473	419
10	517	419
11	566	419
12	624	419
13	681	419
14	748	419
15	799	419
16	829	419
17	847	419
18	851	419
19	839	419