Details

analyze1.3s (15.3%)

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

Results

1.3s	7942×	body	128	valid
158.0ms	992×	body	128	invalid
89.0ms	314×	body	256	valid

Compiler

Compiled 63 to 45 computations (28.6% saved)

simplify350.0ms (4%)

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

27.7b

Counts

3 → 2

Alt Table

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

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.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))
✓	27.5b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

series172.0ms (2%)

Counts

4 → 100

Calls

4 calls:

98.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
56.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
7.0ms	(.f64 (.f64 3 a) c)

rewrite30.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
10×	`add-log-exp_binary64`
10×	`add-sqr-sqrt_binary64`

Counts

4 → 93

Calls

4 calls:

9.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
8.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
5.0ms	(.f64 (.f64 3 a) c)
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

simplify125.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

791×	`fma-def_binary64`
309×	`fma-neg_binary64`
282×	`cancel-sign-sub-inv_binary64`
189×	`associate-r_binary64`
182×	`associate-l_binary64`

Counts

193 → 187

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	247	3732
1	687	3410
2	2579	3302
3	4808	3302
4	4889	3302

prune144.0ms (1.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	170	17	187
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	172	17	189

Error

1.0b

Counts

189 → 17

Alt Table

Status	Error	Program
	27.7b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 (.f64 3 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))))
	28.2b	(/.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))
	27.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
▶	6.4b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	30.5b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	8.7b	(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))))
	27.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 3 a)))) (fma.f64 (neg.f64 c) (.f64 3 a) (.f64 c (.f64 3 a)))))) (.f64 3 a))
	27.7b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	28.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 c a) (.f64 c a)) 9)) (fma.f64 3 (.f64 c a) (.f64 b b))))) (*.f64 3 a))
	46.5b	(/.f64 (log.f64 (.f64 (exp.f64 (neg.f64 b)) (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
	8.9b	(/.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (/.f64 -27/16 (/.f64 (pow.f64 b 5) (pow.f64 (.f64 c a) 3))))) (.f64 3 a))
	27.7b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	29.6b	(/.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))
	27.8b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) 3) (/.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))) a))
	27.7b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	27.8b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))) (.f64 3 a))
	6.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 (pow.f64 (.f64 c 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))

Compiler

Compiled 5986 to 3544 computations (40.8% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series317.0ms (3.6%)

Counts

4 → 132

Calls

4 calls:

115.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
105.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
75.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
21.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite44.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

155×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
50×	`pow-exp_binary64`
50×	`pow-to-exp_binary64`

Counts

4 → 210

Calls

4 calls:

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

simplify176.0ms (2%)

Algorithm

1×	egg-herbie

Rules

465×	`times-frac_binary64`
407×	`associate-/l*_binary64`
343×	`associate-l_binary64`
299×	`associate-r_binary64`
267×	`associate-/r*_binary64`

Counts

342 → 240

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	311	5722
1	668	5365
2	3933	5329
3	4956	5329
4	5075	5329

prune421.0ms (4.8%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	239	1	240
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	239	18	257

Error

1.0b

Counts

257 → 18

Alt Table

Status	Error	Program
	27.7b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 (.f64 3 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))))
	28.2b	(/.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))
	7.0b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	27.8b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) 3) (/.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))) a))
	27.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
✓	6.4b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	30.5b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	8.7b	(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))))
	27.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 3 a)))) (fma.f64 (neg.f64 c) (.f64 3 a) (.f64 c (.f64 3 a)))))) (.f64 3 a))
	27.7b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	28.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 c a) (.f64 c a)) 9)) (fma.f64 3 (.f64 c a) (.f64 b b))))) (*.f64 3 a))
	46.5b	(/.f64 (log.f64 (.f64 (exp.f64 (neg.f64 b)) (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
	8.9b	(/.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (/.f64 -27/16 (/.f64 (pow.f64 b 5) (pow.f64 (.f64 c a) 3))))) (.f64 3 a))
	27.7b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	29.6b	(/.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))
	27.7b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	27.8b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))) (.f64 3 a))
▶	6.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 (pow.f64 (.f64 c 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))

Compiler

Compiled 13293 to 8223 computations (38.1% saved)

localize35.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series147.0ms (1.7%)

Counts

