Details

analyze904.0ms (9.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample57.0ms (0.6%)

Algorithm

1×

intervals

Results

17.0ms	182×	body	128	valid
14.0ms	33×	body	2048	valid
6.0ms	20×	body	1024	valid
3.0ms	14×	body	512	valid
2.0ms	4×	body	4096	valid
2.0ms	22×	body	128	nan
1.0ms	8×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify298.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1319×	`div-sub_binary64`
932×	`unsub-neg_binary64`
843×	`associate-/l*_binary64`
678×	`distribute-rgt-in_binary64`
643×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	37	26
2	93	26
3	213	24
4	320	24
5	522	24
6	913	24
7	995	24
8	1154	24
9	1806	24
10	2663	24
11	2356	24
12	2303	24
13	2372	24
14	2398	24
15	2585	24
16	3881	24
17	3563	24
18	3397	24
19	3505	24
20	3509	24
21	3623	24
22	3691	24
23	3691	24
24	2163	24
25	2363	24
26	2081	24
27	2083	24
28	2083	24
29	2083	24
30	1834	24

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

32.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	32.9b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
1.1b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite141.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

32.7b

Rules

24×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
8×	`add-log-exp_binary64`

Counts

4 → 72

Calls

4 calls:

8.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
5.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
3.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 1906 to 971 computations (49.1% saved)

series203.0ms (2.2%)

Error

7.2b

Counts

4 → 75

Calls

4 calls:

52.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
41.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
36.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3078 to 2212 computations (28.1% saved)

simplify135.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

820×	`times-frac_binary64`
381×	`associate-/l*_binary64`
372×	`associate-/r*_binary64`
220×	`cancel-sign-sub-inv_binary64`
173×	`neg-mul-1_binary64`

Counts

147 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	3182
1	438	3008
2	1301	2990
3	4692	2990
4	5042	2990

prune80.0ms (0.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	109	12	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	110	12	122

Error

8.8b

Counts

122 → 12

Alt Table

Status	Error	Program
	33.4b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) a))
	43.7b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	33.6b	(.f64 -1/2 (/.f64 (+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
	33.2b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) a)))
	46.9b	(.f64 -1/2 (.f64 (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a)) (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a))))
	46.9b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))
	44.0b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	46.5b	(.f64 -1/2 (+.f64 (+.f64 (/.f64 (sqrt.f64 (.f64 c (.f64 a -4))) a) (/.f64 b a)) (.f64 1/2 (/.f64 (.f64 b b) (.f64 a (sqrt.f64 (.f64 c (.f64 a -4))))))))
	48.7b	(.f64 -1/2 (/.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) a))
	33.4b	(.f64 -1/2 (/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
	56.7b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
▶	33.0b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))))

Compiler

Compiled 2389 to 1334 computations (44.2% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
0.8b	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
1.1b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite133.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

8.8b

Rules

102×	`times-frac_binary64`
82×	`*-un-lft-identity_binary64`
57×	`add-sqr-sqrt_binary64`
56×	`add-cube-cbrt_binary64`
18×	`associate-/r*_binary64`

Counts

4 → 135

Calls

4 calls:

9.0ms	(/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
5.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))
3.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 4171 to 2339 computations (43.9% saved)

series195.0ms (2.1%)

Error

8.8b

Counts

4 → 75

Calls

4 calls:

52.0ms	(/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
47.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
35.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))

Compiler

Compiled 3291 to 2421 computations (26.4% saved)

simplify180.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

936×	`times-frac_binary64`
439×	`associate-/l*_binary64`
207×	`cancel-sign-sub-inv_binary64`
173×	`associate-/r/_binary64`
173×	`neg-mul-1_binary64`

Counts

210 → 164

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	208	5783
1	492	5354
2	1489	5243
3	4612	5243
4	5004	5243

