Details

analyze369.0ms (5.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 43 to 31 computations (27.9% saved)

sample2.4s (38.1%)

Results

1.1s	3960×	body	256	valid
606.0ms	1498×	body	512	valid
448.0ms	2798×	body	128	valid
122.0ms	824×	body	128	invalid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify346.0ms (5.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.1%)

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

55.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	55.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
▶	55.2b	(.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)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 a (.f64 c -3) (.f64 b b))
✓	0.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
✓	0.4b	(/.f64 1/3 a)
✓	27.1b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)

series105.0ms (1.7%)

Counts

4 → 76

Calls

4 calls:

58.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
36.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
9.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
1.0ms	(/.f64 1/3 a)

rewrite80.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

781×	`prod-diff_binary64`
245×	`log1p-udef_binary64`
168×	`egg-rr`
139×	`add-sqr-sqrt_binary64`
133×	`log1p-expm1-u_binary64`

Counts

4 → 168

Calls

4 calls:

76.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
76.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
76.0ms	(/.f64 1/3 a)
76.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	53
1	280	53
2	3406	53
3	5118	53

simplify70.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

744×	`times-frac_binary64`
459×	`associate-/l*_binary64`
396×	`associate-/r*_binary64`
333×	`fma-def_binary64`
308×	`fma-neg_binary64`

Counts

244 → 220

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	1772
1	368	1700
2	1240	1671
3	4908	1665
4	5068	1665

prune158.0ms (2.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	210	10	220
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	212	10	222

Error

0.2b

Counts

222 → 10

Alt Table

Status	Error	Program
▶	0.9b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	54.7b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	54.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	55.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
	54.4b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))))) (/.f64 1/3 a))
	1.9b	(.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3)) -9/8))) (/.f64 1/3 a))
	54.9b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	54.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	54.8b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))
	1.5b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (/.f64 1/3 a))

Compiler

Compiled 6362 to 3738 computations (41.2% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
✓	0.3b	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
✓	0.3b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
✓	0.4b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

series256.0ms (4.1%)

Counts

4 → 132

Calls

4 calls:

92.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
82.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
63.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
18.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite76.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

224×	`add-sqr-sqrt_binary64`
220×	`log1p-expm1-u_binary64`
220×	`expm1-log1p-u_binary64`
213×	`add-cbrt-cube_binary64`
212×	`add-log-exp_binary64`

Counts

4 → 127

Calls

4 calls:

73.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
73.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
73.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
73.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	55
1	487	55
2	4934	55
3	5057	55

simplify140.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

734×	`associate-l_binary64`
679×	`associate-/r*_binary64`
308×	`associate-/l/_binary64`
297×	`associate-/r/_binary64`
285×	`unswap-sqr_binary64`

Counts

259 → 133

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	1860
1	65	1860
2	212	1860
3	1010	1860
4	4138	1860
5	4230	1860
6	4416	1860
7	4705	1860
8	4974	1860
9	4904	1860

prune215.0ms (3.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	133	10	143

Error

0.2b

Counts

143 → 10

Alt Table

Status	Error	Program
✓	0.9b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	54.7b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	54.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	55.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
	54.4b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))))) (/.f64 1/3 a))
	1.9b	(.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3)) -9/8))) (/.f64 1/3 a))
	54.9b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	54.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	54.8b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))
▶	1.5b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (/.f64 1/3 a))

Compiler

Compiled 6858 to 4220 computations (38.5% saved)

localize35.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (pow.f64 c 3) (pow.f64 a 3))
	0.4b	(/.f64 1/3 a)
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
✓	0.5b	(.f64 (.f64 c a) (*.f64 c a))

series114.0ms (1.8%)

Counts

3 → 24

Calls

3 calls:

86.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
18.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 3))
10.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite63.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

685×	`log-prod_binary64`
220×	`expm1-udef_binary64`
220×	`log1p-udef_binary64`
208×	`log-pow_binary64`
129×	`add-sqr-sqrt_binary64`

Counts

3 → 83

Calls

3 calls:

61.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 3))
61.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
61.0ms	(.f64 (.f64 c a) (*.f64 c a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	27
1	282	27
2	3180	27
3	5420	27

simplify164.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1022×	`sqr-pow_binary64`
785×	`associate-l_binary64`
636×	`*-commutative_binary64`
598×	`fabs-mul_binary64`
578×	`cube-prod_binary64`

Counts

107 → 85

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	240
1	16	240
2	35	240
3	88	240
4	295	240
5	1349	240
6	1413	240
7	1542	240
8	1721	240
9	1930	240
10	2180	240
11	2322	240
12	2724	240
13	3047	240
14	3626	240
15	3983	240
16	4262	240
17	4371	240
18	4402	240
19	4414	240
20	4876	240

prune186.0ms (3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	106	12	118

Error

0.2b

Counts

118 → 12

Alt Table

Status	Error	Program
	54.4b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))))) (/.f64 1/3 a))
