Details

analyze325.0ms (2.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
25%	74.9%	0.1%	4
37.4%	62.4%	0.1%	5
37.4%	62.4%	0.1%	6
37.4%	56.2%	6.4%	7
45.2%	48.4%	6.4%	8
49.1%	42.1%	8.7%	9
51.5%	35.1%	13.4%	10
58.1%	27.7%	14.2%	11
60.8%	22.6%	16.5%	12
62.3%	18.7%	19%	13
66.2%	14.4%	19.4%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.3s (17.8%)

Results

958.0ms	5575×	body	128	valid
542.0ms	1101×	body	2048	valid
264.0ms	698×	body	1024	valid
207.0ms	386×	body	4096	valid
91.0ms	331×	body	512	valid
90.0ms	614×	body	128	invalid
29.0ms	165×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify348.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1968×	`fma-neg_binary64`
1363×	`fma-def_binary64`
898×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	64	22
3	135	22
4	201	22
5	335	22
6	554	22
7	929	22
8	1477	22
9	2115	22
10	2599	22
11	2554	22
12	2602	22
13	2671	22
14	3117	22
15	2327	22
16	2375	22
17	2383	22
18	2389	22
19	2395	22
20	2397	22
21	2397	22
22	2585	22
23	2685	22
24	2619	22
25	2631	22
26	2661	22
27	2677	22
28	2707	22
29	2707	22
30	2751	22
31	2851	22
32	2827	22
33	2827	22
34	2638	22

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

31.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	31.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	31.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
✓	0.4b	(/.f64 1/3 a)
✓	0.8b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
✓	27.5b	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

series207.0ms (1.6%)

Counts

4 → 60

Calls

4 calls:

94.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
59.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
51.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))
2.0ms	(/.f64 1/3 a)

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
36×	`add-cube-cbrt_binary64`
19×	`times-frac_binary64`
18×	`prod-diff_binary64`

Counts

4 → 128

Calls

4 calls:

10.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
4.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
2.0ms	(/.f64 1/3 a)
1.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

simplify135.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

446×	`fma-neg_binary64`
318×	`distribute-rgt-in_binary64`
276×	`cancel-sign-sub-inv_binary64`
271×	`neg-mul-1_binary64`
161×	`associate-r_binary64`

Counts

188 → 240

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	295	5224
1	709	4328
2	2581	4143
3	4488	4131
4	4864	4131

prune220.0ms (1.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	228	12	240
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	229	13	242

Error

4.4b

Counts

242 → 13

Alt Table

Status	Error	Program
	40.7b	(/.f64 (.f64 1/3 (+.f64 (.f64 a (.f64 c -3)) 0)) (.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))))))
	35.2b	(.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))))) b) (/.f64 1/3 a))
	39.5b	(.f64 (.f64 -2 b) (/.f64 1/3 a))
	30.8b	(.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b))) (/.f64 1/3 a))
	39.5b	(*.f64 -2/3 (/.f64 b a))
▶	29.1b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b)) a)
	42.8b	(*.f64 -1/2 (/.f64 c b))
	37.9b	(.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) b) (/.f64 1/3 a))
	29.5b	(.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a)))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))
	31.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	39.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	29.2b	(.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b))) (/.f64 1/3 a))
	29.5b	(.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/3 a)))) (cbrt.f64 (/.f64 1/3 a)))

Compiler

Compiled 6829 to 4040 computations (40.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b))
✓	0.2b	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
✓	0.2b	(.f64 a (.f64 c -3))
✓	13.1b	(sqrt.f64 (.f64 a (.f64 c -3)))

series466.0ms (3.6%)

Counts

4 → 48

Calls

4 calls:

220.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
217.0ms	(.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b))
25.0ms	(sqrt.f64 (.f64 a (.f64 c -3)))
5.0ms	(.f64 a (.f64 c -3))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
29×	`add-cube-cbrt_binary64`
27×	`prod-diff_binary64`
17×	`pow1_binary64`

Counts

4 → 114

Calls

4 calls:

7.0ms	(.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b))
4.0ms	(.f64 a (.f64 c -3))
3.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
3.0ms	(sqrt.f64 (.f64 a (.f64 c -3)))

simplify116.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

804×	`associate-/l*_binary64`
599×	`fma-def_binary64`
312×	`cancel-sign-sub-inv_binary64`
213×	`fma-neg_binary64`
177×	`associate-r_binary64`

Counts

162 → 204

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	3438
1	550	2854
2	1855	2734
3	4960	2734

prune198.0ms (1.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	202	2	204
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	205	12	217

Error

1.8b

Counts

217 → 12

Alt Table

Status	Error	Program
	40.7b	(/.f64 (.f64 1/3 (+.f64 (.f64 a (.f64 c -3)) 0)) (.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))))))
	39.5b	(.f64 (.f64 -2 b) (/.f64 1/3 a))
	29.5b	(.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a)))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))
	39.5b	(/.f64 (*.f64 -2/3 b) a)
	46.1b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -3)))) b)) a)
✓	29.1b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b)) a)
	42.8b	(*.f64 -1/2 (/.f64 c b))
	37.9b	(.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) b) (/.f64 1/3 a))
	31.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	39.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
▶	29.2b	(.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b))) (/.f64 1/3 a))
	29.5b	(.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (*.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/3 a)))) (cbrt.f64 (/.f64 1/3 a)))

Compiler

Compiled 5856 to 3620 computations (38.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b)))
	0.2b	(.f64 a (.f64 c -3))
	0.4b	(/.f64 1/3 a)
	13.1b	(sqrt.f64 (.f64 a (.f64 c -3)))

series177.0ms (1.4%)

Counts

1 → 12

Calls

1 calls:

177.0ms

