Details

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

sample140.0ms (1%)

Algorithm

1×

intervals

Results

11.0ms	159×	body	128	valid
11.0ms	32×	body	2048	valid
8.0ms	29×	body	1024	valid
5.0ms	13×	body	4096	valid
3.0ms	14×	body	512	valid
2.0ms	9×	body	256	valid
2.0ms	22×	body	128	nan
1.0ms	15×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify358.0ms (2.5%)

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

36.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	36.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	36.1b	(/.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)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	1.0b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	1.4b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	22.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series117.0ms (0.8%)

Counts

4 → 100

Calls

4 calls:

54.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
47.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
5.0ms	(.f64 (.f64 3 a) c)

rewrite92.0ms (0.6%)

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:

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

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

prune156.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	156	12	168
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	157	13	170

Error

11.4b

Counts

170 → 13

Alt Table

Status	Error	Program
	36.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	35.1b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	53.9b	(/.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))
	58.2b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
▶	34.9b	(/.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))
	36.8b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	37.1b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (.f64 3 a))
	37.7b	(/.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))
	36.9b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	36.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)) 0))) (*.f64 3 a))
	39.3b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))

Compiler

Compiled 4704 to 2772 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)))
✓	1.1b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
✓	12.1b	(sqrt.f64 (.f64 c (.f64 a -3)))

series453.0ms (3.1%)

Counts

4 → 48

Calls

4 calls:

245.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
180.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)))
23.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

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

simplify125.0ms (0.9%)

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

prune326.0ms (2.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	290	3	293
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	293	13	306

Error

11.4b

Counts

306 → 13

Alt Table

Status	Error	Program
	36.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	35.1b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	35.0b	(/.f64 (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 (sqrt.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))
	49.0b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b))) (.f64 3 a))
	53.9b	(/.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))
	58.2b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
▶	35.0b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a -3)))) b) b))) (.f64 3 a))
	37.1b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (.f64 3 a))
	37.7b	(/.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))
	36.9b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	39.3b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))

Compiler

Compiled 11847 to 7728 computations (34.8% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.1b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a -3)))) b) b)
	1.1b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
	12.1b	(sqrt.f64 (.f64 c (.f64 a -3)))
✓	12.1b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a -3))))

series217.0ms (1.5%)

Counts

2 → 12

Calls

2 calls:

192.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a -3)))) b) b)
25.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a -3))))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`pow1_binary64`
15×	`pow-prod-down_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`

Counts

2 → 48

Calls

2 calls:

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

simplify89.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

815×	`fma-neg_binary64`
541×	`associate-l_binary64`
379×	`associate-/r*_binary64`
363×	`associate-/l*_binary64`
356×	`fma-def_binary64`

Counts

60 → 83

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	137	2285
1	298	1089
2	907	1024
3	4033	1022
4	4818	1022
5	4915	1022

prune198.0ms (1.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	166	13	179

Error

11.4b

Counts

179 → 13

Alt Table

Status	Error	Program
	36.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	35.1b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
▶	35.0b	(/.f64 (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 (sqrt.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))
	49.0b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b))) (.f64 3 a))
	53.9b	(/.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))
	58.2b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
✓	35.0b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a -3)))) b) b))) (.f64 3 a))
	37.1b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (.f64 3 a))
	37.7b	(/.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))
	36.9b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	39.3b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))

Compiler

Compiled 8158 to 4749 computations (41.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sqrt.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.2b	(.f64 c (.f64 a -3))
	1.1b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
	12.1b	(sqrt.f64 (.f64 c (.f64 a -3)))

series4.6s (31.8%)

Counts

1 → 12

Calls

1 calls:

4.6s	(.f64 (sqrt.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)))

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`sqrt-prod_binary64`
28×	`add-sqr-sqrt_binary64`
18×	`sqrt-div_binary64`
13×	`pow1_binary64`
12×	`sqrt-pow1_binary64`

Counts

1 → 61

Calls

1 calls:

15.0ms

(*.f64 (sqrt.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)))

simplify86.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

646×	`times-frac_binary64`
563×	`associate-r_binary64`
476×	`associate-l_binary64`
298×	`associate-/l*_binary64`
250×	`associate-/r*_binary64`

Counts

73 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	3869
1	432	3283
2	1121	3018
3	5305	3018

prune565.0ms (3.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	440	0	440
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	440	13	453

Error

11.4b

Counts

453 → 13

Alt Table

Status	Error	Program
	36.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	35.1b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
✓	35.0b	(/.f64 (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 (sqrt.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))
	49.0b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b))) (.f64 3 a))
	53.9b	(/.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))
	58.2b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
✓	35.0b	(/.f64 (.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a -3)))) b) b))) (.f64 3 a))
	37.1b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)) (sqrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (.f64 3 a))
	37.7b	(/.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))
	36.9b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (*.f64 3 a))
	39.3b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))

Compiler

Compiled 23620 to 15859 computations (32.9% saved)

regimes4.0s (27.7%)

Accuracy

Total 2.9b remaining (21%)

Threshold costs 0b (0%)

Counts

163 → 4

Compiler

Compiled 23760 to 17025 computations (28.3% saved)

bsearch111.0ms (0.8%)

Steps

Iters	Range	Point
8	7.492986608895689e+48	7.722153886890488e+52	7.672052807609023e+49
10	1.7756203611580192e-158	2.9492284122905864e-139	1.4510006837108914e-139
5	-2.939971053163614e+154	-6.073290031967677e+136	-2.412892212611534e+148

Iters

Range

Point

7.492986608895689e+48

7.722153886890488e+52

7.672052807609023e+49

1.7756203611580192e-158

2.9492284122905864e-139

1.4510006837108914e-139

-2.939971053163614e+154

-6.073290031967677e+136

-2.412892212611534e+148

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	102
1	64	102
2	90	102
3	117	100
4	137	100
5	143	100
6	138	100

end1.0ms (0%)

Compiler: Compiled 70 to 47 computations (32.9% saved)

sample1.9s (13.3%)

Algorithm

1×

intervals

Results

409.0ms	5202×	body	128	valid
391.0ms	1091×	body	2048	valid
226.0ms	763×	body	1024	valid
167.0ms	391×	body	4096	valid
79.0ms	371×	body	512	valid
50.0ms	682×	body	128	nan
33.0ms	394×	body	128	invalid
25.0ms	182×	body	256	valid

Compiler

Compiled 420 to 292 computations (30.5% saved)

Details

analyze653.0ms (4.5%)

sample140.0ms (1%)

simplify358.0ms (2.5%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series117.0ms (0.8%)

rewrite92.0ms (0.6%)

simplify140.0ms (1%)

prune156.0ms (1.1%)

localize12.0ms (0.1%)

series453.0ms (3.1%)

rewrite34.0ms (0.2%)

simplify125.0ms (0.9%)

prune326.0ms (2.2%)

localize22.0ms (0.1%)

series217.0ms (1.5%)

rewrite17.0ms (0.1%)

simplify89.0ms (0.6%)

prune198.0ms (1.4%)

localize15.0ms (0.1%)

series4.6s (31.8%)

rewrite27.0ms (0.2%)

simplify86.0ms (0.6%)

prune565.0ms (3.9%)

regimes4.0s (27.7%)

bsearch111.0ms (0.8%)

simplify6.0ms (0%)

end1.0ms (0%)

sample1.9s (13.3%)

Profiling