Details

analyze711.0ms (5.2%)

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)

sample54.0ms (0.4%)

Algorithm

1×

intervals

Results

16.0ms	30×	body	2048	valid
11.0ms	170×	body	128	valid
6.0ms	23×	body	1024	valid
5.0ms	13×	body	4096	valid
2.0ms	12×	body	512	valid
1.0ms	16×	body	128	nan
1.0ms	8×	body	256	valid
1.0ms	14×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify362.0ms (2.6%)

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

31.7b

Counts

3 → 2

Alt Table

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

localize14.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.2b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series117.0ms (0.9%)

Counts

4 → 100

Calls

4 calls:

55.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)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
5.0ms	(.f64 (.f64 3 a) c)

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

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

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

prune153.0ms (1.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	154	14	168
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	155	15	170

Error

8.4b

Counts

170 → 15

Alt Table

Status	Error	Program
	48.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (sqrt.f64 c)) (sqrt.f64 c))))) (*.f64 3 a))
	33.1b	(/.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))
▶	30.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (*.f64 3 a))
	31.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (*.f64 3 a))
	31.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	55.9b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	34.2b	(/.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))
	45.5b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	31.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))))) (.f64 3 a))
	35.6b	(/.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.8b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b)))) (*.f64 3 a))
	42.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	53.0b	(/.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))
	32.4b	(/.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))
	33.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))

Compiler

Compiled 4854 to 2866 computations (41% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.9s (28.5%)

Counts

4 → 36

Calls

4 calls:

3.0s	(.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -3))) b) b)))
630.0ms	(cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))
294.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
21.0ms	(sqrt.f64 (.f64 c (.f64 a -3)))

rewrite31.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64`
39×	`*-un-lft-identity_binary64`
33×	`cbrt-prod_binary64`
21×	`add-cube-cbrt_binary64`
17×	`pow1_binary64`

Counts

4 → 119

Calls

4 calls:

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

simplify168.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

806×	`fma-def_binary64`
410×	`cancel-sign-sub-inv_binary64`
255×	`fma-neg_binary64`
237×	`associate-r_binary64`
195×	`unswap-sqr_binary64`

Counts

155 → 241

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	339	6491
1	788	5778
2	2825	5241
3	4993	5241
4	4929	5241

prune716.0ms (5.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	511	2	513
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	513	15	528

Error

8.4b

Counts

528 → 15

Alt Table

Status	Error	Program
	48.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (sqrt.f64 c)) (sqrt.f64 c))))) (*.f64 3 a))
	33.1b	(/.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))
	31.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	55.9b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	42.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	49.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b))) (*.f64 3 a))
	34.2b	(/.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))
	45.5b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	32.4b	(/.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))
▶	30.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)))) (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b))) 4)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 3 a))
	31.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))))) (.f64 3 a))
	35.6b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
	31.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (*.f64 3 a))
	53.0b	(/.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))
	33.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))

Compiler

Compiled 29366 to 19671 computations (33% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b)
	0.7b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)
	11.4b	(sqrt.f64 (.f64 c (.f64 a -3)))
✓	11.4b	(sqrt.f64 (.f64 -3 (.f64 c a)))

series219.0ms (1.6%)

Counts

2 → 12

Calls

2 calls:

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

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
8×	`pow1_binary64`

Counts

2 → 44

Calls

2 calls:

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

simplify67.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

968×	`fma-neg_binary64`
560×	`associate-l_binary64`
422×	`associate-/l*_binary64`
361×	`associate-/r*_binary64`
356×	`fma-def_binary64`

Counts

56 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	131	1477
1	279	1063
2	941	1005
3	4299	1005
4	5058	1005

prune509.0ms (3.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	319	0	319
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	319	15	334

Error

8.4b

Counts

334 → 15

Alt Table

Status	Error	Program
	48.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (sqrt.f64 c)) (sqrt.f64 c))))) (*.f64 3 a))
	33.1b	(/.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))
	31.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	55.9b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	42.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	49.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b))) (*.f64 3 a))
	34.2b	(/.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))
	45.5b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	32.4b	(/.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))
✓	30.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)))) (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b))) 4)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 3 a))
	31.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 (.f64 3 a) (.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))))) (.f64 3 a))
	35.6b	(/.f64 (/.f64 (.f64 3 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b))) (*.f64 3 a))
▶	31.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (*.f64 3 a))
	53.0b	(/.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))
	33.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))

Compiler

Compiled 22183 to 14593 computations (34.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (*.f64 3 a))
✓	0.7b	(fma.f64 (.f64 c a) -3 (.f64 b b))
✓	1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))
✓	22.4b	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))

series213.0ms (1.5%)

Counts

4 → 96

Calls

4 calls:

93.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (*.f64 3 a))
58.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b))))
50.0ms	(sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))
11.0ms	(fma.f64 (.f64 c a) -3 (.f64 b b))

rewrite22.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`
9×	`add-cbrt-cube_binary64`

