Details

analyze342.0ms (3.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)

sample1.5s (17.1%)

Results

1.2s	7913×	body	128	valid
141.0ms	1018×	body	128	invalid
90.0ms	343×	body	256	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

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

29.7b

Counts

3 → 2

Alt Table

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

series145.0ms (1.7%)

Counts

4 → 100

Calls

4 calls:

81.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
49.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(.f64 (.f64 3 a) c)

rewrite345.0ms (3.9%)

Algorithm

4×	egg-rewrite

Rules

240×	`egg`
64×	`egg`
57×	`egg`
56×	`egg`

Counts

4 → 417

Calls

4 calls:

116.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
95.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
78.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
45.0ms	(.f64 (.f64 3 a) c)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	20
1	270	16
2	3245	16
3	4976	16
4	4950	16
0	13	26
1	297	22
2	3769	22
3	5480	22
0	6	7
1	121	7
2	1361	7
3	5026	7
0	9	13
1	198	11
2	2433	11
3	4994	11
4	4988	11

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

517 → 467

Iterations

Useful iterations: 3 (0.0ms)

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

prune301.0ms (3.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	459	8	467
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	460	9	469

Error

0.7b

Counts

469 → 9

Alt Table

Status	Error	Program
▶	5.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.9b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b))))
	5.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))
	7.1b	(/.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))
	30.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))
	31.2b	(/.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))
	29.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	28.5b	(/.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))
	29.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 14822 to 8535 computations (42.4% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 a a) (pow.f64 c 3))
✓	0.3b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
✓	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))

series240.0ms (2.7%)

Counts

4 → 120

Calls

4 calls:

115.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
91.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
18.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
16.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite275.0ms (3.1%)

Algorithm

4×	egg-rewrite

Rules

67×	`egg`
62×	`egg`
54×	`egg`
34×	`egg`

Counts

4 → 217

Calls

4 calls:

89.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
78.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
56.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
48.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	16
1	261	16
2	2886	16
3	4999	16
4	5243	16
0	8	10
1	168	10
2	1652	10
3	4958	10
4	4860	10
0	11	16
1	237	16
2	2782	16
3	4890	16
0	7	10
1	144	10
2	1516	10
3	5530	10

simplify167.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

818×	`associate-/l*_binary64`
441×	`associate-/r*_binary64`
414×	`associate-l_binary64`
372×	`associate-r_binary64`
353×	`sqr-pow_binary64`

Counts

337 → 221

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1632
1	52	1632
2	165	1632
3	705	1632
4	3868	1632
5	3945	1632
6	4120	1632
7	4416	1632
8	4685	1632
9	4997	1632
10	4873	1632

prune422.0ms (4.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	218	3	221
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	219	11	230

Error

0.7b

Counts

230 → 11

Alt Table

Status	Error	Program
✓	5.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)))))
	5.7b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (cbrt.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))) (log.f64 (cbrt.f64 (exp.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.8b	(fma.f64 (/.f64 (log.f64 (pow.f64 (pow.f64 (exp.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.9b	(fma.f64 (log.f64 (exp.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)))))
▶	5.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))
	7.1b	(/.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))
	30.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))
	31.2b	(/.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))
	29.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	28.5b	(/.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))
	29.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 11137 to 6924 computations (37.8% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series184.0ms (2.1%)

Counts

4 → 96

Calls

4 calls:

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

rewrite235.0ms (2.7%)

Algorithm

4×	egg-rewrite

Rules

80×	`egg`
71×	`egg`
62×	`egg`
23×	`egg`

Counts

4 → 236

Calls

4 calls:

85.0ms	(.f64 (.f64 c a) (*.f64 c a))
55.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
48.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 3))
43.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))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	103	7
2	1194	7
3	4997	7
4	6447	7
0	34	66
1	775	66
2	5239	66
0	7	7
1	146	7
2	1509	7
3	5582	7
0	9	13
1	194	13
2	2463	13
3	4914	13

simplify95.0ms (1.1%)

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

332 → 248

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

prune454.0ms (5.2%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	242	6	248
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	243	16	259

Error

0.6b

Counts

259 → 16

Alt Table

Status	Error	Program
✓	5.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)))))
	5.7b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (cbrt.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))) (log.f64 (cbrt.f64 (exp.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)))))
	7.1b	(/.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))
	24.2b	(-.f64 (exp.f64 (log1p.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)))) 1)
	30.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))
▶	5.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 (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)))
	31.2b	(/.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))
	13.0b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)))) 2)) (log.f64 (cbrt.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))
	28.5b	(/.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))
	23.2b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (log.f64 (exp.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))
	6.1b	(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))) 3)
	29.8b	(fma.f64 (/.f64 (log.f64 (pow.f64 (pow.f64 (exp.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.9b	(fma.f64 (log.f64 (exp.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)))))
	5.5b	(.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)))
	29.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	29.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 14327 to 9177 computations (35.9% saved)

localize27.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 a 3))
✓	0.5b	(pow.f64 (*.f64 c a) 2)
✓	0.8b	(pow.f64 (*.f64 c a) 3)
✓	0.9b	(pow.f64 (*.f64 c a) 4)

