Details

analyze1.1s (6.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
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)

sample59.0ms (0.4%)

Algorithm

1×

intervals

Results

15.0ms	37×	body	2048	valid
13.0ms	158×	body	128	valid
8.0ms	19×	body	4096	valid
6.0ms	21×	body	1024	valid
3.0ms	15×	body	512	valid
1.0ms	21×	body	128	nan
1.0ms	13×	body	128	invalid
1.0ms	6×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

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

37.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	37.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	37.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 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	0.8b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	0.8b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	25.7b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

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

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

series192.0ms (1.2%)

Counts

4 → 96

Calls

4 calls:

76.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
47.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
38.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
30.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

simplify146.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

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

Counts

186 → 344

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	4286
1	716	3943
2	2528	3797
3	4700	3771
4	5026	3771

prune194.0ms (1.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	328	16	344
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	329	17	346

Error

4.8b

Counts

346 → 17

Alt Table

Status	Error	Program
	46.3b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (.f64 (.f64 3 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.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))))))))
	34.1b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	44.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	37.8b	(*.f64 -1/2 (/.f64 c b))
	39.7b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
▶	32.3b	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) 3) a)
	37.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
	42.6b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	54.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	37.5b	(/.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)))))))
	37.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	48.4b	(/.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 (.f64 3 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))))
	32.4b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) a)))
	32.4b	(.f64 1/3 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b) a))
	44.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	44.4b	(*.f64 -2/3 (/.f64 b a))
	36.0b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))

Compiler

