Details

analyze3.7s (15.9%)

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)

sample192.0ms (0.8%)

Algorithm

1×

intervals

Results

28.0ms	159×	body	128	valid
25.0ms	28×	body	2048	valid
25.0ms	32×	body	1024	valid
20.0ms	19×	body	2048	nan
18.0ms	26×	body	1024	nan
13.0ms	24×	body	512	valid
12.0ms	70×	body	128	nan
11.0ms	19×	body	512	nan
5.0ms	13×	body	256	valid
2.0ms	6×	body	256	nan

Compiler

Compiled 93 to 69 computations (25.8% saved)

simplify65.0ms (0.3%)

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 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	61
1	61	61
2	171	61
3	620	61
4	2440	61
5	4740	61
6	5396	61

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

54.4b

Counts

2 → 1

Alt Table

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

▶

54.4b

(/.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 132 to 91 computations (31.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.2b	(.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)))))
14.2b	(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))))))
19.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)))
37.8b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

rewrite1.1s (4.7%)

Algorithm

1×	rewrite-expression-head

Error

53.5b

Rules

78×	`sqrt-div_binary64`
61×	`*-un-lft-identity_binary64`
60×	`associate-*r/_binary64`
48×	`associate-*l/_binary64`
40×	`add-sqr-sqrt_binary64`

Counts

4 → 205

Calls

4 calls:

27.0ms	(.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)))))
24.0ms	(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))))))
13.0ms	(/.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)))
11.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

Compiler

Compiled 14783 to 9415 computations (36.3% saved)

series1.4s (6.1%)

Error

26.8b

Counts

4 → 91

Calls

4 calls:

660.0ms	(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))))))
300.0ms	(/.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)))
239.0ms	(.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)))))
95.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

Compiler

Compiled 20508 to 14913 computations (27.3% saved)

simplify338.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

394×	`*-commutative_binary64`
280×	`distribute-rgt-in_binary64`
241×	`times-frac_binary64`
195×	`associate-r_binary64`
190×	`sub-neg_binary64`

Counts

296 → 277

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	991	22582
1	2934	21625
2	5190	21625

prune372.0ms (1.6%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	259	18	277
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	260	18	278

Error

26.5b

Counts

278 → 18

Alt Table

Status	Error	Program
	63.2b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	55.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (-.f64 C (+.f64 A (.f64 1/2 (/.f64 (.f64 B B) A)))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	51.3b	(-.f64 (.f64 1/16 (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (.f64 A (.f64 (.f64 C C) (sqrt.f64 (.f64 -1/2 (/.f64 F C))))))) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))))
	62.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 A (.f64 (.f64 C C) F)) -16))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	61.0b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 A C) 2) 3) (pow.f64 (.f64 B B) 3))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	60.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A)))))) (.f64 B (sqrt.f64 2)))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	59.8b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (.f64 2 (.f64 F (-.f64 (pow.f64 B 4) (.f64 (.f64 (.f64 C C) (.f64 A A)) 16)))))) (sqrt.f64 (+.f64 (.f64 B B) (.f64 (.f64 C A) 4))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	47.1b	(/.f64 (neg.f64 (-.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))) (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (+.f64 (.f64 (.f64 A (.f64 (.f64 B B) F)) 8) (.f64 4 (/.f64 (.f64 (.f64 A A) (.f64 (.f64 B B) F)) C))) (+.f64 (.f64 (.f64 (.f64 A A) (.f64 C F)) 16) (/.f64 (.f64 F (pow.f64 B 4)) C))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	46.8b	(/.f64 (neg.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	54.4b	(/.f64 -1 (/.f64 (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)) (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
	59.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (.f64 (.f64 B B) (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	60.8b	(neg.f64 (.f64 (/.f64 (sqrt.f64 2) B) (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))
▶	44.0b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))))
	61.2b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (sqrt.f64 2) B)))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 (pow.f64 B 3) F)))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	61.9b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 4) (pow.f64 B 4))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	62.3b	(/.f64 (neg.f64 (+.f64 (+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 (+.f64 (.f64 C C) (.f64 B B)) F) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B))) (+.f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 A (.f64 B (sqrt.f64 2)))) (.f64 (sqrt.f64 (/.f64 F (.f64 (+.f64 (.f64 C C) (.f64 B B)) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B))))))) (.f64 A (.f64 C (.f64 B (sqrt.f64 2))))))) (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 B (sqrt.f64 2))))) (.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) B)) -2))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))

Compiler