4 → 84

Calls

4 calls:

105.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
16.0ms	(.f64 -3/2 (/.f64 (.f64 c a) b))
14.0ms	(pow.f64 (*.f64 c a) 3)
12.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite31.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`times-frac_binary64`
48×	`add-exp-log_binary64`
48×	`pow1_binary64`
36×	`add-sqr-sqrt_binary64`
36×	`unpow-prod-down_binary64`

Counts

4 → 185

Calls

4 calls:

6.0ms	(.f64 -3/2 (/.f64 (.f64 c a) b))
6.0ms	(.f64 (.f64 c a) (*.f64 c a))
5.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
3.0ms	(pow.f64 (*.f64 c a) 3)

simplify153.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

358×	`unswap-sqr_binary64`
328×	`associate-/l*_binary64`
312×	`fma-def_binary64`
282×	`log-prod_binary64`
243×	`times-frac_binary64`

Counts

269 → 202

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	240	3916
1	434	3607
2	2465	3471
3	4056	3471
4	4909	3471
5	5045	3471

prune370.0ms (4.2%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	193	9	202
Fresh	1	15	16
Picked	1	0	1
Done	0	1	1
Total	195	25	220

Error

0.9b

Counts

220 → 25

Alt Table

Status	Error	Program
	27.7b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 (.f64 3 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))))
	28.2b	(/.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))
	7.0b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	27.8b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) 3) (/.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))) a))
	7.4b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b))) (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)))) (cbrt.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 (pow.f64 (.f64 c 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.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
✓	6.4b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	30.5b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	24.0b	(/.f64 (-.f64 (log.f64 (exp.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 (pow.f64 (.f64 c 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.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 3 a)))) (fma.f64 (neg.f64 c) (.f64 3 a) (.f64 c (.f64 3 a)))))) (.f64 3 a))
	27.7b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	6.6b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 c a) b) -3/2) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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))
	8.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 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c 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.8b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))) (.f64 3 a))
	6.6b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (.f64 c a)) (/.f64 1 b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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.2b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (/.f64 c (.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (cbrt.f64 b))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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))
	8.9b	(/.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (/.f64 -27/16 (/.f64 (pow.f64 b 5) (pow.f64 (.f64 c a) 3))))) (.f64 3 a))
	28.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 c a) (.f64 c a)) 9)) (fma.f64 3 (.f64 c a) (.f64 b b))))) (*.f64 3 a))
	46.5b	(/.f64 (log.f64 (.f64 (exp.f64 (neg.f64 b)) (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
	27.7b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	29.6b	(/.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))
	6.8b	(/.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 -3/2 -3/2) -3/2) (/.f64 (.f64 (.f64 (.f64 c c) c) (.f64 (.f64 a a) a)) (.f64 (.f64 b b) b)))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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.7b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
▶	6.6b	(/.f64 (-.f64 (.f64 (.f64 c -3/2) (/.f64 a b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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.7b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (/.f64 c (sqrt.f64 b))) (/.f64 a (sqrt.f64 b))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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))

Compiler

Compiled 13740 to 8075 computations (41.2% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (.f64 c -3/2) (/.f64 a b))
	0.4b	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
	0.5b	(.f64 (.f64 c a) (*.f64 c a))
	0.7b	(pow.f64 (*.f64 c a) 3)

series16.0ms (0.2%)

Counts

1 → 36

Calls

1 calls:

16.0ms

(*.f64 (*.f64 c -3/2) (/.f64 a b))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-r_binary64`
13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
9×	`times-frac_binary64`
8×	`*-un-lft-identity_binary64`

Counts

1 → 35

Calls

1 calls:

6.0ms

(*.f64 (*.f64 c -3/2) (/.f64 a b))

simplify114.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

399×	`sqr-pow_binary64`
359×	`fma-neg_binary64`
355×	`associate-*r/_binary64`
310×	`associate-/l*_binary64`
291×	`fabs-mul_binary64`

Counts

71 → 55

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	84	876
1	219	786
2	862	786
3	2375	786
4	2575	786
5	2902	786
6	3471	786
7	4046	786
8	4720	786
9	4985	786

prune415.0ms (4.7%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	217	6	223
Fresh	5	18	23
Picked	1	0	1
Done	0	1	1
Total	223	25	248

Error

0.9b

Counts

248 → 25

Alt Table

Status	Error	Program
	27.7b	(/.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))) 3) a)
	6.7b	(/.f64 (-.f64 (.f64 (/.f64 (.f64 -3/2 c) (sqrt.f64 b)) (/.f64 a (sqrt.f64 b))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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.7b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 (.f64 3 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))))
	28.2b	(/.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))
	7.0b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	27.8b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) 3) (/.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))) a))
	7.4b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b))) (cbrt.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)))) (cbrt.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 (pow.f64 (.f64 c 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.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
✓	6.4b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	7.3b	(/.f64 (-.f64 (.f64 (.f64 (.f64 c -3/2) (.f64 (cbrt.f64 (/.f64 a b)) (cbrt.f64 (/.f64 a b)))) (cbrt.f64 (/.f64 a b))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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.7b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	23.9b	(/.f64 (-.f64 (log.f64 (exp.f64 (.f64 (.f64 c -3/2) (/.f64 a b)))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 3 a)))) (fma.f64 (neg.f64 c) (.f64 3 a) (.f64 c (.f64 3 a)))))) (.f64 3 a))
	27.7b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	8.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 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c 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.8b	(/.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 c -3/2) (.f64 c -3/2)) (.f64 c -3/2)) (.f64 (.f64 (/.f64 a b) (/.f64 a b)) (/.f64 a b)))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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.8b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))))) (.f64 3 a))
	7.2b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (/.f64 c (.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (cbrt.f64 b))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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))
	8.9b	(/.f64 (fma.f64 -3/2 (/.f64 (.f64 c a) b) (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (/.f64 -27/16 (/.f64 (pow.f64 b 5) (pow.f64 (.f64 c a) 3))))) (.f64 3 a))
	28.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 c a) (.f64 c a)) 9)) (fma.f64 3 (.f64 c a) (.f64 b b))))) (*.f64 3 a))
	46.5b	(/.f64 (log.f64 (.f64 (exp.f64 (neg.f64 b)) (exp.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (*.f64 3 a))
	29.6b	(/.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))
	6.7b	(/.f64 (-.f64 (.f64 (.f64 (.f64 -3/2 c) (sqrt.f64 a)) (/.f64 (sqrt.f64 a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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))
	30.5b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))))
	6.5b	(/.f64 (-.f64 (.f64 c (.f64 -3/2 (/.f64 a b))) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c 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))

Compiler

Compiled 13835 to 8207 computations (40.7% saved)

regimes1.5s (17.7%)

Accuracy

Total 4.5b remaining (86%)

Threshold costs 0b (0%)

Counts

171 → 2

Compiler

Compiled 41792 to 28127 computations (32.7% saved)

bsearch35.0ms (0.4%)

Steps

Iters	Range		Point
3	0.41984872423067204	0.5070089025045372	0.4982759683134188

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

23×	`*-commutative_binary64`
20×	`+-commutative_binary64`
18×	`sub-neg_binary64`
18×	`neg-sub0_binary64`
18×	`neg-mul-1_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	135
1	77	135
2	113	135
3	157	133
4	189	133
5	200	133
6	202	133
7	197	133

end1.0s (11.9%)

Compiler: Compiled 1358 to 872 computations (35.8% saved)

Details

analyze1.3s (15.3%)

sample1.7s (18.8%)

simplify350.0ms (4%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series172.0ms (2%)

rewrite30.0ms (0.3%)

simplify125.0ms (1.4%)

prune144.0ms (1.6%)

localize29.0ms (0.3%)

series317.0ms (3.6%)

rewrite44.0ms (0.5%)

simplify176.0ms (2%)

prune421.0ms (4.8%)

localize35.0ms (0.4%)

series147.0ms (1.7%)

rewrite31.0ms (0.4%)

simplify153.0ms (1.7%)

prune370.0ms (4.2%)

localize30.0ms (0.3%)

series16.0ms (0.2%)

rewrite9.0ms (0.1%)

simplify114.0ms (1.3%)

prune415.0ms (4.7%)

regimes1.5s (17.7%)

bsearch35.0ms (0.4%)

simplify8.0ms (0.1%)

end1.0s (11.9%)

Profiling