Details

analyze354.0ms (6.1%)

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)

sample1.5s (25.9%)

Results

1.2s	7930×	body	128	valid
155.0ms	1032×	body	128	invalid
88.0ms	326×	body	256	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

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

28.8b

Counts

3 → 2

Alt Table

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

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	0.3b	(.f64 (.f64 3 a) c)
✓	0.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	28.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

series137.0ms (2.4%)

Counts

4 → 100

Calls

4 calls:

64.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
57.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(.f64 (.f64 3 a) c)

rewrite113.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

725×	`fma-def_binary64`
366×	`fma-neg_binary64`
285×	`egg-rr`
248×	`expm1-udef_binary64`
248×	`log1p-udef_binary64`

Counts

4 → 285

Calls

4 calls:

105.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
105.0ms	(.f64 (.f64 3 a) c)
105.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
105.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	66
1	297	56
2	3769	56
3	5480	56

simplify108.0ms (1.9%)

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

385 → 338

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	1940
1	368	1868
2	1240	1839
3	4908	1833
4	5068	1833

prune264.0ms (4.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	331	7	338
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	332	8	340

Error

0.7b

Counts

340 → 8

Alt Table

Status	Error	Program
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	6.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 3 a))
	27.9b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	8.0b	(/.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 3 a))
	28.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	28.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (fma.f64 c (.f64 a -3) (fma.f64 -3 (.f64 a c) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
▶	6.1b	(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)))))
	29.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))

Compiler

Compiled 10310 to 5655 computations (45.2% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series189.0ms (3.3%)

Counts

4 → 120

Calls

4 calls:

93.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
63.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
18.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
15.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite84.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

189×	`add-sqr-sqrt_binary64`
185×	`log1p-expm1-u_binary64`
185×	`expm1-log1p-u_binary64`
180×	`add-cbrt-cube_binary64`
178×	`add-log-exp_binary64`

Counts

4 → 124

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	49
1	413	49
2	4874	49
3	4912	49

simplify56.0ms (1%)

Algorithm

1×	egg-herbie

Rules

894×	`associate-/l*_binary64`
692×	`associate-l_binary64`
578×	`associate-r_binary64`
453×	`associate-/r*_binary64`
269×	`unswap-sqr_binary64`

Counts

244 → 130

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	1524
1	56	1524
2	177	1524
3	785	1524
4	4940	1524

prune197.0ms (3.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	129	9	138

Error

0.7b

Counts

138 → 9

Alt Table

Status	Error	Program
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
▶	6.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 3 a))
	27.9b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	8.0b	(/.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 3 a))
	28.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	12.0b	(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 (exp.f64 (log1p.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (fma.f64 c (.f64 a -3) (fma.f64 -3 (.f64 a c) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
✓	6.1b	(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)))))
	29.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))

Compiler

Compiled 6526 to 3992 computations (38.8% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
✓	0.4b	(/.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 3 a))
✓	0.5b	(.f64 (.f64 c a) (*.f64 c a))

series205.0ms (3.5%)

Counts

4 → 96

Calls

4 calls:

95.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
80.0ms	(/.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 3 a))
19.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
11.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite49.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

356×	`log1p-expm1-u_binary64`
356×	`expm1-log1p-u_binary64`
343×	`add-cbrt-cube_binary64`
340×	`add-log-exp_binary64`
339×	`add-exp-log_binary64`

Counts

4 → 65

Calls

4 calls:

47.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
47.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
47.0ms	(/.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 3 a))
47.0ms	(.f64 (.f64 c a) (*.f64 c a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	93
1	775	93
2	5239	93

simplify94.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

953×	`fma-neg_binary64`
399×	`distribute-rgt-neg-in_binary64`
323×	`unswap-sqr_binary64`
280×	`times-frac_binary64`
262×	`distribute-neg-frac_binary64`

Counts

161 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	50	2262
1	155	2262
2	543	2208
3	2733	2208
4	4814	2208
5	4997	2208

prune147.0ms (2.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	76	6	82
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	78	13	91

Error

0.7b

Counts

91 → 13

Alt Table

Status	Error	Program
▶	6.3b	(-.f64 (/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (.f64 a 3)) (/.f64 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (.f64 a 3)))
	28.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	27.9b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	8.0b	(/.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 3 a))
	6.6b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (*.f64 a 3)) 3))
	28.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (fma.f64 c (.f64 a -3) (fma.f64 -3 (.f64 a c) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
✓	6.1b	(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)))))
	6.3b	(pow.f64 (/.f64 (.f64 a 3) (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))))) -1)
	29.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	6.4b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (/.f64 1 (.f64 a 3)))
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	12.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 2) (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 3 a))
	7.0b	(.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (.f64 a 3))) 2) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (*.f64 a 3))))

