Details

analyze716.0ms (6.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)

sample51.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	170×	body	128	valid
11.0ms	35×	body	2048	valid
6.0ms	13×	body	512	valid
5.0ms	19×	body	1024	valid
4.0ms	11×	body	4096	valid
2.0ms	28×	body	128	nan
1.0ms	8×	body	256	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify365.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 → 1

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

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

33.2b

Counts

2 → 2

Alt Table

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

Compiler

Compiled 94 to 64 computations (31.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
1.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
1.0b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
23.2b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite152.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

32.9b

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:

11.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.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))

Compiler

Compiled 2252 to 1252 computations (44.4% saved)

series156.0ms (1.4%)

Error

5.1b

Counts

4 → 66

Calls

4 calls:

44.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
34.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
32.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
27.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

Compiler

Compiled 2755 to 1994 computations (27.6% saved)

simplify108.0ms (1%)

Algorithm

1×	egg-herbie

Rules

810×	`times-frac_binary64`
605×	`fma-def_binary64`
545×	`fma-neg_binary64`
236×	`cancel-sign-sub-inv_binary64`
201×	`distribute-rgt-neg-in_binary64`

Counts

156 → 124

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	202	2903
1	536	2552
2	1726	2503
3	4834	2499
4	5077	2499

prune72.0ms (0.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	111	13	124
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	112	14	126

Error

6.6b

Counts

126 → 14

Alt Table

Status	Error	Program
	35.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b))) (*.f64 3 a))
	46.3b	(/.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (*.f64 3 a))
	33.4b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) a)))
	52.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 b b))) (.f64 3 a))
	33.3b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) 3) a)
	34.4b	(/.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))
	33.4b	(.f64 1/3 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (*.f64 b b))) b) a))
	33.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	45.9b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	45.6b	(*.f64 (/.f64 b a) -2/3)
	46.3b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
▶	31.8b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
	33.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b))) (*.f64 3 a))
	45.6b	(/.f64 (.f64 b -2) (.f64 3 a))

Compiler

Compiled 2192 to 1184 computations (46% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.4b	(-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))
3.9b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
9.0b	(/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))))
23.2b	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))

rewrite198.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

Rules

75×	`add-sqr-sqrt_binary64`
74×	`*-un-lft-identity_binary64`
60×	`prod-diff_binary64`
54×	`add-cube-cbrt_binary64`
45×	`add-cbrt-cube_binary64`

Counts

4 → 201

Calls

4 calls:

13.0ms	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
8.0ms	(/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))))
7.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))
1.0ms	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))

Compiler

Compiled 8232 to 3838 computations (53.4% saved)

series197.0ms (1.8%)

Error

6.6b

Counts

4 → 65

Calls

4 calls:

59.0ms	(/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))))
47.0ms	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
37.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))
36.0ms	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))

Compiler

Compiled 3623 to 2487 computations (31.4% saved)

simplify228.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

504×	`fma-def_binary64`
296×	`fma-neg_binary64`
253×	`associate-/l*_binary64`
248×	`times-frac_binary64`
180×	`cancel-sign-sub-inv_binary64`

Counts

266 → 246

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	328	10193
1	785	7334
2	2977	5989
3	4474	5988
4	4909	5988

prune98.0ms (0.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	242	4	246
Fresh	6	7	13
Picked	0	1	1
Done	0	0	0
Total	248	12	260

Error

5.9b

Counts

260 → 12

Alt Table

Status	Error	Program
	35.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b))) (*.f64 3 a))
	46.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (.f64 b -2)) (.f64 3 a))
	46.3b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	32.2b	(.f64 (.f64 (cbrt.f64 (.f64 1 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))))))) (cbrt.f64 (.f64 1 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3))))))))) (cbrt.f64 (.f64 1 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -3)))))))))
	33.3b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) 3) a)
	33.4b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) a)))
	34.4b	(/.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))
	35.3b	(.f64 1/3 (.f64 (/.f64 3 a) (/.f64 (.f64 c a) (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -3))))))))