Compiled 18003 to 9116 computations (49.4% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 -1/2 (/.f64 F C))
0.4b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C))))
10.6b	(sqrt.f64 (*.f64 -1/2 (/.f64 F C)))

rewrite86.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

23.9b

Rules

23×	`add-sqr-sqrt_binary64`
17×	`associate-r_binary64`
15×	`pow1_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`

Counts

3 → 72

Calls

3 calls:

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

Compiler

Compiled 1066 to 739 computations (30.7% saved)

series41.0ms (0.2%)

Error

26.5b

Counts

3 → 18

Calls

3 calls:

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

Compiler

Compiled 660 to 562 computations (14.8% saved)

simplify147.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

670×	`associate-*r/_binary64`
353×	`associate-l_binary64`
288×	`associate-/r/_binary64`
284×	`associate-/l/_binary64`
276×	`associate-r_binary64`

Counts

90 → 42

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	130	1103
1	280	1045
2	764	1045
3	1838	1045
4	3455	1045
5	3808	1045
6	4436	1045
7	4711	1045
8	4901	1045
9	4845	1045

prune68.0ms (0.3%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	32	10	42
Fresh	0	17	17
Picked	1	0	1
Done	0	0	0
Total	33	27	60

Error

23.9b

Counts

60 → 27

Alt Table

Status	Error	Program
	63.2b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	55.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (-.f64 C (+.f64 A (.f64 1/2 (/.f64 (.f64 B B) A)))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	44.1b	(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)))))
	60.8b	(neg.f64 (.f64 (/.f64 (sqrt.f64 2) B) (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))
	43.9b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	51.3b	(-.f64 (.f64 1/16 (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (.f64 A (.f64 (.f64 C C) (sqrt.f64 (.f64 -1/2 (/.f64 F C))))))) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))))
	48.8b	(neg.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) 3)))
	62.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 A (.f64 (.f64 C C) F)) -16))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	61.2b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (sqrt.f64 2) B)))
	38.3b	(neg.f64 (.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (.f64 F -1/2)) (sqrt.f64 C))))
	48.8b	(neg.f64 (.f64 (sqrt.f64 2) (cbrt.f64 (pow.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) 3))))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 (pow.f64 B 3) F)))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	61.0b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 A C) 2) 3) (pow.f64 (.f64 B B) 3))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	60.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A)))))) (.f64 B (sqrt.f64 2)))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	44.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 -1/2 (.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 F) C)))))
	59.8b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (.f64 2 (.f64 F (-.f64 (pow.f64 B 4) (.f64 (.f64 (.f64 C C) (.f64 A A)) 16)))))) (sqrt.f64 (+.f64 (.f64 B B) (.f64 (.f64 C A) 4))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	47.1b	(/.f64 (neg.f64 (-.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))) (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (+.f64 (.f64 (.f64 A (.f64 (.f64 B B) F)) 8) (.f64 4 (/.f64 (.f64 (.f64 A A) (.f64 (.f64 B B) F)) C))) (+.f64 (.f64 (.f64 (.f64 A A) (.f64 C F)) 16) (/.f64 (.f64 F (pow.f64 B 4)) C))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	46.8b	(/.f64 (neg.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	45.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (log.f64 (.f64 -1/2 (/.f64 F C)))))))
	62.3b	(/.f64 (neg.f64 (+.f64 (+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 (+.f64 (.f64 C C) (.f64 B B)) F) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B))) (+.f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 A (.f64 B (sqrt.f64 2)))) (.f64 (sqrt.f64 (/.f64 F (.f64 (+.f64 (.f64 C C) (.f64 B B)) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B))))))) (.f64 A (.f64 C (.f64 B (sqrt.f64 2))))))) (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 B (sqrt.f64 2))))) (.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) B)) -2))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	44.0b	(neg.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C))) (sqrt.f64 (sqrt.f64 2)))))
	54.4b	(/.f64 -1 (/.f64 (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)) (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
	59.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (.f64 (.f64 B B) (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
▶	38.3b	(neg.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C)))
	61.6b	(neg.f64 (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))
	61.9b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 4) (pow.f64 B 4))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))

Compiler

Compiled 2365 to 1577 computations (33.3% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b	(/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C))
0.4b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2)))

rewrite71.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

23.9b

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 → 55

Calls

2 calls:

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

Compiler

Compiled 847 to 633 computations (25.3% saved)

series22.0ms (0.1%)

Error

23.9b

Counts

2 → 9

Calls

2 calls:

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

Compiler

Compiled 378 to 330 computations (12.7% saved)