prune78.0ms (0.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	159	5	164
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	163	13	176

Error

8.8b

Counts

176 → 13

Alt Table

Status	Error	Program
	43.7b	(.f64 -1/2 (/.f64 1 (/.f64 a (.f64 b 2))))
	46.9b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))
	33.4b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))) a))
	43.7b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	33.6b	(.f64 -1/2 (.f64 (/.f64 (.f64 4 (.f64 c a)) a) (/.f64 1 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))))
	56.7b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
	33.4b	(.f64 -1/2 (/.f64 1 (/.f64 a (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))))
	33.6b	(.f64 -1/2 (/.f64 (+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
	46.9b	(.f64 -1/2 (.f64 (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a)) (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a))))
	44.0b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	48.7b	(.f64 -1/2 (/.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) a))
	33.5b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) a) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))
▶	33.0b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 a -4))))))))

Compiler

Compiled 2501 to 1431 computations (42.8% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))))))
0.8b	(+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))
1.1b	(+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))))
23.6b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4))))

rewrite132.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

8.8b

Rules

102×	`times-frac_binary64`
82×	`*-un-lft-identity_binary64`
57×	`add-sqr-sqrt_binary64`
56×	`add-cube-cbrt_binary64`
18×	`associate-/r*_binary64`

Counts

4 → 134

Calls

4 calls:

9.0ms	(/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))))))
6.0ms	(+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))
5.0ms	(+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))))
3.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4))))

Compiler

Compiled 4151 to 2553 computations (38.5% saved)

series199.0ms (2.1%)

Error

8.8b

Counts

4 → 75

Calls

4 calls:

52.0ms	(/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))))))
45.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4))))
45.0ms	(+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))))
36.0ms	(+.f64 (.f64 b b) (.f64 c (*.f64 a -4)))

Compiler

Compiled 3291 to 2421 computations (26.4% saved)

simplify181.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

917×	`times-frac_binary64`
291×	`cancel-sign-sub-inv_binary64`
262×	`neg-mul-1_binary64`
237×	`distribute-rgt-in_binary64`
215×	`distribute-rgt-neg-in_binary64`

Counts

209 → 180

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	5775
1	515	5340
2	1755	5229
3	4564	5229
4	5101	5229

prune67.0ms (0.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	180	13	193

Error

8.8b

Counts

193 → 13

Alt Table

Status	Error	Program
	43.7b	(.f64 -1/2 (/.f64 1 (/.f64 a (.f64 b 2))))
	46.9b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))
	33.5b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) a) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))
	33.4b	(.f64 -1/2 (/.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 a) (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4))))))))
	33.6b	(.f64 -1/2 (.f64 (/.f64 (.f64 4 (.f64 c a)) a) (/.f64 1 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))))
	56.7b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
▶	33.4b	(.f64 -1/2 (/.f64 1 (/.f64 a (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))))
	33.6b	(.f64 -1/2 (/.f64 (+.f64 b (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))))) a))
	46.9b	(.f64 -1/2 (.f64 (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a)) (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a))))
	44.0b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	48.7b	(.f64 -1/2 (/.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) a))
	43.7b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
✓	33.0b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 a -4))))))))

Compiler

