Details

analyze696.0ms (4.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)

sample138.0ms (0.9%)

Algorithm

1×

intervals

Results

13.0ms	41×	body	2048	valid
11.0ms	165×	body	128	valid
8.0ms	18×	body	4096	valid
4.0ms	15×	body	1024	valid
3.0ms	14×	body	512	valid
2.0ms	32×	body	128	nan
1.0ms	11×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify352.0ms (2.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

32.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	32.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	32.4b	(.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 b b) (.f64 (*.f64 3 a) c))
✓	0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	0.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	22.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series198.0ms (1.3%)

Counts

4 → 96

Calls

4 calls:

87.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
53.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
12.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

rewrite34.0ms (0.2%)

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:

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

simplify132.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

683×	`fma-neg_binary64`
319×	`cancel-sign-sub-inv_binary64`
242×	`distribute-rgt-neg-in_binary64`
156×	`associate-r_binary64`
151×	`distribute-rgt-neg-out_binary64`

Counts

186 → 207

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	4256
1	716	3931
2	2528	3797
3	4700	3771
4	5026	3771

prune219.0ms (1.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	196	11	207
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	197	12	209

Error

4.5b

Counts

209 → 12

Alt Table

Status	Error	Program
	45.1b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	32.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	32.3b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	29.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (*.f64 3 a))))
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	32.6b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	32.4b	(/.f64 1 (/.f64 (.f64 3 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))
	48.8b	(exp.f64 (log.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	45.0b	(/.f64 (.f64 -2 b) (.f64 3 a))
▶	29.0b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	39.5b	(*.f64 -1/2 (/.f64 c b))
	36.5b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))

Compiler

Compiled 5873 to 3484 computations (40.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a))
✓	0.2b	(.f64 c (.f64 a -3))
✓	0.3b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
✓	13.6b	(sqrt.f64 (.f64 c (.f64 a -3)))

series732.0ms (4.7%)

Counts

4 → 48

Calls

4 calls:

524.0ms	(/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a))
179.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
24.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))
5.0ms	(.f64 c (.f64 a -3))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

117×	`times-frac_binary64`
95×	`*-un-lft-identity_binary64`
95×	`add-sqr-sqrt_binary64`
69×	`add-cube-cbrt_binary64`
19×	`associate-/r*_binary64`

Counts

4 → 160

Calls

4 calls:

8.0ms	(/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a))
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)))

simplify197.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

606×	`fma-def_binary64`
269×	`cancel-sign-sub-inv_binary64`
248×	`fma-neg_binary64`
185×	`associate-r_binary64`
178×	`distribute-rgt-neg-in_binary64`

Counts

208 → 291

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	369	6123
1	853	5496
2	3042	5439
3	4708	5438
4	4967	5438
5	4889	5438

prune281.0ms (1.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	285	6	291
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	289	14	303

Error

1.4b

Counts

303 → 14

Alt Table

Status	Error	Program
	45.1b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	32.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	29.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (*.f64 3 a))))
	45.0b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 -2 b) a)))
	32.6b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	29.5b	(/.f64 1 (/.f64 (.f64 (/.f64 3 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (cbrt.f64 a))) (cbrt.f64 a)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) (cbrt.f64 a))))
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
▶	29.0b	(/.f64 1 (/.f64 (/.f64 3 1) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	45.0b	(/.f64 1 (*.f64 -3/2 (/.f64 a b)))
	45.0b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b) a)))
	32.4b	(/.f64 1 (/.f64 (.f64 3 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))
	39.5b	(*.f64 -1/2 (/.f64 c b))
	39.6b	(/.f64 1 (fma.f64 6 (.f64 (/.f64 b (.f64 -3 c)) 1) (*.f64 3/2 (/.f64 a b))))

Compiler

Compiled 9457 to 6217 computations (34.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (/.f64 3 1) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a))
	0.2b	(.f64 c (.f64 a -3))
	0.3b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
	13.6b	(sqrt.f64 (.f64 c (.f64 a -3)))

series521.0ms (3.3%)

Counts

1 → 12

Calls

1 calls:

520.0ms

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

rewrite73.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

637×	`times-frac_binary64`
351×	`*-un-lft-identity_binary64`
351×	`add-sqr-sqrt_binary64`
267×	`add-cube-cbrt_binary64`
42×	`distribute-lft-out--_binary64`

Counts

1 → 303

Calls

1 calls:

12.0ms

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

simplify407.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

669×	`associate-/r/_binary64`
546×	`associate-*l/_binary64`
447×	`div-sub_binary64`
413×	`associate-*r/_binary64`
401×	`*-commutative_binary64`

Counts

315 → 381

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	331	13903
1	705	13512
2	2060	13481
3	4169	13481
4	4758	13481
5	5239	13481