▶	31.6b	(.f64 1 (.f64 1 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3))))))))
	45.9b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
✓	31.8b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
	45.6b	(/.f64 (.f64 b -2) (.f64 3 a))

Compiler

Compiled 3615 to 2090 computations (42.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3))))))
0.2b	(.f64 c (.f64 a -3))
0.3b	(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))))
11.0b	(sqrt.f64 (.f64 c (.f64 a -3)))

rewrite136.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

2.3b

Rules

59×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
39×	`add-cube-cbrt_binary64`
30×	`prod-diff_binary64`
18×	`times-frac_binary64`

Counts

4 → 138

Calls

4 calls:

8.0ms	(/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3))))))
5.0ms	(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))))
4.0ms	(.f64 c (.f64 a -3))
3.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))

Compiler

Compiled 4420 to 2897 computations (34.5% saved)

series199.0ms (1.8%)

Error

5.1b

Counts

4 → 38

Calls

4 calls:

95.0ms	(/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3))))))
64.0ms	(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))))
14.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))
12.0ms	(.f64 c (.f64 a -3))

Compiler

Compiled 2512 to 1957 computations (22.1% saved)

simplify144.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

652×	`associate-/l*_binary64`
399×	`fma-def_binary64`
375×	`associate-/r*_binary64`
350×	`fma-neg_binary64`
149×	`associate-r_binary64`

Counts

176 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	267	4855
1	573	3726
2	1762	3245
3	4688	3217
4	4902	3217

prune79.0ms (0.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	145	5	150
Fresh	4	6	10
Picked	0	1	1
Done	0	1	1
Total	149	13	162

Error

5.1b

Counts

162 → 13

Alt Table

Status	Error	Program
	35.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b))) (*.f64 3 a))
	32.2b	(.f64 1 (.f64 1 (.f64 (.f64 (cbrt.f64 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))))) (cbrt.f64 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))))))) (cbrt.f64 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))))))))
	33.3b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) 3) a)
	45.6b	(.f64 1 (.f64 1 (.f64 2 (.f64 -1/3 (/.f64 b a)))))
	34.4b	(/.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))
	40.8b	(.f64 1 (.f64 1 (/.f64 c (*.f64 b -2))))
	33.4b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) a)))
✓	31.6b	(.f64 1 (.f64 1 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3))))))))
	45.9b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	32.2b	(.f64 1 (.f64 1 (/.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (*.f64 c a))))) (cbrt.f64 c)))))
✓	31.8b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
▶	31.8b	(.f64 1 (.f64 1 (/.f64 1 (/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))) c))))
	45.6b	(/.f64 (.f64 b -2) (.f64 3 a))

Compiler

Compiled 2632 to 1625 computations (38.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))))
0.3b	(/.f64 1 (/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))) c))
0.3b	(.f64 -3 (.f64 c a))
11.0b	(sqrt.f64 (.f64 -3 (.f64 c a)))

rewrite193.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

5.1b

Rules

143×	`*-un-lft-identity_binary64`
138×	`times-frac_binary64`
117×	`add-sqr-sqrt_binary64`
91×	`add-cube-cbrt_binary64`
30×	`prod-diff_binary64`

Counts

4 → 209

Calls

4 calls:

8.0ms	(/.f64 1 (/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))) c))
5.0ms	(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))))
4.0ms	(.f64 -3 (.f64 c a))
3.0ms	(sqrt.f64 (.f64 -3 (.f64 c a)))

Compiler

Compiled 6716 to 4150 computations (38.2% saved)

series193.0ms (1.8%)

Error

5.1b

Counts

4 → 38

Calls

4 calls:

95.0ms	(/.f64 1 (/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))) c))
63.0ms	(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))))
14.0ms	(.f64 -3 (.f64 c a))
12.0ms	(sqrt.f64 (.f64 -3 (.f64 c a)))

Compiler

Compiled 2620 to 2065 computations (21.2% saved)

simplify197.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