series46.0ms (0.5%)

Counts

4 → 108

Calls

4 calls:

15.0ms	(pow.f64 (*.f64 c a) 4)
13.0ms	(pow.f64 (*.f64 c a) 3)
10.0ms	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 a 3))
7.0ms	(pow.f64 (*.f64 c a) 2)

rewrite240.0ms (2.7%)

Algorithm

4×	egg-rewrite

Rules

76×	`egg`
68×	`egg`
54×	`egg`
53×	`egg`

Counts

4 → 251

Calls

4 calls:

85.0ms	(pow.f64 (*.f64 c a) 2)
65.0ms	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 a 3))
43.0ms	(pow.f64 (*.f64 c a) 3)
43.0ms	(pow.f64 (*.f64 c a) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	127	7
2	1346	7
3	5001	7
0	6	7
1	126	7
2	1332	7
3	4932	7
0	6	7
1	124	7
2	1250	7
3	4902	7
4	6409	7
0	11	16
1	242	13
2	3434	13
3	4939	13

simplify154.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

651×	`sqr-pow_binary64`
633×	`associate-/r*_binary64`
536×	`associate-*l/_binary64`
399×	`*-commutative_binary64`
303×	`unswap-sqr_binary64`

Counts

359 → 255

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	19	972
1	46	972
2	118	972
3	405	972
4	688	828
5	724	828
6	949	756
7	1562	756
8	2226	756
9	3919	756
10	3985	756
11	4183	756
12	4434	756
13	4681	756
14	4852	756

prune466.0ms (5.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	248	7	255
Fresh	4	10	14
Picked	1	0	1
Done	1	0	1
Total	254	17	271

Error

0.6b

Counts

271 → 17

Alt Table

Status	Error	Program
	5.4b	(-.f64 (/.f64 -3/2 (.f64 (.f64 a 3) (/.f64 b (.f64 c a)))) (/.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)))
	5.7b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (cbrt.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))))) (log.f64 (cbrt.f64 (exp.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.8b	(fma.f64 (/.f64 (log.f64 (pow.f64 (pow.f64 (exp.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.1b	(-.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b))) 2) a) (/.f64 (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b))) 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.5b	(/.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))
	23.2b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (log.f64 (exp.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))
	29.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	5.1b	(-.f64 (.f64 -1/2 (/.f64 c b)) (/.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)))
	6.1b	(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))) 3)
	5.8b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 c a) b) (cbrt.f64 (.f64 (.f64 a a) 9))) (/.f64 -3/2 (cbrt.f64 (.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)))
	6.9b	(fma.f64 (log.f64 (exp.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)))))
	5.8b	(-.f64 (.f64 (/.f64 -3/2 (cbrt.f64 (.f64 (.f64 a a) 9))) (/.f64 (/.f64 (.f64 c a) b) (cbrt.f64 (.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)))
	5.6b	(-.f64 (cbrt.f64 (pow.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 c a) b) 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)))
	30.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))
	31.2b	(/.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))
	29.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	6.2b	(-.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b))) 2) (/.f64 (.f64 a 3) (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b))))) (/.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)))

Compiler

Compiled 14710 to 9007 computations (38.8% saved)

regimes2.0s (22.7%)

Accuracy

Total 5.2b remaining (88%)

Threshold costs 0b (0%)

Counts

160 → 1

Compiler

Compiled 30791 to 21646 computations (29.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	63
1	37	63
2	44	63
3	48	63
4	51	63
5	52	63
6	52	63

end599.0ms (6.8%)

Compiler: Compiled 881 to 605 computations (31.3% saved)

Details

analyze342.0ms (3.9%)

sample1.5s (17.1%)

simplify381.0ms (4.3%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series145.0ms (1.7%)

rewrite345.0ms (3.9%)

simplify95.0ms (1.1%)

prune301.0ms (3.4%)

localize25.0ms (0.3%)

series240.0ms (2.7%)

rewrite275.0ms (3.1%)

simplify167.0ms (1.9%)

prune422.0ms (4.8%)

localize30.0ms (0.3%)

series184.0ms (2.1%)

rewrite235.0ms (2.7%)

simplify95.0ms (1.1%)

prune454.0ms (5.2%)

localize27.0ms (0.3%)

series46.0ms (0.5%)

rewrite240.0ms (2.7%)

simplify154.0ms (1.8%)

prune466.0ms (5.3%)

regimes2.0s (22.7%)

simplify4.0ms (0%)

end599.0ms (6.8%)

Profiling