Details

analyze1.3s (8.5%)

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)

sample94.0ms (0.6%)

Algorithm

1×

intervals

Results

20.0ms	163×	body	128	valid
15.0ms	26×	body	2048	valid
14.0ms	19×	body	4096	valid
13.0ms	27×	body	1024	valid
5.0ms	15×	body	512	valid
3.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)

simplify304.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	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 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize25.0ms (0.2%)

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 (.f64 4 a) c)))) (.f64 2 a))
✓	1.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	1.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	23.8b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite65.0ms (0.4%)

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:

22.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
16.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
7.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
6.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

series382.0ms (2.5%)

Counts

4 → 96

Calls

4 calls:

149.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
96.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
78.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
59.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify272.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
334×	`cancel-sign-sub-inv_binary64`
215×	`distribute-rgt-neg-in_binary64`
159×	`associate-r_binary64`
150×	`distribute-rgt-neg-out_binary64`

Counts

186 → 346

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4208
1	695	3858
2	2512	3724
3	4694	3704
4	5031	3704

prune353.0ms (2.3%)

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
	56.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	39.1b	(neg.f64 (/.f64 c b))
	34.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	43.0b	(/.f64 (sqrt.f64 (.f64 c (.f64 a -4))) (*.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))
	47.2b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	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))
	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)))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	48.0b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (.f64 a 2)))
	34.2b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 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))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	46.6b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 5979 to 3515 computations (41.2% saved)

localize31.0ms (0.2%)

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

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

15.0ms	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
7.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))
7.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)

series2.0s (13.2%)

Counts

4 → 36

Calls

4 calls:

1.1s	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
617.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)))
284.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
31.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

simplify254.0ms (1.6%)

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

prune637.0ms (4.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
	56.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	39.1b	(neg.f64 (/.f64 c b))
	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))
	34.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	47.2b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	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))
	52.2b	(/.f64 (exp.f64 (log.f64 (+.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (sqrt.f64 b)))) (/.f64 2 (/.f64 (-.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b)) (sqrt.f64 b)) a)))
	48.7b	(/.f64 (exp.f64 (-.f64 (log.f64 2) (log.f64 (/.f64 -1 b)))) (*.f64 2 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)))
	47.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	48.0b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (.f64 a 2)))
▶	34.2b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	46.6b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 7754 to 5220 computations (32.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite35.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

53×	`times-frac_binary64`
37×	`*-un-lft-identity_binary64`
22×	`add-exp-log_binary64`
21×	`add-sqr-sqrt_binary64`
21×	`add-cube-cbrt_binary64`

Counts

1 → 74

Calls

1 calls:

22.0ms

(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

series150.0ms (1%)

Counts

1 → 20

Calls

1 calls:

149.0ms

(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

simplify225.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

665×	`associate-/l*_binary64`
599×	`div-sub_binary64`
349×	`fma-def_binary64`
295×	`fma-neg_binary64`
265×	`associate-/r/_binary64`

Counts

94 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	3247
1	439	2847
2	1517	2670
3	4595	2670
4	6178	2670

prune469.0ms (3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	431	2	433
Fresh	3	12	15
Picked	0	1	1
Done	0	0	0
Total	434	15	449

Error

3.7b

Counts

449 → 15

Alt Table

Status	Error	Program
	56.0b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	39.1b	(neg.f64 (/.f64 c b))
	52.2b	(/.f64 (exp.f64 (log.f64 (+.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (sqrt.f64 b)))) (/.f64 2 (/.f64 (-.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b)) (sqrt.f64 b)) a)))
	48.7b	(/.f64 (exp.f64 (-.f64 (log.f64 2) (log.f64 (/.f64 -1 b)))) (*.f64 2 a))
▶	31.1b	(.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))
	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)))
	47.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) 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))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	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.2b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	34.3b	(/.f64 (/.f64 1/2 a) (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	46.6b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 8034 to 4956 computations (38.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite56.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
34×	`add-cube-cbrt_binary64`
27×	`prod-diff_binary64`
13×	`associate-l_binary64`

Counts

4 → 120

Calls

4 calls:

16.0ms	(.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))
14.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)
5.0ms	(sqrt.f64 (.f64 a (.f64 c -4)))
1.0ms	(hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4))))

series972.0ms (6.3%)

Counts

4 → 38

Calls

4 calls:

460.0ms	(.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))
267.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)
207.0ms	(hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4))))
36.0ms	(sqrt.f64 (.f64 a (.f64 c -4)))

simplify367.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

448×	`fma-neg_binary64`
325×	`cancel-sign-sub-inv_binary64`
279×	`distribute-rgt-in_binary64`
225×	`distribute-lft-in_binary64`
175×	`associate-r_binary64`

Counts

158 → 295

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	294	4407
1	709	3790
2	2439	3622
3	4567	3614
4	4899	3614
5	4997	3614
6	5000	3614
7	4830	3614

prune391.0ms (2.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	293	2	295
Fresh	6	7	13
Picked	0	1	1
Done	0	1	1
Total	299	11	310

Error

0.5b

Counts

310 → 11

Alt Table

Status	Error	Program
	39.1b	(neg.f64 (/.f64 c b))
	31.4b	(.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 a (.f64 c -4)))) (cbrt.f64 (sqrt.f64 (.f64 a (.f64 c -4))))) (cbrt.f64 (sqrt.f64 (.f64 a (*.f64 c -4)))))) b))
✓	31.1b	(.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	45.4b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	45.8b	(.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -4)))) b))
	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))
	47.6b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4))) b) b))) (*.f64 2 a))
	42.6b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	34.2b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	34.3b	(/.f64 (/.f64 1/2 a) (/.f64 1 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))

Compiler

Compiled 6850 to 4224 computations (38.3% saved)

regimes3.7s (24%)

Accuracy

Total 10.1b remaining (96%)

Threshold costs 0b (0%)

Compiler

Compiled 13449 to 9475 computations (29.5% saved)

bsearch99.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`
8×	`+-commutative_binary64`
7×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	54
1	45	52
2	66	52
3	76	52
4	81	52
5	82	52
6	81	52

end2.0ms (0%)

Compiler: Compiled 38 to 26 computations (31.6% saved)

sample3.1s (19.9%)

Algorithm

1×

intervals

Results

650.0ms	1096×	body	2048	valid
607.0ms	5192×	body	128	valid
345.0ms	724×	body	1024	valid
315.0ms	447×	body	4096	valid
119.0ms	348×	body	512	valid
78.0ms	669×	body	128	nan
43.0ms	193×	body	256	valid
43.0ms	382×	body	128	invalid

Compiler

Compiled 277 to 195 computations (29.6% saved)

Details

analyze1.3s (8.5%)

sample94.0ms (0.6%)

simplify304.0ms (2%)

prune7.0ms (0%)

localize25.0ms (0.2%)

rewrite65.0ms (0.4%)

series382.0ms (2.5%)

simplify272.0ms (1.8%)

prune353.0ms (2.3%)

localize31.0ms (0.2%)

rewrite50.0ms (0.3%)

series2.0s (13.2%)

simplify254.0ms (1.6%)

prune637.0ms (4.1%)

localize24.0ms (0.2%)

rewrite35.0ms (0.2%)

series150.0ms (1%)

simplify225.0ms (1.5%)

prune469.0ms (3%)

localize19.0ms (0.1%)

rewrite56.0ms (0.4%)

series972.0ms (6.3%)

simplify367.0ms (2.4%)

prune391.0ms (2.5%)

regimes3.7s (24%)

bsearch99.0ms (0.6%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample3.1s (19.9%)

Profiling