Details

analyze1.0s (10.6%)

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)

sample2.5s (26.5%)

Results

760.0ms	5317×	body	128	valid
669.0ms	1199×	body	2048	valid
339.0ms	765×	body	1024	valid
262.0ms	396×	body	4096	valid
166.0ms	1067×	body	128	invalid
126.0ms	365×	body	512	valid
57.0ms	214×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify140.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2079×	`fma-neg_binary64`
1006×	`fma-def_binary64`
919×	`div-sub_binary64`
626×	`distribute-rgt-in_binary64`
435×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	38	24
2	95	24
3	227	22
4	357	22
5	614	22
6	1103	22
7	1373	22
8	1636	22
9	2330	22
10	3187	22
11	2880	22
12	2827	22
13	2896	22
14	2922	22
15	3797	22
16	4824	22
17	5240	22

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

32.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 71 to 46 computations (35.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.1b	(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) a)
✓	1.3b	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))
✓	22.4b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))

series219.0ms (2.3%)

Counts

4 → 96

Calls

4 calls:

113.0ms	(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) a)
52.0ms	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))
42.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
11.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`*-un-lft-identity_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 77

Calls

4 calls:

7.0ms	(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) a)
3.0ms	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))
1.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
0.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

simplify84.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

834×	`times-frac_binary64`
539×	`associate-/l*_binary64`
468×	`fma-def_binary64`
198×	`cancel-sign-sub-inv_binary64`
125×	`associate-/r/_binary64`

Counts

173 → 193

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	3876
1	521	3658
2	1578	3494
3	5011	3494

prune152.0ms (1.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	182	11	193
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	182	12	194

Error

4.9b

Counts

194 → 12

Alt Table

Status	Error	Program
	34.2b	(.f64 -1/2 (/.f64 (exp.f64 (log.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))) a))
	42.2b	(.f64 -1/2 (.f64 2 (/.f64 c b)))
	43.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
	37.6b	(.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))) a))
	57.5b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
✓	32.0b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) a))
	50.7b	(.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (.f64 4 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	43.0b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	43.8b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
▶	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
	32.8b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) a)))
	32.9b	(.f64 -1/2 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 a))))

Compiler

Compiled 5363 to 3261 computations (39.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) a))
✓	0.2b	(.f64 c (.f64 a -4))
✓	0.9b	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
✓	13.1b	(sqrt.f64 (.f64 c (.f64 a -4)))

series424.0ms (4.4%)

Counts

4 → 52

Calls

4 calls:

205.0ms	(.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) a))
194.0ms	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
20.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))
5.0ms	(.f64 c (.f64 a -4))

rewrite36.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64`
32×	`*-un-lft-identity_binary64`
26×	`associate-r_binary64`
25×	`times-frac_binary64`
22×	`sqrt-prod_binary64`

Counts

4 → 109

Calls

4 calls:

17.0ms	(.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) a))
4.0ms	(.f64 c (.f64 a -4))
3.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))
2.0ms	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))

simplify115.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

857×	`associate-/r*_binary64`
589×	`fma-def_binary64`
185×	`associate-/l/_binary64`
173×	`associate-l_binary64`
172×	`associate-r_binary64`

Counts

161 → 198

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	238	4186
1	605	3696
2	2033	3517
3	4832	3513
4	5083	3513

prune269.0ms (2.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	295	1	296
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	296	12	308

Error

4.9b

Counts

308 → 12

Alt Table

Status	Error	Program
	50.7b	(.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (.f64 4 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	47.7b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4)))))) a)))
	42.2b	(.f64 -1/2 (.f64 2 (/.f64 c b)))
	43.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
	37.6b	(.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))) a))
	57.5b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
✓	32.0b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) a))
	43.0b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	43.8b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
✓	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
▶	32.8b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) a)))
	32.9b	(.f64 -1/2 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 a))))

Compiler

Compiled 11432 to 7511 computations (34.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))))
✓	0.3b	(cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))
	0.9b	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
	13.1b	(sqrt.f64 (.f64 c (.f64 a -4)))

series1.7s (17.8%)

Counts

2 → 28

Calls

2 calls:

1.2s

(*.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))

485.0ms

(cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`cbrt-prod_binary64`
27×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
14×	`cbrt-div_binary64`
11×	`add-cube-cbrt_binary64`

Counts

2 → 71

Calls

2 calls:

8.0ms

(*.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))

