Details

analyze1.4s (8.4%)

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)

sample106.0ms (0.6%)

Algorithm

1×

intervals

Results

28.0ms	26×	body	2048	valid
20.0ms	163×	body	128	valid
16.0ms	19×	body	4096	valid
13.0ms	27×	body	1024	valid
5.0ms	15×	body	512	valid
2.0ms	21×	body	128	nan
2.0ms	13×	body	128	invalid
1.0ms	6×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify421.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

2009×	`fma-neg_binary64`
1508×	`div-sub_binary64`
1334×	`associate-/l*_binary64`
1156×	`fma-def_binary64`
685×	`associate-/l/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	34	22
2	64	22
3	132	22
4	198	22
5	325	22
6	552	22
7	918	22
8	1352	22
9	1554	22
10	2359	22
11	3158	22
12	2565	22
13	2653	22
14	3219	22
15	3361	22
16	3461	22
17	3985	22
18	4171	22
19	4439	22
20	4659	22
21	4701	22
22	4757	22
23	4941	22
24	4941	22
25	3365	22
26	3059	22
27	2983	22
28	2985	22
29	2997	22
30	2997	22
31	2997	22
32	2997	22
33	2736	22

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

34.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	34.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	34.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
✓	1.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
✓	1.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
✓	23.8b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite55.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`

Counts

4 → 90

Calls

4 calls:

19.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
14.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
6.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

series378.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

149.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
94.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
77.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
58.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

simplify251.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

697×	`fma-neg_binary64`
327×	`cancel-sign-sub-inv_binary64`
226×	`distribute-rgt-neg-in_binary64`
150×	`distribute-rgt-neg-out_binary64`
146×	`associate-r_binary64`

Counts

186 → 346

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4202
1	693	3825
2	2488	3724
3	4652	3704
4	4985	3704

prune307.0ms (1.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	332	14	346
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	333	15	348

Error

6.2b

Counts

348 → 15

Alt Table

Status	Error	Program
	34.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	35.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	45.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	39.1b	(neg.f64 (/.f64 c b))
	56.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
▶	33.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
	38.2b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) 2)))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
	38.4b	(/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 2 (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a)))
	46.6b	(/.f64 (neg.f64 b) a)
	48.0b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (.f64 a 2)))
	35.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)))) (*.f64 2 a))
	34.3b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))
	38.0b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)))) (*.f64 2 a))

Compiler

Compiled 5983 to 3382 computations (43.5% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
✓	0.4b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
✓	2.7b	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
✓	15.6b	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite44.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
15×	`exp-sum_binary64`
15×	`log-prod_binary64`

Counts

4 → 100

Calls

4 calls:

14.0ms	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
6.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
6.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
5.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

series1.9s (11.2%)

Counts

4 → 36

Calls

4 calls:

1.0s	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
593.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
265.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
31.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

simplify251.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

768×	`fma-def_binary64`
423×	`cancel-sign-sub-inv_binary64`
338×	`fma-neg_binary64`
223×	`times-frac_binary64`
170×	`associate-/r*_binary64`

Counts

136 → 257

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	324	4496
1	775	3894
2	3084	3576
3	4967	3576
4	4974	3576

prune357.0ms (2.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	253	4	257
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	256	16	272

Error

3.7b

Counts

272 → 16

Alt Table

Status	Error	Program
	34.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
▶	31.1b	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)))
	35.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	45.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	39.1b	(neg.f64 (/.f64 c b))
	56.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	47.1b	(fma.f64 1/8 (/.f64 2 (.f64 (.f64 (/.f64 (.f64 b b) (.f64 -4 c)) 1) (/.f64 -1 b))) (/.f64 (/.f64 1 (/.f64 -1 b)) a))
	38.2b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) 2)))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
	38.4b	(/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 2 (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a)))
	46.6b	(/.f64 (neg.f64 b) a)
	48.0b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (.f64 a 2)))
	35.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)))) (*.f64 2 a))
	47.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	48.7b	(/.f64 (exp.f64 (-.f64 (log.f64 2) (log.f64 (/.f64 -1 b)))) (*.f64 2 a))

Compiler

Compiled 7710 to 5194 computations (32.6% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)))
✓	0.1b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)
✓	0.4b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
✓	15.6b	(sqrt.f64 (.f64 -4 (.f64 c a)))

rewrite130.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

609×	`times-frac_binary64`
355×	`*-un-lft-identity_binary64`
355×	`add-sqr-sqrt_binary64`
273×	`add-cube-cbrt_binary64`
65×	`associate-/r*_binary64`

Counts

4 → 362

Calls

4 calls:

29.0ms	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)))
10.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)
6.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
5.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))

series1.1s (6.3%)

Counts

4 → 36

Calls

4 calls:

408.0ms	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)))
363.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)
264.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
32.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))

simplify627.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

734×	`fma-def_binary64`
338×	`associate-/r/_binary64`
252×	`fma-neg_binary64`
240×	`*-commutative_binary64`
196×	`associate-*l/_binary64`

Counts

398 → 734

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	469	15738
1	1093	14368
2	3783	14334
3	4950	14334

prune866.0ms (5.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	731	3	734
Fresh	4	11	15
Picked	0	1	1
Done	0	0	0
Total	735	15	750

Error

3.7b

Counts

750 → 15

Alt Table

Status	Error	Program
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
✓	31.1b	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)))
	46.6b	(/.f64 (neg.f64 b) a)
