Details

analyze369.0ms (5.6%)

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 (28.5%)

Results

823.0ms	2995×	body	256	valid
806.0ms	5261×	body	128	valid
140.0ms	931×	body	128	invalid

Compiler

Compiled 106 to 76 computations (28.3% saved)

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

41.7b

Counts

3 → 2

Alt Table

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

localize9.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))
✓	37.2b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

series114.0ms (1.7%)

Counts

4 → 100

Calls

4 calls:

56.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
41.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
12.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(.f64 (.f64 3 a) c)

rewrite29.0ms (0.4%)

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:

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

simplify114.0ms (1.7%)

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

prune137.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	175	12	187
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	177	12	189

Error

0.5b

Counts

189 → 12

Alt Table

Status	Error	Program
	41.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
	41.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))
	41.7b	(/.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)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))
	4.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))
	5.7b	(/.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))
	41.1b	(/.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))
	42.0b	(/.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))
	41.7b	(/.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)))))) (/.f64 (.f64 3 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	41.7b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (.f64 (.f64 3 a) (+.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))))))))
▶	4.2b	(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)))))))
	41.7b	(.f64 (/.f64 1 3) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) a))
	41.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))))

Compiler

Compiled 5636 to 3316 computations (41.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 (.f64 c (.f64 c a)) (pow.f64 b 3))
✓	0.4b	(/.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))

series177.0ms (2.7%)

Counts

4 → 120

Calls

4 calls:

87.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
59.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
18.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
13.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite43.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

112×	`add-exp-log_binary64`
54×	`prod-exp_binary64`
42×	`add-sqr-sqrt_binary64`
39×	`div-exp_binary64`
39×	`pow-exp_binary64`

Counts

4 → 194

Calls

4 calls:

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

simplify154.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

381×	`associate-l_binary64`
354×	`times-frac_binary64`
322×	`associate-r_binary64`
274×	`log-div_binary64`
272×	`associate-/l*_binary64`

Counts

314 → 226

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	272	4804
1	586	4461
2	3216	4382
3	4601	4382
4	5008	4382

prune366.0ms (5.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	226	0	226
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	226	12	238

Error

0.5b

Counts

238 → 12

Alt Table

Status	Error	Program
	41.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
	41.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))
	41.7b	(/.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)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))
▶	4.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))
	5.7b	(/.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))
	41.1b	(/.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))
	42.0b	(/.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))
	41.7b	(/.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)))))) (/.f64 (.f64 3 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	41.7b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (.f64 (.f64 3 a) (+.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))))))))
✓	4.2b	(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)))))))
	41.7b	(.f64 (/.f64 1 3) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) a))
	41.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))))

Compiler

Compiled 12059 to 7420 computations (38.5% saved)

localize30.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 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
✓	0.5b	(.f64 (.f64 c a) (*.f64 c a))
✓	0.8b	(pow.f64 (*.f64 c a) 3)

series132.0ms (2%)

Counts

4 → 48

Calls

4 calls:

94.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
17.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
11.0ms	(pow.f64 (*.f64 c a) 3)
10.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite30.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`add-exp-log_binary64`
46×	`pow1_binary64`
45×	`prod-exp_binary64`
36×	`pow-exp_binary64`
35×	`pow-to-exp_binary64`

Counts

4 → 163

Calls

4 calls:

6.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
5.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
5.0ms	(.f64 (.f64 c a) (*.f64 c a))
2.0ms	(pow.f64 (*.f64 c a) 3)

simplify89.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

591×	`associate-/r*_binary64`
445×	`unswap-sqr_binary64`
382×	`associate-/l/_binary64`
382×	`log-prod_binary64`
249×	`associate-/r/_binary64`

Counts

211 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2577
1	372	2131
2	1618	2099
3	4450	2099
4	5126	2099

prune286.0ms (4.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	172	13	185

Error

0.5b

Counts

185 → 13

Alt Table

Status	Error	Program
	41.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))))
▶	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 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))))) (*.f64 3 a))
	41.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
	41.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))
	41.7b	(/.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)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))