Compiler

Compiled 5037 to 3291 computations (34.7% saved)

localize28.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (*.f64 a 3))
✓	0.5b	(pow.f64 (*.f64 c a) 2)
✓	0.7b	(pow.f64 (*.f64 c a) 3)
✓	0.9b	(pow.f64 (*.f64 c a) 4)

series176.0ms (3%)

Counts

4 → 108

Calls

4 calls:

140.0ms	(/.f64 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (*.f64 a 3))
15.0ms	(pow.f64 (*.f64 c a) 4)
12.0ms	(pow.f64 (*.f64 c a) 3)
8.0ms	(pow.f64 (*.f64 c a) 2)

rewrite72.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

273×	`log1p-expm1-u_binary64`
273×	`expm1-log1p-u_binary64`
263×	`add-cbrt-cube_binary64`
262×	`add-log-exp_binary64`
261×	`add-exp-log_binary64`

Counts

4 → 65

Calls

4 calls:

70.0ms	(/.f64 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (*.f64 a 3))
70.0ms	(pow.f64 (*.f64 c a) 2)
70.0ms	(pow.f64 (*.f64 c a) 3)
70.0ms	(pow.f64 (*.f64 c a) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	75
1	601	75
2	4887	75
3	4863	75

simplify64.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

536×	`unswap-sqr_binary64`
515×	`associate-/r/_binary64`
504×	`associate-*l/_binary64`
429×	`associate-/l/_binary64`
413×	`associate-*r/_binary64`

Counts

173 → 76

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	2181
1	101	2181
2	346	2181
3	1732	2082
4	4990	2082

prune150.0ms (2.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	11	11
Picked	1	0	1
Done	0	1	1
Total	76	13	89

Error

0.7b

Counts

89 → 13

Alt Table

Status	Error	Program
	27.9b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	8.0b	(/.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 3 a))
	6.6b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (*.f64 a 3)) 3))
	28.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (fma.f64 c (.f64 a -3) (fma.f64 -3 (.f64 a c) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
✓	6.1b	(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)))))
	6.3b	(pow.f64 (/.f64 (.f64 a 3) (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))))) -1)
	29.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	6.4b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (/.f64 1 (.f64 a 3)))
	28.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	30.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	7.4b	(-.f64 (/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (.f64 a 3)) (/.f64 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 c a) 3))) 1) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (.f64 a 3)))
	12.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 2) (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 3 a))
	7.0b	(.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (.f64 a 3))) 2) (cbrt.f64 (/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (*.f64 a 3))))

Compiler

Compiled 4490 to 2837 computations (36.8% saved)

regimes969.0ms (16.7%)

Accuracy

Total 4.6b remaining (86.1%)

Threshold costs 0b (0%)

Counts

125 → 2

Compiler

Compiled 23260 to 16304 computations (29.9% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
10×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	133
1	72	131
2	92	131
3	103	131
4	110	131
5	112	131
6	111	131

end400.0ms (6.9%)

Compiler: Compiled 752 to 493 computations (34.4% saved)

Details

analyze354.0ms (6.1%)

sample1.5s (25.9%)

simplify350.0ms (6%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

series137.0ms (2.4%)

rewrite113.0ms (2%)

simplify108.0ms (1.9%)

prune264.0ms (4.6%)

localize26.0ms (0.4%)

series189.0ms (3.3%)

rewrite84.0ms (1.5%)

simplify56.0ms (1%)

prune197.0ms (3.4%)

localize31.0ms (0.5%)

series205.0ms (3.5%)

rewrite49.0ms (0.8%)

simplify94.0ms (1.6%)

prune147.0ms (2.5%)

localize28.0ms (0.5%)

series176.0ms (3%)

rewrite72.0ms (1.2%)

simplify64.0ms (1.1%)

prune150.0ms (2.6%)

regimes969.0ms (16.7%)

bsearch7.0ms (0.1%)

simplify6.0ms (0.1%)

end400.0ms (6.9%)

Profiling