(*.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b)))

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
30×	`sqrt-prod_binary64`
23×	`*-un-lft-identity_binary64`
16×	`pow1_binary64`
12×	`swap-sqr_binary64`

Counts

1 → 69

Calls

1 calls:

10.0ms

(*.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b)))

simplify91.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

617×	`cancel-sign-sub-inv_binary64`
484×	`fma-neg_binary64`
349×	`associate-r_binary64`
333×	`associate-l_binary64`
281×	`times-frac_binary64`

Counts

81 → 104

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	142	2516
1	298	2255
2	828	2111
3	3304	2022
4	5197	2022

prune275.0ms (2.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	236	1	237
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	237	12	249

Error

1.8b

Counts

249 → 12

Alt Table

Status	Error	Program
	29.5b	(.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b))) (.f64 (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/3 a))) (cbrt.f64 (/.f64 1/3 a))))
	42.8b	(*.f64 -1/2 (/.f64 c b))
	40.7b	(/.f64 (.f64 1/3 (+.f64 (.f64 a (.f64 c -3)) 0)) (.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))))))
	39.5b	(.f64 (.f64 -2 b) (/.f64 1/3 a))
▶	29.5b	(.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a)))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))
	39.5b	(/.f64 (*.f64 -2/3 b) a)
	46.1b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -3)))) b)) a)
✓	29.1b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b)) a)
	37.9b	(.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) b) (/.f64 1/3 a))
	31.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	39.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
✓	29.2b	(.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b))) (/.f64 1/3 a))

Compiler

Compiled 8539 to 5690 computations (33.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))
	0.4b	(/.f64 1/3 a)
✓	2.9b	(cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a)))
	13.1b	(sqrt.f64 (.f64 a (.f64 c -3)))

series3.5s (27.4%)

Counts

2 → 24

Calls

2 calls:

2.6s

(*.f64 (cbrt.f64 (*.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))) (cbrt.f64 (*.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))

948.0ms

(cbrt.f64 (*.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a)))

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`cbrt-div_binary64`
51×	`frac-times_binary64`
31×	`associate-*l/_binary64`
26×	`flip--_binary64`
26×	`flip3--_binary64`

Counts

2 → 84

Calls

2 calls:

6.0ms

(*.f64 (cbrt.f64 (*.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))) (cbrt.f64 (*.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))

5.0ms

(cbrt.f64 (*.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a)))

simplify216.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

577×	`fma-def_binary64`
246×	`associate-r_binary64`
199×	`cancel-sign-sub-inv_binary64`
196×	`unswap-sqr_binary64`
185×	`associate-l_binary64`

Counts

108 → 181

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	319	8050
1	776	7669
2	2485	7001
3	4767	6922
4	4971	6922

prune739.0ms (5.8%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	446	0	446
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	446	12	458

Error

1.8b

Counts

458 → 12

Alt Table

Status	Error	Program
	29.5b	(.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b))) (.f64 (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/3 a))) (cbrt.f64 (/.f64 1/3 a))))
	42.8b	(*.f64 -1/2 (/.f64 c b))
	40.7b	(/.f64 (.f64 1/3 (+.f64 (.f64 a (.f64 c -3)) 0)) (.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))))))
	39.5b	(.f64 (.f64 -2 b) (/.f64 1/3 a))
✓	29.5b	(.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a)))) (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))
	39.5b	(/.f64 (*.f64 -2/3 b) a)
	46.1b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -3)))) b)) a)
✓	29.1b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b)) a)
	37.9b	(.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) b) (/.f64 1/3 a))
	31.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	39.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
✓	29.2b	(.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)) (sqrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b))) (/.f64 1/3 a))

Compiler

Compiled 29855 to 20608 computations (31% saved)

regimes2.9s (22.9%)

Accuracy

Total 5.4b remaining (67.8%)

Threshold costs 0b (0%)

Counts

204 → 4

Compiler

Compiled 23941 to 16991 computations (29% saved)

bsearch211.0ms (1.7%)

Steps

Iters	Range	Point
11	2.2662785546022415e+101	2.7215606412094346e+129	1.4435507859232425e+107
11	2.8616850908874527e-178	4.25378957548117e-144	9.982803894529838e-170
7	-1.814430219754598e+156	-1.0182173360101637e+155	-1.0269296551259906e+155

Iters

Range

Point

2.2662785546022415e+101

2.7215606412094346e+129

1.4435507859232425e+107

2.8616850908874527e-178

4.25378957548117e-144

9.982803894529838e-170

-1.814430219754598e+156

-1.0182173360101637e+155

-1.0269296551259906e+155

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
9×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	89
1	59	87
2	76	87
3	85	87
4	91	87
5	93	87
6	92	87

end190.0ms (1.5%)

Compiler: Compiled 403 to 275 computations (31.8% saved)

Details

analyze325.0ms (2.5%)

sample2.3s (17.8%)

simplify348.0ms (2.7%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series207.0ms (1.6%)

rewrite27.0ms (0.2%)

simplify135.0ms (1.1%)

prune220.0ms (1.7%)

localize9.0ms (0.1%)

series466.0ms (3.6%)

rewrite24.0ms (0.2%)

simplify116.0ms (0.9%)

prune198.0ms (1.5%)

localize11.0ms (0.1%)

series177.0ms (1.4%)

rewrite22.0ms (0.2%)

simplify91.0ms (0.7%)

prune275.0ms (2.1%)

localize13.0ms (0.1%)

series3.5s (27.4%)

rewrite29.0ms (0.2%)

simplify216.0ms (1.7%)

prune739.0ms (5.8%)

regimes2.9s (22.9%)

bsearch211.0ms (1.7%)

simplify5.0ms (0%)

end190.0ms (1.5%)

Profiling