prune536.0ms (3.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	493	0	493
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	493	14	507

Error

1.4b

Counts

507 → 14

Alt Table

Status	Error	Program
	45.1b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	32.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	29.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (*.f64 3 a))))
	45.0b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 -2 b) a)))
	32.6b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	29.5b	(/.f64 1 (/.f64 (.f64 (/.f64 3 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (cbrt.f64 a))) (cbrt.f64 a)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) (cbrt.f64 a))))
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
✓	29.0b	(/.f64 1 (/.f64 (/.f64 3 1) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	45.0b	(/.f64 1 (*.f64 -3/2 (/.f64 a b)))
	45.0b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b) a)))
	32.4b	(/.f64 1 (/.f64 (.f64 3 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))
	39.5b	(*.f64 -1/2 (/.f64 c b))
	39.6b	(/.f64 1 (fma.f64 6 (.f64 (/.f64 b (.f64 -3 c)) 1) (*.f64 3/2 (/.f64 a b))))

Compiler

Compiled 17968 to 12484 computations (30.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
✓	0.3b	(.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (*.f64 3 a))))
✓	0.3b	(cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (*.f64 3 a)))
	13.6b	(sqrt.f64 (.f64 c (.f64 a -3)))

series3.3s (21.3%)

Counts

2 → 24

Calls

2 calls:

2.5s

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

864.0ms

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

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

53×	`cbrt-prod_binary64`
34×	`add-sqr-sqrt_binary64`
32×	`*-un-lft-identity_binary64`
29×	`times-frac_binary64`
16×	`add-cube-cbrt_binary64`

Counts

2 → 85

Calls

2 calls:

11.0ms

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

4.0ms

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

simplify141.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

910×	`associate-/l*_binary64`
524×	`fma-def_binary64`
251×	`associate-r_binary64`
218×	`associate-/r/_binary64`
194×	`cancel-sign-sub-inv_binary64`

Counts

109 → 180

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	282	6668
1	732	6245
2	2378	5677
3	5896	5677

prune728.0ms (4.7%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	547	0	547
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	547	14	561

Error

1.4b

Counts

561 → 14

Alt Table

Status	Error	Program
	45.1b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	32.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
✓	29.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (.f64 3 a)))) (cbrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (*.f64 3 a))))
	45.0b	(/.f64 1 (/.f64 3 (/.f64 (*.f64 -2 b) a)))
	32.6b	(/.f64 (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (/.f64 (.f64 3 a) (sqrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	29.5b	(/.f64 1 (/.f64 (.f64 (/.f64 3 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)) (cbrt.f64 a))) (cbrt.f64 a)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)) (cbrt.f64 a))))
	34.3b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
✓	29.0b	(/.f64 1 (/.f64 (/.f64 3 1) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	45.0b	(/.f64 1 (*.f64 -3/2 (/.f64 a b)))
	45.0b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b) a)))
	32.4b	(/.f64 1 (/.f64 (.f64 3 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))
	39.5b	(*.f64 -1/2 (/.f64 c b))
	39.6b	(/.f64 1 (fma.f64 6 (.f64 (/.f64 b (.f64 -3 c)) 1) (*.f64 3/2 (/.f64 a b))))

Compiler

Compiled 35595 to 24409 computations (31.4% saved)

regimes4.8s (30.9%)

Accuracy

Total 7.3b remaining (74%)

Threshold costs 0b (0%)

Counts

243 → 3

Compiler

Compiled 32852 to 24375 computations (25.8% saved)

bsearch72.0ms (0.5%)

Steps

Iters	Range		Point
7	3.671372991532673e-128	9.394308237067804e-126	9.209665878076369e-126
9	-4.630924523963084e+148	-1.8237462810436713e+141	-7.558298231144261e+141

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
9×	`+-commutative_binary64`
8×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	57
1	42	55
2	64	55
3	77	55
4	86	55
5	89	55
6	88	55

end2.0ms (0%)

Compiler: Compiled 40 to 27 computations (32.5% saved)

sample1.9s (12.1%)

Algorithm

1×

intervals

Results

419.0ms	1168×	body	2048	valid
397.0ms	5120×	body	128	valid
198.0ms	730×	body	1024	valid
173.0ms	423×	body	4096	valid
74.0ms	378×	body	512	valid
56.0ms	181×	body	256	valid
42.0ms	645×	body	128	nan
26.0ms	355×	body	128	invalid

Compiler

Compiled 366 to 261 computations (28.7% saved)

Details

analyze696.0ms (4.5%)

sample138.0ms (0.9%)

simplify352.0ms (2.3%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series198.0ms (1.3%)

rewrite34.0ms (0.2%)

simplify132.0ms (0.8%)

prune219.0ms (1.4%)

localize12.0ms (0.1%)

series732.0ms (4.7%)

rewrite34.0ms (0.2%)

simplify197.0ms (1.3%)

prune281.0ms (1.8%)

localize12.0ms (0.1%)

series521.0ms (3.3%)

rewrite73.0ms (0.5%)

simplify407.0ms (2.6%)

prune536.0ms (3.4%)

localize14.0ms (0.1%)

series3.3s (21.3%)

rewrite27.0ms (0.2%)

simplify141.0ms (0.9%)

prune728.0ms (4.7%)

regimes4.8s (30.9%)

bsearch72.0ms (0.5%)

simplify4.0ms (0%)

end2.0ms (0%)

sample1.9s (12.1%)

Profiling