simplify93.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

635×	`times-frac_binary64`
602×	`associate-/l*_binary64`
332×	`div-sub_binary64`
291×	`neg-mul-1_binary64`
285×	`associate-l_binary64`

Counts

64 → 34

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	104	1100
1	209	974
2	759	969
3	3255	969
4	3351	969
5	4171	969
6	5021	969

prune63.0ms (0.3%)

Pruning

29 alts after pruning (28 fresh and 1 done)

	Pruned	Kept	Total
New	30	4	34
Fresh	2	24	26
Picked	0	1	1
Done	0	0	0
Total	32	29	61

Error

23.9b

Counts

61 → 29

Alt Table

Status	Error	Program
▶	38.3b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (sqrt.f64 (*.f64 F -1/2)) (sqrt.f64 (sqrt.f64 2)))) (sqrt.f64 C)))
✓	38.3b	(neg.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C)))
	63.2b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	55.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (-.f64 C (+.f64 A (.f64 1/2 (/.f64 (.f64 B B) A)))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	44.1b	(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)))))
	60.8b	(neg.f64 (.f64 (/.f64 (sqrt.f64 2) B) (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))
	43.9b	(neg.f64 (sqrt.f64 (neg.f64 (/.f64 F C))))
	51.3b	(-.f64 (.f64 1/16 (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (.f64 A (.f64 (.f64 C C) (sqrt.f64 (.f64 -1/2 (/.f64 F C))))))) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))))
	48.8b	(neg.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) 3)))
	62.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 A (.f64 (.f64 C C) F)) -16))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	48.8b	(neg.f64 (.f64 (sqrt.f64 2) (cbrt.f64 (pow.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) 3))))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 (pow.f64 B 3) F)))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	61.0b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 A C) 2) 3) (pow.f64 (.f64 B B) 3))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	60.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A)))))) (.f64 B (sqrt.f64 2)))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	38.4b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 F -1/2)) (/.f64 (sqrt.f64 2) (fabs.f64 (cbrt.f64 C)))) (sqrt.f64 (cbrt.f64 C))))
	44.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 -1/2 (.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 F) C)))))
	59.8b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (.f64 2 (.f64 F (-.f64 (pow.f64 B 4) (.f64 (.f64 (.f64 C C) (.f64 A A)) 16)))))) (sqrt.f64 (+.f64 (.f64 B B) (.f64 (.f64 C A) 4))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	47.1b	(/.f64 (neg.f64 (-.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))) (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (+.f64 (.f64 (.f64 A (.f64 (.f64 B B) F)) 8) (.f64 4 (/.f64 (.f64 (.f64 A A) (.f64 (.f64 B B) F)) C))) (+.f64 (.f64 (.f64 (.f64 A A) (.f64 C F)) 16) (/.f64 (.f64 F (pow.f64 B 4)) C))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	46.8b	(/.f64 (neg.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	38.5b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 F -1/2)) (/.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 (sqrt.f64 C)) (cbrt.f64 (sqrt.f64 C))))) (cbrt.f64 (sqrt.f64 C))))
	45.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (log.f64 (.f64 -1/2 (/.f64 F C)))))))
	62.3b	(/.f64 (neg.f64 (+.f64 (+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 (+.f64 (.f64 C C) (.f64 B B)) F) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B))) (+.f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 A (.f64 B (sqrt.f64 2)))) (.f64 (sqrt.f64 (/.f64 F (.f64 (+.f64 (.f64 C C) (.f64 B B)) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B))))))) (.f64 A (.f64 C (.f64 B (sqrt.f64 2))))))) (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 B (sqrt.f64 2))))) (.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) B)) -2))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	40.0b	(neg.f64 (exp.f64 (log.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C)))))
	54.4b	(/.f64 -1 (/.f64 (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)) (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
	59.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (.f64 (.f64 B B) (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	61.6b	(neg.f64 (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))
	61.2b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (sqrt.f64 2) B)))
	61.9b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 4) (pow.f64 B 4))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))

Compiler

Compiled 2343 to 1551 computations (33.8% saved)

localize11.0ms (0%)

Local error

Found 3 expressions with local error:

0.2b

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

0.3b

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

0.3b

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

rewrite137.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

23.9b

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 → 89

Calls

3 calls:

14.0ms

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

10.0ms

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

8.0ms

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

Compiler

Compiled 1792 to 1482 computations (17.3% saved)

series31.0ms (0.1%)

Error

23.9b

Counts

3 → 12

Calls

3 calls:

16.0ms

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

7.0ms

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

7.0ms

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

Compiler

Compiled 524 to 462 computations (11.8% saved)

simplify170.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

924×	`div-sub_binary64`
464×	`associate-/r*_binary64`
270×	`associate-*l/_binary64`
257×	`*-commutative_binary64`
235×	`associate-*r/_binary64`

Counts

101 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	137	2275
1	291	1665
2	995	1630
3	2754	1630
4	3068	1630
5	3442	1630
6	4403	1630
7	4831	1630
8	5917	1630

prune77.0ms (0.3%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	69	5	74
Fresh	3	24	27
Picked	1	0	1
Done	0	1	1
Total	73	30	103

Error

23.9b

Counts

103 → 30

Alt Table

Status	Error	Program
	38.3b	(neg.f64 (.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (sqrt.f64 C))) (.f64 (/.f64 (sqrt.f64 (sqrt.f64 2)) (sqrt.f64 (sqrt.f64 C))) (sqrt.f64 (*.f64 F -1/2)))))
	55.6b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (-.f64 C (+.f64 A (.f64 1/2 (/.f64 (.f64 B B) A)))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	63.2b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F A)))))
	44.1b	(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)))))
	60.8b	(neg.f64 (.f64 (/.f64 (sqrt.f64 2) B) (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))
	38.6b	(neg.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C))) (cbrt.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C)))) (cbrt.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C)))))
	51.3b	(-.f64 (.f64 1/16 (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (.f64 A (.f64 (.f64 C C) (sqrt.f64 (.f64 -1/2 (/.f64 F C))))))) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))))
	48.8b	(neg.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1/2 (/.f64 F C)))) 3)))
	62.9b	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 A (.f64 (.f64 C C) F)) -16))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	38.7b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 F -1/2))) (cbrt.f64 (sqrt.f64 (.f64 F -1/2)))) (.f64 (sqrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 (*.f64 F -1/2)))))) (sqrt.f64 C)))
	48.8b	(neg.f64 (.f64 (sqrt.f64 2) (cbrt.f64 (pow.f64 (sqrt.f64 (.f64 -1/2 (/.f64 F C))) 3))))
	61.8b	(/.f64 (neg.f64 (sqrt.f64 (.f64 -2 (.f64 (pow.f64 B 3) F)))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	61.0b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 A C) 2) 3) (pow.f64 (.f64 B B) 3))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 4) (-.f64 (pow.f64 B 4) (.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	60.6b	(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A)))))) (.f64 B (sqrt.f64 2)))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	38.9b	(neg.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 2))) (cbrt.f64 (sqrt.f64 (sqrt.f64 2)))) (.f64 (.f64 (sqrt.f64 (*.f64 F -1/2)) (sqrt.f64 (sqrt.f64 2))) (cbrt.f64 (sqrt.f64 (sqrt.f64 2))))) (sqrt.f64 C)))
	38.4b	(neg.f64 (/.f64 (.f64 (sqrt.f64 (.f64 F -1/2)) (/.f64 (sqrt.f64 2) (fabs.f64 (cbrt.f64 C)))) (sqrt.f64 (cbrt.f64 C))))
	59.8b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2)))) (.f64 2 (.f64 F (-.f64 (pow.f64 B 4) (.f64 (.f64 (.f64 C C) (.f64 A A)) 16)))))) (sqrt.f64 (+.f64 (.f64 B B) (.f64 (.f64 C A) 4))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	47.1b	(/.f64 (neg.f64 (-.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F))))) (/.f64 (.f64 F (.f64 (.f64 B B) (sqrt.f64 2))) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))
	53.2b	(/.f64 (neg.f64 (sqrt.f64 (-.f64 (+.f64 (.f64 (.f64 A (.f64 (.f64 B B) F)) 8) (.f64 4 (/.f64 (.f64 (.f64 A A) (.f64 (.f64 B B) F)) C))) (+.f64 (.f64 (.f64 (.f64 A A) (.f64 C F)) 16) (/.f64 (.f64 F (pow.f64 B 4)) C))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	46.8b	(/.f64 (neg.f64 (.f64 (neg.f64 A) (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -8 (.f64 C F)))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	38.5b	(neg.f64 (/.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (*.f64 (cbrt.f64 (sqrt.f64 C)) (cbrt.f64 (sqrt.f64 C)))) (cbrt.f64 (sqrt.f64 C))))
	45.1b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (log.f64 (.f64 -1/2 (/.f64 F C)))))))
	62.3b	(/.f64 (neg.f64 (+.f64 (+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 (+.f64 (.f64 C C) (.f64 B B)) F) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 C (sqrt.f64 2))) B))) (+.f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 A (.f64 B (sqrt.f64 2)))) (.f64 (sqrt.f64 (/.f64 F (.f64 (+.f64 (.f64 C C) (.f64 B B)) (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B))))))) (.f64 A (.f64 C (.f64 B (sqrt.f64 2))))))) (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (.f64 B (sqrt.f64 2))))) (.f64 (.f64 (sqrt.f64 (/.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (.f64 A (.f64 (.f64 C C) (sqrt.f64 2))) B)) -2))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	40.0b	(neg.f64 (exp.f64 (log.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C)))))
	54.4b	(/.f64 -1 (/.f64 (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)) (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (+.f64 C A) (sqrt.f64 (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))))))))
	59.2b	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 F (.f64 (.f64 B B) (-.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))))) (-.f64 (pow.f64 B 2) (.f64 (.f64 4 A) C)))
	38.3b	(neg.f64 (/.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 F -1/2))) (sqrt.f64 C)))
	61.6b	(neg.f64 (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 -1/2 (/.f64 F C)))) (sqrt.f64 2))))
	61.2b	(neg.f64 (.f64 (sqrt.f64 (.f64 F (-.f64 C (sqrt.f64 (+.f64 (.f64 C C) (.f64 B B)))))) (/.f64 (sqrt.f64 2) B)))
	61.9b	(/.f64 (neg.f64 (/.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 F (-.f64 (.f64 B B) (.f64 (.f64 C A) 4)))) (-.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (pow.f64 A 3) (pow.f64 C 3))) (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 4) (pow.f64 B 4))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (sqrt.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B))) (+.f64 (.f64 A A) (.f64 C (-.f64 C A))))))) (-.f64 (pow.f64 B 2) (.f64 (*.f64 4 A) C)))