694×	`associate-/l*_binary64`
401×	`fma-def_binary64`
346×	`fma-neg_binary64`
297×	`associate-/r/_binary64`
160×	`associate-r_binary64`

Counts

247 → 181

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	303	7608
1	653	6186
2	2033	5668
3	4912	5668
4	4997	5668

prune62.0ms (0.6%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	181	13	194

Error

5.1b

Counts

194 → 13

Alt Table

Status	Error	Program
	35.2b	(/.f64 (exp.f64 (log.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b))) (*.f64 3 a))
	32.2b	(.f64 1 (.f64 1 (.f64 (.f64 (cbrt.f64 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))))) (cbrt.f64 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a)))))))) (cbrt.f64 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))))))))
	33.3b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) 3) a)
	45.6b	(.f64 1 (.f64 1 (.f64 2 (.f64 -1/3 (/.f64 b a)))))
	34.4b	(/.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))
	40.8b	(.f64 1 (.f64 1 (/.f64 c (*.f64 b -2))))
	33.4b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))) b) a)))
	31.6b	(.f64 1 (.f64 1 (/.f64 c (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3))))))))
	45.9b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	32.2b	(.f64 1 (.f64 1 (/.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (*.f64 c a))))) (cbrt.f64 c)))))
	31.8b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))) (*.f64 3 a))
	31.8b	(.f64 1 (.f64 1 (/.f64 1 (/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 c a))))) c))))
	45.6b	(/.f64 (.f64 b -2) (.f64 3 a))

Compiler

Compiled 2108 to 1272 computations (39.7% saved)

regimes5.4s (48.9%)

Accuracy

Total 2.9b remaining (33.4%)

Threshold costs 0b (0%)

Compiler

Compiled 23650 to 16196 computations (31.5% saved)

bsearch105.0ms (1%)

Steps

Iters	Range	Point
7	2.0213188431268727e-29	3.3827355491711696e-28	8.030044591380852e-29
7	-1.2264155458962115e-307	1.6820584319253398e-307	-9.990041030723927e-308
9	-6.891673571274656e+141	-5.621805375092795e+132	-3.24196586675541e+138

Iters

Range

Point

2.0213188431268727e-29

3.3827355491711696e-28

8.030044591380852e-29

-1.2264155458962115e-307

1.6820584319253398e-307

-9.990041030723927e-308

-6.891673571274656e+141

-5.621805375092795e+132

-3.24196586675541e+138

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	81
1	66	79
2	84	79
3	99	79
4	108	79
5	111	79
6	109	79

end2.0ms (0%)

Compiler: Compiled 56 to 38 computations (32.1% saved)

sample1.9s (17.4%)

Algorithm

1×

intervals

Results

396.0ms	1089×	body	2048	valid
358.0ms	5187×	body	128	valid
271.0ms	755×	body	1024	valid
167.0ms	416×	body	4096	valid
76.0ms	383×	body	512	valid
50.0ms	697×	body	128	nan
29.0ms	402×	body	128	invalid
21.0ms	170×	body	256	valid

Compiler

Compiled 363 to 252 computations (30.6% saved)

Details

analyze716.0ms (6.5%)

sample51.0ms (0.5%)

simplify365.0ms (3.3%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite152.0ms (1.4%)

series156.0ms (1.4%)

simplify108.0ms (1%)

prune72.0ms (0.7%)

localize13.0ms (0.1%)

rewrite198.0ms (1.8%)

series197.0ms (1.8%)

simplify228.0ms (2.1%)

prune98.0ms (0.9%)

localize15.0ms (0.1%)

rewrite136.0ms (1.2%)

series199.0ms (1.8%)

simplify144.0ms (1.3%)

prune79.0ms (0.7%)

localize12.0ms (0.1%)

rewrite193.0ms (1.8%)

series193.0ms (1.8%)

simplify197.0ms (1.8%)

prune62.0ms (0.6%)

regimes5.4s (48.9%)

bsearch105.0ms (1%)

simplify7.0ms (0.1%)

end2.0ms (0%)

sample1.9s (17.4%)

Profiling