▶	1.6b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (cbrt.f64 (pow.f64 (/.f64 1/3 a) 3)))
✓	0.9b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	54.7b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	54.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	55.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
	2.3b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	1.9b	(.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3)) -9/8))) (/.f64 1/3 a))
	54.9b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	54.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	54.8b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))
	2.3b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (.f64 (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 2) (cbrt.f64 (/.f64 1/3 a))))

Compiler

Compiled 6768 to 4230 computations (37.5% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
	0.5b	(.f64 (.f64 c a) (*.f64 c a))
✓	0.6b	(cbrt.f64 (pow.f64 (/.f64 1/3 a) 3))
✓	0.7b	(pow.f64 (/.f64 1/3 a) 3)

series11.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

8.0ms	(cbrt.f64 (pow.f64 (/.f64 1/3 a) 3))
3.0ms	(pow.f64 (/.f64 1/3 a) 3)

rewrite47.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

554×	`log1p-expm1-u_binary64`
554×	`expm1-log1p-u_binary64`
440×	`unpow-prod-down_binary64`
251×	`log-prod_binary64`
150×	`pow2_binary64`

Counts

2 → 116

Calls

2 calls:

45.0ms	(cbrt.f64 (pow.f64 (/.f64 1/3 a) 3))
45.0ms	(pow.f64 (/.f64 1/3 a) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	136	11
2	1468	11
3	5279	11

simplify140.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1032×	`sqr-pow_binary64`
522×	`pow-sqr_binary64`
471×	`cube-prod_binary64`
456×	`associate-/r*_binary64`
430×	`fabs-mul_binary64`

Counts

140 → 119

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	164
1	25	164
2	42	164
3	62	164
4	99	164
5	192	164
6	482	164
7	1272	164
8	1270	164
9	1375	164
10	1520	164
11	1653	164
12	1848	164
13	2149	164
14	2497	164
15	2972	164
16	3590	164
17	3786	164
18	3960	164
19	4074	164
20	4121	164
21	4173	164
22	4724	164

prune278.0ms (4.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	181	4	185
Fresh	3	7	10
Picked	1	0	1
Done	0	1	1
Total	185	12	197

Error

0.2b

Counts

197 → 12

Alt Table

Status	Error	Program
	54.4b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))))) (/.f64 1/3 a))
	1.5b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (/.f64 -1/3 (neg.f64 a)))
	54.9b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	2.0b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (.f64 (pow.f64 (cbrt.f64 1/3) 3) (/.f64 1 a)))
✓	0.9b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	1.6b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (.f64 (pow.f64 1/27 1/3) (/.f64 1 a)))
	54.7b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	54.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	55.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
	2.0b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 a 3)) 2) -1) (cbrt.f64 (/.f64 1/3 a))))
	54.1b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	54.8b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))

Compiler

Compiled 11243 to 7217 computations (35.8% saved)

regimes604.0ms (9.6%)

Accuracy

Total 1.4b remaining (88%)

Threshold costs 0b (0%)

Counts

79 → 1

Compiler

Compiled 17611 to 12151 computations (31% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	61
1	36	61
2	36	61

end340.0ms (5.4%)

Compiler: Compiled 614 to 418 computations (31.9% saved)

Details

analyze369.0ms (5.9%)

sample2.4s (38.1%)

simplify346.0ms (5.5%)

prune4.0ms (0.1%)

localize9.0ms (0.2%)

series105.0ms (1.7%)

rewrite80.0ms (1.3%)

simplify70.0ms (1.1%)

prune158.0ms (2.5%)

localize28.0ms (0.4%)

series256.0ms (4.1%)

rewrite76.0ms (1.2%)

simplify140.0ms (2.2%)

prune215.0ms (3.4%)

localize35.0ms (0.6%)

series114.0ms (1.8%)

rewrite63.0ms (1%)

simplify164.0ms (2.6%)

prune186.0ms (3%)

localize33.0ms (0.5%)

series11.0ms (0.2%)

rewrite47.0ms (0.7%)

simplify140.0ms (2.2%)

prune278.0ms (4.4%)

regimes604.0ms (9.6%)

simplify4.0ms (0.1%)

end340.0ms (5.4%)

Profiling