Compiler

Compiled 1940 to 1403 computations (27.7% saved)

regimes5.3s (22.7%)

Accuracy

Total 6.0b remaining (19.2%)

Threshold costs 0b (0%)

Compiler

Compiled 87553 to 62597 computations (28.5% saved)

bsearch29.0ms (0.1%)

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

simplify79.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

190×	`distribute-rgt-neg-in_binary64`
148×	`cancel-sign-sub-inv_binary64`
133×	`distribute-lft-neg-in_binary64`
131×	`neg-sub0_binary64`
131×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	88	453
1	169	449
2	262	449
3	356	449
4	443	449
5	498	449
6	541	449
7	582	449
8	641	449
9	694	449
10	749	449
11	798	449
12	865	449
13	925	449
14	969	449
15	1003	449
16	1023	449
17	1037	449
18	1049	449
19	1056	449
20	1058	449
21	1045	449

end25.0ms (0.1%)

Compiler: Compiled 879 to 612 computations (30.4% saved)

sample9.8s (41.5%)

Algorithm

1×

intervals

Results

1.5s	5534×	body	128	valid
1.0s	897×	body	1024	valid
857.0ms	841×	body	1024	nan
826.0ms	653×	body	2048	valid
765.0ms	609×	body	2048	nan
648.0ms	2529×	body	128	nan
592.0ms	589×	body	512	valid
456.0ms	617×	body	512	nan
166.0ms	327×	body	256	valid
160.0ms	333×	body	256	nan

Compiler

Compiled 1482 to 1008 computations (32% saved)

Details

analyze3.7s (15.9%)

sample192.0ms (0.8%)

simplify65.0ms (0.3%)

prune4.0ms (0%)

localize21.0ms (0.1%)

rewrite1.1s (4.7%)

series1.4s (6.1%)

simplify338.0ms (1.4%)

prune372.0ms (1.6%)

localize9.0ms (0%)

rewrite86.0ms (0.4%)

series41.0ms (0.2%)

simplify147.0ms (0.6%)

prune68.0ms (0.3%)

localize8.0ms (0%)

rewrite71.0ms (0.3%)

series22.0ms (0.1%)

simplify93.0ms (0.4%)

prune63.0ms (0.3%)

localize11.0ms (0%)

rewrite137.0ms (0.6%)

series31.0ms (0.1%)

simplify170.0ms (0.7%)

prune77.0ms (0.3%)

regimes5.3s (22.7%)

bsearch29.0ms (0.1%)

simplify79.0ms (0.3%)

end25.0ms (0.1%)

sample9.8s (41.5%)

Profiling