✓	4.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))
	5.7b	(/.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))
	41.1b	(/.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))
	42.0b	(/.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))
	41.7b	(/.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)))))) (/.f64 (.f64 3 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	41.7b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (.f64 (.f64 3 a) (+.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))))))))
✓	4.2b	(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)))))))
	41.7b	(.f64 (/.f64 1 3) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) a))

Compiler

Compiled 10455 to 6123 computations (41.4% saved)

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(.f64 (.f64 c a) (*.f64 c a))
	0.8b	(pow.f64 (*.f64 c a) 3)
✓	0.9b	(pow.f64 (*.f64 c a) 4)
✓	18.5b	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))

series104.0ms (1.6%)

Counts

2 → 60

Calls

2 calls:

88.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))
15.0ms	(pow.f64 (*.f64 c a) 4)

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`log-pow_binary64`
39×	`exp-prod_binary64`
35×	`times-frac_binary64`
23×	`unpow-prod-down_binary64`
22×	`*-un-lft-identity_binary64`

Counts

2 → 72

Calls

2 calls:

6.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))
2.0ms	(pow.f64 (*.f64 c a) 4)

simplify89.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

330×	`unswap-sqr_binary64`
282×	`exp-prod_binary64`
272×	`log-prod_binary64`
271×	`times-frac_binary64`
224×	`associate-/l*_binary64`

Counts

132 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	168	1921
1	226	1683
2	512	1641
3	2353	1627
4	4865	1627
5	4994	1627

prune328.0ms (5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	174	4	178
Fresh	0	10	10
Picked	1	0	1
Done	1	1	2
Total	176	15	191

Error

0.5b

Counts

191 → 15

Alt Table

Status	Error	Program
	5.7b	(/.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))
	23.7b	(/.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 (log.f64 (exp.f64 (pow.f64 (.f64 c a) 3))) (pow.f64 b 5)) (.f64 405/128 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))))) (*.f64 3 a))
	41.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
	41.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))
	41.1b	(/.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))
	42.0b	(/.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))
	4.7b	(/.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 (sqrt.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))) (log.f64 (exp.f64 (sqrt.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))))))) (*.f64 3 a))
	41.7b	(/.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)))))) (/.f64 (.f64 3 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))))
	41.7b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) 3)) (.f64 (.f64 3 a) (+.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))))))))
✓	4.2b	(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)))))))
	41.7b	(.f64 (/.f64 1 3) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) a))
	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 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))))))) (*.f64 3 a))
	41.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))))
	4.9b	(/.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 (sqrt.f64 (pow.f64 (.f64 c a) 4)) (pow.f64 (cbrt.f64 b) 7)) (log.f64 (exp.f64 (/.f64 (sqrt.f64 (pow.f64 (.f64 c a) 4)) (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 7))))))))) (.f64 3 a))
	41.7b	(/.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)))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))))) (.f64 3 a))

Compiler

Compiled 10844 to 6206 computations (42.8% saved)

regimes1.3s (19.4%)

Accuracy

Total 2.6b remaining (86.3%)

Threshold costs 0b (0%)

Counts

161 → 1

Compiler

Compiled 37472 to 24659 computations (34.2% saved)

simplify10.0ms (0.2%)

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

end378.0ms (5.8%)

Compiler: Compiled 800 to 520 computations (35% 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

analyze369.0ms (5.6%)

sample1.9s (28.5%)

simplify346.0ms (5.3%)

prune4.0ms (0.1%)

localize9.0ms (0.1%)

series114.0ms (1.7%)

rewrite29.0ms (0.4%)

simplify114.0ms (1.7%)

prune137.0ms (2.1%)

localize26.0ms (0.4%)

series177.0ms (2.7%)

rewrite43.0ms (0.7%)

simplify154.0ms (2.3%)

prune366.0ms (5.6%)

localize30.0ms (0.5%)

series132.0ms (2%)

rewrite30.0ms (0.5%)

simplify89.0ms (1.4%)

prune286.0ms (4.4%)

localize29.0ms (0.4%)

series104.0ms (1.6%)

rewrite15.0ms (0.2%)

simplify89.0ms (1.4%)

prune328.0ms (5%)

regimes1.3s (19.4%)

simplify10.0ms (0.2%)

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