Compiled 6101 to 3618 computations (40.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite29.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-/l*_binary64`

Counts

4 → 161

Calls

4 calls:

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

series418.0ms (2.6%)

Counts

4 → 48

Calls

4 calls:

232.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) 3) a)
147.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
23.0ms	(.f64 c (.f64 a -3))
16.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))

simplify231.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

521×	`fma-def_binary64`
330×	`cancel-sign-sub-inv_binary64`
290×	`div-sub_binary64`
222×	`fma-neg_binary64`
199×	`associate-/l/_binary64`

Counts

209 → 374

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	378	6212
1	888	5567
2	3012	5485
3	4690	5484
4	4987	5484

prune285.0ms (1.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	369	5	374
Fresh	7	9	16
Picked	1	0	1
Done	0	0	0
Total	377	14	391

Error

2.9b

Counts

391 → 14

Alt Table

Status	Error	Program
	46.3b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (.f64 (.f64 3 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.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))))))))
	32.4b	(.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b) 1) (/.f64 (/.f64 1 3) a))
	50.5b	(exp.f64 (-.f64 (log.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) 3)) (log.f64 a)))
	46.7b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b) 3) a)
	38.0b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
	44.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	37.8b	(*.f64 -1/2 (/.f64 c b))
	42.6b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	54.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
▶	32.4b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (cbrt.f64 3)) a))
	44.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	44.4b	(*.f64 -2/3 (/.f64 b a))
	37.5b	(/.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)))))))
	36.0b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))

Compiler

Compiled 8870 to 5637 computations (36.4% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

252×	`times-frac_binary64`
186×	`*-un-lft-identity_binary64`
186×	`add-sqr-sqrt_binary64`
124×	`add-cube-cbrt_binary64`
78×	`cbrt-prod_binary64`

Counts

2 → 215

Calls

2 calls:

10.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (cbrt.f64 3)) a)
6.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (cbrt.f64 3))

series469.0ms (2.9%)

Counts

2 → 24

Calls

2 calls:

265.0ms	(/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (cbrt.f64 3)) a)
204.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (cbrt.f64 3))

simplify286.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

723×	`fma-def_binary64`
385×	`associate-*l/_binary64`
285×	`associate-/r/_binary64`
285×	`associate-/l/_binary64`
284×	`fma-neg_binary64`

Counts

239 → 466

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	362	10245
1	918	9963
2	2576	9926
3	4536	9922
4	5051	9922

prune479.0ms (2.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	549	2	551
Fresh	2	11	13
Picked	0	1	1
Done	0	0	0
Total	551	14	565

Error

2.9b

Counts

565 → 14

Alt Table

Status	Error	Program
▶	32.4b	(.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b) 1) (/.f64 (/.f64 1 3) a))
	50.5b	(exp.f64 (-.f64 (log.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) 3)) (log.f64 a)))
	46.7b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b) 3) a)
	38.0b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
	44.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	37.8b	(*.f64 -1/2 (/.f64 c b))
	44.4b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (.f64 -2 (/.f64 b (.f64 a (cbrt.f64 3)))))
	42.6b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	54.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
✓	32.4b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (cbrt.f64 3)) a))
	46.7b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 -3 a))) b) b) (cbrt.f64 3)) a))
	44.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	37.5b	(/.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)))))))
	36.0b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))

Compiler

Compiled 18292 to 13731 computations (24.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite43.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

179×	`times-frac_binary64`
134×	`add-sqr-sqrt_binary64`
101×	`*-un-lft-identity_binary64`
88×	`add-cube-cbrt_binary64`
61×	`add-exp-log_binary64`

Counts

2 → 183

Calls

2 calls:

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

series243.0ms (1.5%)

Counts

2 → 24

Calls

2 calls:

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

simplify170.0ms (1%)

Algorithm

1×	egg-herbie

Rules

728×	`fma-def_binary64`
471×	`associate-/r*_binary64`
416×	`associate-/l/_binary64`
300×	`associate-/r/_binary64`
211×	`distribute-rgt-in_binary64`

Counts

207 → 391

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	238	4948
1	549	4475
2	1953	4352
3	4764	4350
4	5303	4350

prune324.0ms (2%)

Pruning

14 alts after pruning (12 fresh and 2 done)

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

Error

2.9b

Counts

575 → 14

Alt Table

Status	Error	Program
✓	32.4b	(.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b) 1) (/.f64 (/.f64 1 3) a))
	50.5b	(exp.f64 (-.f64 (log.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) 3)) (log.f64 a)))
	46.7b	(/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b) 3) a)
	38.0b	(.f64 1/6 (/.f64 (.f64 -3 c) b))
	44.4b	(/.f64 (.f64 -2 b) (.f64 3 a))
	37.8b	(*.f64 -1/2 (/.f64 c b))
	44.4b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (.f64 -2 (/.f64 b (.f64 a (cbrt.f64 3)))))
	42.6b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	54.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
✓	32.4b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (/.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b) (cbrt.f64 3)) a))
	46.7b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 3) (cbrt.f64 3))) 1) (/.f64 (/.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 -3 a))) b) b) (cbrt.f64 3)) a))
	44.5b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	37.5b	(/.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)))))))
	36.0b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))

Compiler

Compiled 9677 to 6864 computations (29.1% saved)

regimes9.1s (56.1%)

Accuracy

Total 7.6b remaining (72.1%)

Threshold costs 0b (0%)

Compiler

Compiled 44669 to 33324 computations (25.4% saved)

bsearch74.0ms (0.5%)

Steps

Iters	Range		Point
7	4.045186156228274e-130	1.0103358708503428e-128	6.659820644835131e-129
9	-4.792074613756323e+146	-1.8482338933285204e+137	-1.0122084336907998e+145

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
7×	`+-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	31	56
1	46	54
2	64	54
3	73	54
4	79	54
5	81	54
6	78	54

end7.0ms (0%)

Compiler: Compiled 40 to 28 computations (30% saved)

sample1.9s (11.9%)

Algorithm

1×

intervals

Results

406.0ms	1105×	body	2048	valid
405.0ms	5164×	body	128	valid
216.0ms	448×	body	4096	valid
207.0ms	732×	body	1024	valid
76.0ms	367×	body	512	valid
46.0ms	669×	body	128	nan
35.0ms	382×	body	128	invalid
25.0ms	184×	body	256	valid

Compiler

Compiled 332 to 248 computations (25.3% saved)

Details

analyze1.1s (6.6%)

sample59.0ms (0.4%)

simplify368.0ms (2.3%)

prune4.0ms (0%)

localize10.0ms (0.1%)

rewrite29.0ms (0.2%)

series192.0ms (1.2%)

simplify146.0ms (0.9%)

prune194.0ms (1.2%)

localize12.0ms (0.1%)

rewrite29.0ms (0.2%)

series418.0ms (2.6%)

simplify231.0ms (1.4%)

prune285.0ms (1.7%)

localize17.0ms (0.1%)

rewrite36.0ms (0.2%)

series469.0ms (2.9%)

simplify286.0ms (1.8%)

prune479.0ms (2.9%)

localize13.0ms (0.1%)

rewrite43.0ms (0.3%)

series243.0ms (1.5%)

simplify170.0ms (1%)

prune324.0ms (2%)

regimes9.1s (56.1%)

bsearch74.0ms (0.5%)

simplify5.0ms (0%)

end7.0ms (0%)

sample1.9s (11.9%)

Profiling