Compiled 2897 to 1666 computations (42.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.9b	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
2.0b	(/.f64 a (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
11.8b	(/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
23.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

rewrite229.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

8.8b

Rules

66×	`times-frac_binary64`
59×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64`
30×	`add-cube-cbrt_binary64`
27×	`add-cbrt-cube_binary64`

Counts

4 → 136

Calls

4 calls:

11.0ms	(/.f64 a (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
9.0ms	(/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
6.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))

Compiler

Compiled 4944 to 2605 computations (47.3% saved)

series245.0ms (2.6%)

Error

6.9b

Counts

4 → 70

Calls

4 calls:

80.0ms	(/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))
56.0ms	(/.f64 a (/.f64 (.f64 4 (.f64 c a)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))))
42.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))
41.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a)))))

Compiler

Compiled 4269 to 3058 computations (28.4% saved)

simplify192.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

300×	`cancel-sign-sub-inv_binary64`
273×	`distribute-rgt-neg-in_binary64`
252×	`distribute-lft-neg-in_binary64`
219×	`div-sub_binary64`
194×	`associate-/l*_binary64`

Counts

206 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	309	6803
1	818	6204
2	3069	6009
3	4549	6009
4	5131	6009

prune88.0ms (1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	135	12	147

Error

6.9b

Counts

147 → 12

Alt Table

Status	Error	Program
	43.7b	(.f64 -1/2 (/.f64 1 (/.f64 a (.f64 b 2))))
	46.9b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))
	33.5b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 c a)) a) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a)))))))
	33.4b	(.f64 -1/2 (/.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 a) (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (*.f64 a -4))))))))
	43.7b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	42.9b	(.f64 -1/2 (/.f64 1 (.f64 1/2 (-.f64 (/.f64 b c) (/.f64 a b)))))
	46.9b	(.f64 -1/2 (.f64 (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a)) (sqrt.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 c a))))) a))))
	44.0b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	48.7b	(.f64 -1/2 (/.f64 (.f64 2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) a))
	42.3b	(.f64 -1/2 (/.f64 1 (.f64 1/4 (-.f64 (/.f64 b c) (/.f64 (sqrt.f64 (.f64 a (.f64 c -4))) c)))))
	33.6b	(.f64 -1/2 (.f64 (/.f64 (.f64 4 (.f64 c a)) a) (/.f64 1 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 c a))))))))
	33.0b	(.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 c (.f64 a -4))))))))

Compiler

Compiled 2918 to 1666 computations (42.9% saved)

regimes3.5s (38.1%)

Accuracy

Total 1.3b remaining (18.4%)

Threshold costs 0b (0%)

Compiler

Compiled 21184 to 14490 computations (31.6% saved)

bsearch129.0ms (1.4%)

Steps

Iters	Range		Point
9	9.258957656124167e+83	3.154772563445153e+92	2.79442743178515e+92
10	4.366521121526514e-303	3.5874264801045797e-289	2.0018226176283294e-297
9	-6.744566376874473e+128	-2.7693684697473212e+119	-9.78240408384728e+119

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
9×	`+-commutative_binary64`
7×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	95
1	65	95
2	75	95
3	87	95
4	95	95
5	100	95
6	102	95
7	100	95

end1.0ms (0%)

Compiler: Compiled 67 to 47 computations (29.9% saved)

sample1.8s (19.5%)

Algorithm

1×

intervals

Results

386.0ms	5245×	body	128	valid
369.0ms	1095×	body	2048	valid
203.0ms	747×	body	1024	valid
176.0ms	384×	body	4096	valid
85.0ms	369×	body	512	valid
46.0ms	623×	body	128	nan
24.0ms	357×	body	128	invalid
20.0ms	160×	body	256	valid

Compiler

Compiled 347 to 239 computations (31.1% saved)

Details

analyze904.0ms (9.7%)

sample57.0ms (0.6%)

simplify298.0ms (3.2%)

prune3.0ms (0%)

localize12.0ms (0.1%)

rewrite141.0ms (1.5%)

series203.0ms (2.2%)

simplify135.0ms (1.5%)

prune80.0ms (0.9%)

localize18.0ms (0.2%)

rewrite133.0ms (1.4%)

series195.0ms (2.1%)

simplify180.0ms (1.9%)

prune78.0ms (0.8%)

localize17.0ms (0.2%)

rewrite132.0ms (1.4%)

series199.0ms (2.1%)

simplify181.0ms (1.9%)

prune67.0ms (0.7%)

localize13.0ms (0.1%)

rewrite229.0ms (2.5%)

series245.0ms (2.6%)

simplify192.0ms (2.1%)

prune88.0ms (1%)

regimes3.5s (38.1%)

bsearch129.0ms (1.4%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample1.8s (19.5%)

Profiling