2.0ms

(cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))

simplify131.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

993×	`times-frac_binary64`
431×	`fma-def_binary64`
310×	`fma-neg_binary64`
152×	`cancel-sign-sub-inv_binary64`
133×	`associate-r_binary64`

Counts

99 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	4888
1	589	4511
2	1688	3993
3	4925	3993
4	5088	3993

prune527.0ms (5.5%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	466	1	467
Fresh	1	8	9
Picked	0	1	1
Done	0	2	2
Total	467	12	479

Error

4.9b

Counts

479 → 12

Alt Table

Status	Error	Program
	50.7b	(.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (.f64 4 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	47.7b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4)))))) a)))
	42.2b	(.f64 -1/2 (.f64 2 (/.f64 c b)))
	43.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
	57.5b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
✓	32.0b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) a))
	55.3b	(.f64 -1/2 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 4) (.f64 2 (log.f64 (/.f64 1 b)))))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
	43.0b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	43.8b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
✓	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
✓	32.8b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) a)))
▶	32.9b	(.f64 -1/2 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 a))))

Compiler

Compiled 26037 to 17712 computations (32% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
✓	0.6b	(cbrt.f64 a)
	0.9b	(+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
	13.1b	(sqrt.f64 (.f64 c (.f64 a -4)))

series71.0ms (0.7%)

Counts

2 → 24

Calls

2 calls:

36.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
34.0ms	(cbrt.f64 a)

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

5.0ms	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
1.0ms	(cbrt.f64 a)

simplify63.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

79 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	610
1	98	554
2	296	516
3	769	502
4	1799	410
5	4642	410
6	4805	410

prune323.0ms (3.4%)

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	316	1	317
Fresh	1	7	8
Picked	0	1	1
Done	0	3	3
Total	317	12	329

Error

4.9b

Counts

329 → 12

Alt Table

Status	Error	Program
	50.7b	(.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (.f64 4 (/.f64 (.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
	47.7b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -4)))))) a)))
	42.2b	(.f64 -1/2 (.f64 2 (/.f64 c b)))
	43.6b	(*.f64 -1/2 (/.f64 (+.f64 b b) a))
✓	32.4b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a)))
	60.6b	(.f64 -1/2 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (log.f64 (exp.f64 (cbrt.f64 a))))))
	57.5b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
✓	32.0b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))) a))
	43.0b	(.f64 -1/2 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) a))
	43.8b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
✓	32.8b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4)))))) a)))
✓	32.9b	(.f64 -1/2 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))) (cbrt.f64 a))))

Compiler

Compiled 17341 to 10397 computations (40% saved)

regimes1.4s (14.6%)

Accuracy

Total 5.0b remaining (48.3%)

Threshold costs 0b (0%)

Counts

121 → 3

Compiler

Compiled 15272 to 10470 computations (31.4% saved)

bsearch92.0ms (1%)

Steps

Iters	Range		Point
9	1.3369281388578896e+67	1.3755510498464116e+73	1.342708120251196e+70
9	-6.8118467823139e-20	-1.1057979568610162e-28	-1.1345533515695916e-28

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
13×	`+-commutative_binary64`
12×	`sub-neg_binary64`
9×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	64
1	51	64
2	69	64
3	91	64
4	104	64
5	111	64
6	113	64
7	112	64

end197.0ms (2.1%)

Compiler: Compiled 420 to 286 computations (31.9% saved)

Details

analyze1.0s (10.6%)

sample2.5s (26.5%)

simplify140.0ms (1.5%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series219.0ms (2.3%)

rewrite15.0ms (0.2%)

simplify84.0ms (0.9%)

prune152.0ms (1.6%)

localize11.0ms (0.1%)

series424.0ms (4.4%)

rewrite36.0ms (0.4%)

simplify115.0ms (1.2%)

prune269.0ms (2.8%)

localize13.0ms (0.1%)

series1.7s (17.8%)

rewrite18.0ms (0.2%)

simplify131.0ms (1.4%)

prune527.0ms (5.5%)

localize19.0ms (0.2%)

series71.0ms (0.7%)

rewrite7.0ms (0.1%)

simplify63.0ms (0.7%)

prune323.0ms (3.4%)

regimes1.4s (14.6%)

bsearch92.0ms (1%)

simplify4.0ms (0%)

end197.0ms (2.1%)

Profiling