Counts

4 → 82

Calls

4 calls:

10.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (*.f64 3 a))
6.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)))
0.0ms	(fma.f64 (.f64 c a) -3 (.f64 b b))

simplify174.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

609×	`fma-def_binary64`
361×	`fma-neg_binary64`
224×	`cancel-sign-sub-inv_binary64`
221×	`distribute-rgt-in_binary64`
183×	`distribute-lft-in_binary64`

Counts

178 → 193

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	235	4119
1	647	3744
2	2125	3630
3	4678	3624
4	4989	3624
5	5000	3624
6	4928	3624

prune180.0ms (1.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	186	7	193
Fresh	8	5	13
Picked	1	0	1
Done	0	1	1
Total	195	13	208

Error

3.8b

Counts

208 → 13

Alt Table

Status	Error	Program
	31.9b	(.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) (/.f64 1 (.f64 3 a)))
	43.0b	(fma.f64 1/2 (/.f64 c b) (*.f64 (/.f64 b a) -2/3))
	55.9b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	40.7b	(*.f64 -1/2 (/.f64 c b))
	42.7b	(/.f64 (.f64 -2 b) (.f64 3 a))
	29.8b	(.f64 1/3 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -3)))) b) a))
	49.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (.f64 a -3))) b) b))) (*.f64 3 a))
	31.8b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 c a) -3 (.f64 b b)))) 3) a)
	35.6b	(/.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.8b	(/.f64 1 (/.f64 3 (/.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b) a)))
	30.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b))) 3) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -3)))) b)) a))
	34.2b	(/.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))
✓	30.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b)))) (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -3 (.f64 c a))) b) b))) 4)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -3))) b) b))) (.f64 3 a))

Compiler

Compiled 5120 to 2902 computations (43.3% saved)

regimes4.0s (29.1%)

Accuracy

Total 4.3b remaining (43.1%)

Threshold costs 0b (0%)

Counts

188 → 4

Compiler

Compiled 25733 to 18061 computations (29.8% saved)

bsearch115.0ms (0.8%)

Steps

Iters	Range		Point
9	4052038.160187245	8976266781658.781	6606110945.941845
10	3.4791685098332452e-177	3.479389004581975e-164	7.17628680422661e-166
7	-2.2224728224592775e+129	-3.5153067338801225e+127	-7.518753900645323e+128

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
8×	`+-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	38	93
1	54	91
2	66	91
3	77	91
4	83	91
5	85	91
6	85	91

end1.0ms (0%)

Compiler: Compiled 64 to 41 computations (35.9% saved)

sample1.8s (13%)

Algorithm

1×

intervals

Results

380.0ms	1168×	body	2048	valid
358.0ms	5182×	body	128	valid
195.0ms	735×	body	1024	valid
153.0ms	398×	body	4096	valid
70.0ms	340×	body	512	valid
47.0ms	671×	body	128	nan
29.0ms	404×	body	128	invalid
22.0ms	177×	body	256	valid

Compiler

Compiled 399 to 277 computations (30.6% saved)

Details

analyze711.0ms (5.2%)

sample54.0ms (0.4%)

simplify362.0ms (2.6%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series117.0ms (0.9%)

rewrite27.0ms (0.2%)

simplify132.0ms (1%)

prune153.0ms (1.1%)

localize13.0ms (0.1%)

series3.9s (28.5%)

rewrite31.0ms (0.2%)

simplify168.0ms (1.2%)

prune716.0ms (5.2%)

localize27.0ms (0.2%)

series219.0ms (1.6%)

rewrite10.0ms (0.1%)

simplify67.0ms (0.5%)

prune509.0ms (3.7%)

localize13.0ms (0.1%)

series213.0ms (1.5%)

rewrite22.0ms (0.2%)

simplify174.0ms (1.3%)

prune180.0ms (1.3%)

regimes4.0s (29.1%)

bsearch115.0ms (0.8%)

simplify5.0ms (0%)

end1.0ms (0%)

sample1.8s (13%)

Profiling