▶	31.1b	(.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (/.f64 1/2 a))
	31.4b	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a)))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) a)))
	35.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	45.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	39.1b	(neg.f64 (/.f64 c b))
	56.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	47.1b	(fma.f64 1/8 (/.f64 2 (.f64 (.f64 (/.f64 (.f64 b b) (.f64 -4 c)) 1) (/.f64 -1 b))) (/.f64 (/.f64 1 (/.f64 -1 b)) a))
	38.2b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) 2)))
	47.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	48.0b	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b)) (.f64 b b)) (.f64 a (+.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b)))))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
	48.7b	(/.f64 (exp.f64 (-.f64 (log.f64 2) (log.f64 (/.f64 -1 b)))) (*.f64 2 a))

Compiler

Compiled 17797 to 11381 computations (36.1% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -4 (.f64 c a))
✓	0.2b	(.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (/.f64 1/2 a))
	0.4b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
	15.6b	(sqrt.f64 (.f64 -4 (.f64 c a)))

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
14×	`associate-r_binary64`
13×	`*-un-lft-identity_binary64`
12×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

2 → 60

Calls

2 calls:

15.0ms	(.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (/.f64 1/2 a))
7.0ms	(.f64 -4 (.f64 c a))

series463.0ms (2.7%)

Counts

2 → 12

Calls

2 calls:

423.0ms	(.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (/.f64 1/2 a))
39.0ms	(.f64 -4 (.f64 c a))

simplify168.0ms (1%)

Algorithm

1×	egg-herbie

Rules

751×	`fma-def_binary64`
536×	`associate-/l*_binary64`
335×	`associate-/r*_binary64`
295×	`associate-*l/_binary64`
218×	`distribute-rgt-in_binary64`

Counts

72 → 110

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	187	1966
1	489	1754
2	1643	1736
3	4912	1736
4	5419	1736

prune277.0ms (1.6%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	1	12	13
Picked	0	1	1
Done	0	1	1
Total	198	15	213

Error

3.7b

Counts

213 → 15

Alt Table

Status	Error	Program
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
✓	31.1b	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) a)))
	46.6b	(/.f64 (neg.f64 b) a)
✓	31.1b	(.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (*.f64 c a))) b) b) (/.f64 1/2 a))
	31.4b	(/.f64 1 (/.f64 2 (/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a)))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) a)))
	35.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	45.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	39.1b	(neg.f64 (/.f64 c b))
	56.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	31.4b	(.f64 (.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b) (sqrt.f64 1/2)) (/.f64 (sqrt.f64 1/2) a))
	47.1b	(fma.f64 1/8 (/.f64 2 (.f64 (.f64 (/.f64 (.f64 b b) (.f64 -4 c)) 1) (/.f64 -1 b))) (/.f64 (/.f64 1 (/.f64 -1 b)) a))
	38.2b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (/.f64 a (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) 2)))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
	47.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	48.7b	(/.f64 (exp.f64 (-.f64 (log.f64 2) (log.f64 (/.f64 -1 b)))) (*.f64 2 a))

Compiler

Compiled 4685 to 2825 computations (39.7% saved)

regimes4.2s (24.9%)

Accuracy

Total 7.1b remaining (67.2%)

Threshold costs 0b (0%)

Compiler

Compiled 15481 to 11037 computations (28.7% saved)

bsearch100.0ms (0.6%)

Steps

Iters	Range		Point
9	2.8927908138434745e-95	6.2461131992736554e-89	1.7543418175087657e-89
2	-1.14576045703764e+152	-4.792074613756323e+146	-1.0695451765040258e+148

Compiler

Compiled 4 to 3 computations (25% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
9×	`+-commutative_binary64`
8×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	50
1	45	48
2	60	48
3	75	48
4	82	48
5	85	48
6	86	48
7	85	48

end2.0ms (0%)

Compiler: Compiled 35 to 24 computations (31.4% saved)

sample3.4s (20.2%)

Algorithm

1×

intervals

Results

792.0ms	5192×	body	128	valid
644.0ms	1096×	body	2048	valid
516.0ms	724×	body	1024	valid
325.0ms	447×	body	4096	valid
120.0ms	348×	body	512	valid
82.0ms	193×	body	256	valid
76.0ms	669×	body	128	nan
51.0ms	382×	body	128	invalid

Compiler

Compiled 347 to 248 computations (28.5% saved)

Details

analyze1.4s (8.4%)

sample106.0ms (0.6%)

simplify421.0ms (2.5%)

prune7.0ms (0%)

localize23.0ms (0.1%)

rewrite55.0ms (0.3%)

series378.0ms (2.2%)

simplify251.0ms (1.5%)

prune307.0ms (1.8%)

localize24.0ms (0.1%)

rewrite44.0ms (0.3%)

series1.9s (11.2%)

simplify251.0ms (1.5%)

prune357.0ms (2.1%)

localize21.0ms (0.1%)

rewrite130.0ms (0.8%)

series1.1s (6.3%)

simplify627.0ms (3.7%)

prune866.0ms (5.1%)

localize18.0ms (0.1%)

rewrite29.0ms (0.2%)

series463.0ms (2.7%)

simplify168.0ms (1%)

prune277.0ms (1.6%)

regimes4.2s (24.9%)

bsearch100.0ms (0.6%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample3.4s (20.2%)

Profiling