Details

analyze489.0ms (7.4%)

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.9s (29.3%)

Results

908.0ms	3046×	body	256	valid
798.0ms	5208×	body	128	valid
134.0ms	894×	body	128	invalid
1.0ms	2×	body	512	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify346.0ms (5.2%)

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

44.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	44.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
▶	44.0b	(/.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.1b	(-.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))
✓	38.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

series110.0ms (1.7%)

Counts

4 → 100

Calls

4 calls:

59.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
37.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)

rewrite108.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Counts

4 → 288

Calls

4 calls:

102.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
101.0ms	(.f64 (.f64 3 a) c)
101.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
101.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

simplify82.0ms (1.2%)

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

388 → 341

Iterations

Useful iterations: 3 (0.0ms)

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

prune215.0ms (3.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	335	6	341
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	335	8	343

Error

0.4b

Counts

343 → 8

Alt Table

Status	Error	Program
▶	3.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 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	5.7b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	3.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))
	4.3b	(/.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))
	44.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	43.1b	(/.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))
	43.4b	(/.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))
✓	44.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 10309 to 5648 computations (45.2% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series259.0ms (3.9%)

Counts

4 → 132

Calls

4 calls:

93.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
81.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
69.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
15.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

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

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify138.0ms (2.1%)

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 → 134

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

prune219.0ms (3.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	133	9	142

Error

0.4b

Counts

142 → 9

Alt Table

Status	Error	Program
	4.3b	(/.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	(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 a c)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
✓	3.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 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	5.7b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
▶	3.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))
	44.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	43.1b	(/.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))
	43.4b	(/.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))
✓	44.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 6706 to 4137 computations (38.3% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series190.0ms (2.9%)

Counts

4 → 60

Calls

4 calls:

97.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
65.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
18.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
10.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite114.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

281×	`log1p-udef_binary64`
280×	`expm1-udef_binary64`
163×	`add-sqr-sqrt_binary64`
163×	`log1p-expm1-u_binary64`
163×	`expm1-log1p-u_binary64`

Counts

4 → 131

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
1	357	40
2	4223	40
3	4993	40
4	5172	40

simplify160.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

620×	`times-frac_binary64`
581×	`sqr-pow_binary64`
507×	`unswap-sqr_binary64`
460×	`associate-/l*_binary64`
246×	`associate-/r*_binary64`

Counts

191 → 135

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	816
1	29	816
2	88	816
3	390	816
4	2482	816
5	3415	816
6	3369	816
7	3508	816
8	3672	816
9	3838	816
10	3998	816
11	4170	816
12	4395	816
13	4601	816
14	4900	816
15	4892	816

prune247.0ms (3.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	133	11	144

Error

0.4b

Counts

144 → 11

Alt Table

Status	Error	Program
	7.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))
✓	3.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 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
▶	4.3b	(/.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	(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 a c)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	6.7b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)))) 1) (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))
	5.7b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
✓	3.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))
	44.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	43.1b	(/.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))
	43.4b	(/.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))
✓	44.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 7845 to 4988 computations (36.4% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series182.0ms (2.8%)

Counts

2 → 36

Calls

2 calls:

95.0ms

(/.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))

87.0ms

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

rewrite73.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

252×	`add-sqr-sqrt_binary64`
243×	`log1p-expm1-u_binary64`
243×	`expm1-log1p-u_binary64`
239×	`add-cbrt-cube_binary64`
235×	`add-cube-cbrt_binary64`

Counts

2 → 38

Calls

2 calls:

72.0ms

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

72.0ms

(/.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))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	61
1	534	61
2	4960	61
3	5124	61

simplify49.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

716×	`associate-/r*_binary64`
439×	`fma-def_binary64`
435×	`associate-/r/_binary64`
434×	`fma-neg_binary64`
421×	`cancel-sign-sub-inv_binary64`

Counts

74 → 47

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	1200
1	98	1200
2	311	1146
3	1518	1123
4	5266	1123

prune194.0ms (2.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	1	6	7
Picked	1	0	1
Done	1	2	3
Total	122	10	132

Error

0.4b

Counts

132 → 10

Alt Table

Status	Error	Program
	6.7b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)))) 1) (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))
	4.3b	(.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -27/16 (.f64 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) -9/8))) (/.f64 1 (.f64 a 3)))
	7.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))
	5.7b	(fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (*.f64 -1/2 (/.f64 c b)))
	4.0b	(fma.f64 -1/2 (/.f64 c b) (.f64 a (-.f64 (.f64 (/.f64 (.f64 (pow.f64 c 3) -9/16) (pow.f64 b 5)) a) (/.f64 (.f64 3/8 (*.f64 c c)) (pow.f64 b 3)))))
✓	3.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))
	44.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	43.1b	(/.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))
	43.4b	(/.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))
✓	44.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 4850 to 2935 computations (39.5% saved)

regimes1.1s (16.3%)

Accuracy

Total 2.5b remaining (85.8%)

Threshold costs 0b (0%)

Counts

145 → 1

Compiler

Compiled 29166 to 20191 computations (30.8% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

28×	`*-commutative_binary64`
24×	`+-commutative_binary64`
21×	`sub-neg_binary64`
21×	`neg-sub0_binary64`
21×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	170	67
6	198	67
7	215	67
8	223	67
9	225	67
10	221	67

end252.0ms (3.8%)

Compiler: Compiled 439 to 310 computations (29.4% saved)

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	170	67
6	198	67
7	215	67
8	223	67
9	225	67
10	221	67

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	170	67
6	198	67
7	215	67
8	223	67
9	225	67
10	221	67

Details

analyze489.0ms (7.4%)

sample1.9s (29.3%)

simplify346.0ms (5.2%)

prune4.0ms (0.1%)

localize10.0ms (0.1%)

series110.0ms (1.7%)

rewrite108.0ms (1.6%)

simplify82.0ms (1.2%)

prune215.0ms (3.3%)

localize26.0ms (0.4%)

series259.0ms (3.9%)

rewrite79.0ms (1.2%)

simplify138.0ms (2.1%)

prune219.0ms (3.3%)

localize28.0ms (0.4%)

series190.0ms (2.9%)

rewrite114.0ms (1.7%)

simplify160.0ms (2.4%)

prune247.0ms (3.7%)

localize20.0ms (0.3%)

series182.0ms (2.8%)

rewrite73.0ms (1.1%)

simplify49.0ms (0.7%)

prune194.0ms (2.9%)

regimes1.1s (16.3%)

simplify6.0ms (0.1%)

end252.0ms (3.8%)

Profiling

Iter	Nodes	Cost
0	36	69
1	53	67
2	72	67
3	99	67
4	139	67
5	170	67
6	198	67
7	215	67
8	223	67
9	225	67
10	221	67