Details

analyze626.0ms (5.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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample139.0ms (1.2%)

Algorithm

1×

intervals

Results

13.0ms	164×	body	128	valid
11.0ms	35×	body	2048	valid
6.0ms	16×	body	4096	valid
6.0ms	24×	body	1024	valid
2.0ms	13×	body	512	valid
1.0ms	19×	body	128	nan
1.0ms	9×	body	128	invalid
0.0ms	4×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify383.0ms (3.3%)

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

35.1b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	1.1b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	23.8b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series114.0ms (1%)

Counts

4 → 100

Calls

4 calls:

52.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
45.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(.f64 (.f64 3 a) c)

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
10×	`fma-def_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
10×	`pow1_binary64`

Counts

4 → 80

Calls

4 calls:

7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
4.0ms	(.f64 (.f64 3 a) c)
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

simplify129.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

677×	`fma-def_binary64`
621×	`fma-neg_binary64`
305×	`cancel-sign-sub-inv_binary64`
228×	`distribute-rgt-neg-in_binary64`
197×	`distribute-lft-neg-in_binary64`

Counts

180 → 168

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	2955
1	523	2836
2	1806	2732
3	4518	2728
4	4998	2728
5	4919	2728

prune163.0ms (1.4%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	153	15	168
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	154	16	170

Error

11.9b

Counts

170 → 16

Alt Table

Status	Error	Program
	56.2b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	37.0b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
	38.4b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	38.9b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
	56.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
▶	33.5b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 3 a))
	50.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 b 2))) (*.f64 3 a))
	35.9b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))))) (.f64 3 a))
	49.3b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b) -3/2 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8))) (*.f64 3 a))
	35.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	47.6b	(/.f64 (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (.f64 (/.f64 (.f64 c a) b) -3/2)) (.f64 3 a))
	46.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	36.9b	(/.f64 (+.f64 (neg.f64 b) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))
	44.6b	(/.f64 (.f64 -2 b) (.f64 3 a))
	45.3b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	35.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 4912 to 2894 computations (41.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 c (.f64 a -3))
✓	0.2b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)))
✓	0.3b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
✓	14.7b	(sqrt.f64 (.f64 c (.f64 a -3)))

series402.0ms (3.5%)

Counts

4 → 48

Calls

4 calls:

202.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
173.0ms	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)))
22.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))
6.0ms	(.f64 c (.f64 a -3))

rewrite34.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`add-sqr-sqrt_binary64`
37×	`*-un-lft-identity_binary64`
31×	`sqrt-prod_binary64`
30×	`pow1_binary64`
21×	`add-cube-cbrt_binary64`

Counts

4 → 133

Calls

4 calls:

11.0ms	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)))
4.0ms	(.f64 c (.f64 a -3))
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
3.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))

simplify121.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

764×	`associate-/l*_binary64`
560×	`associate-/r*_binary64`
362×	`fma-def_binary64`
208×	`fma-neg_binary64`
180×	`associate-l_binary64`

Counts

181 → 181

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	223	4673
1	428	3633
2	1534	3454
3	4959	3454
4	4943	3454

prune328.0ms (2.9%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	293	0	293
Fresh	0	15	15
Picked	0	1	1
Done	0	0	0
Total	293	16	309

Error

11.9b

Counts

309 → 16

Alt Table

Status	Error	Program
	56.2b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	37.0b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
	38.4b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	38.9b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
	56.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
✓	33.5b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 3 a))
	50.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 b 2))) (*.f64 3 a))
	35.9b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))))) (.f64 3 a))
	49.3b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b) -3/2 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8))) (*.f64 3 a))
	35.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	47.6b	(/.f64 (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (.f64 (/.f64 (.f64 c a) b) -3/2)) (.f64 3 a))
	46.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	36.9b	(/.f64 (+.f64 (neg.f64 b) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))
	44.6b	(/.f64 (.f64 -2 b) (.f64 3 a))
	45.3b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
▶	35.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 11941 to 7775 computations (34.9% saved)

localize10.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)
✓	1.1b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
✓	23.8b	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

series192.0ms (1.7%)

Counts

4 → 60

Calls

4 calls:

91.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
54.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
44.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))
2.0ms	(/.f64 1/3 a)

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

9.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)
3.0ms	(/.f64 1/3 a)
1.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

simplify137.0ms (1.2%)

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

prune214.0ms (1.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	232	8	240
Fresh	9	5	14
Picked	1	0	1
Done	1	0	1
Total	243	13	256

Error

6.2b

Counts

256 → 13

Alt Table

Status	Error	Program
	37.0b	(.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))))) b) (/.f64 1/3 a))
	39.4b	(*.f64 -1/2 (/.f64 c b))
	35.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	35.7b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)) (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)) (/.f64 1/3 a)))
	34.8b	(/.f64 (.f64 (+.f64 (.f64 a (.f64 c -3)) 0) (/.f64 1/3 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))
	38.4b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	46.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	50.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 b 2))) (*.f64 3 a))
	47.4b	(.f64 (sqrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b) (/.f64 1/3 a))) (sqrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))))
	44.6b	(/.f64 (.f64 -2 b) (.f64 3 a))
	49.1b	(cbrt.f64 (pow.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a)) 3))
▶	33.4b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b)) a)
	44.8b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 6863 to 4056 computations (40.9% saved)

localize10.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 a (.f64 c -3))
✓	0.3b	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
✓	14.7b	(sqrt.f64 (.f64 a (.f64 c -3)))

series418.0ms (3.7%)

Counts

4 → 48

Calls

4 calls:

208.0ms	(.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b))
181.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))) b)
24.0ms	(sqrt.f64 (.f64 a (.f64 c -3)))
5.0ms	(.f64 a (.f64 c -3))

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

simplify83.0ms (0.7%)

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

prune182.0ms (1.6%)

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

4.1b

Counts

217 → 12

Alt Table

Status	Error	Program
	37.0b	(.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -3)))))) (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))))) b) (/.f64 1/3 a))
	39.4b	(*.f64 -1/2 (/.f64 c b))
✓	33.4b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -3)))) b)) a)
	47.9b	(/.f64 (.f64 1/3 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -3)))) b)) a)
	34.8b	(/.f64 (.f64 (+.f64 (.f64 a (.f64 c -3)) 0) (/.f64 1/3 a)) (+.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))
	38.4b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	46.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	33.5b	(/.f64 (.f64 (.f64 1/3 (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))) a)
	50.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 b 2))) (*.f64 3 a))
	44.6b	(/.f64 (.f64 -2 b) (.f64 3 a))
	35.7b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)) (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)) (/.f64 1/3 a)))
	44.8b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))

Compiler

Compiled 5619 to 3450 computations (38.6% saved)

regimes5.8s (50.5%)

Accuracy

Total 6.2b remaining (68.5%)

Threshold costs 0b (0%)

Counts

290 → 4

Compiler

Compiled 35850 to 24984 computations (30.3% saved)

bsearch116.0ms (1%)

Steps

Iters	Range		Point
9	3.3292548776719337e+77	2.641939007883496e+83	3.4777572249671126e+79
7	5.19571733133773e-73	9.32123532395168e-72	5.2420715003536045e-73
9	-1.2531543226657212e+121	-1.9016834159424065e+112	-7.56759573380979e+118

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
11×	`+-commutative_binary64`
7×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	94
1	65	92
2	84	92
3	97	92
4	104	92
5	106	92
6	105	92

end1.0ms (0%)

Compiler: Compiled 65 to 42 computations (35.4% saved)

sample1.8s (15.5%)

Algorithm

1×

intervals

Results

379.0ms	1132×	body	2048	valid
373.0ms	5203×	body	128	valid
200.0ms	751×	body	1024	valid
161.0ms	391×	body	4096	valid
70.0ms	351×	body	512	valid
45.0ms	689×	body	128	nan
29.0ms	420×	body	128	invalid
25.0ms	172×	body	256	valid

Compiler

Compiled 367 to 250 computations (31.9% saved)

Details

analyze626.0ms (5.5%)

sample139.0ms (1.2%)

simplify383.0ms (3.3%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series114.0ms (1%)

rewrite21.0ms (0.2%)

simplify129.0ms (1.1%)

prune163.0ms (1.4%)

localize12.0ms (0.1%)

series402.0ms (3.5%)

rewrite34.0ms (0.3%)

simplify121.0ms (1.1%)

prune328.0ms (2.9%)

localize10.0ms (0.1%)

series192.0ms (1.7%)

rewrite26.0ms (0.2%)

simplify137.0ms (1.2%)

prune214.0ms (1.9%)

localize10.0ms (0.1%)

series418.0ms (3.7%)

rewrite23.0ms (0.2%)

simplify83.0ms (0.7%)

prune182.0ms (1.6%)

regimes5.8s (50.5%)

bsearch116.0ms (1%)

simplify6.0ms (0%)

end1.0ms (0%)

sample1.8s (15.5%)

Profiling