Details

analyze338.0ms (4.8%)

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)

sample137.0ms (2%)

Algorithm

1×

intervals

Results

15.0ms	122×	body	256	valid
10.0ms	270×	pre	128	true
8.0ms	46×	body	512	valid
6.0ms	88×	body	128	valid
1.0ms	14×	body	128	nan

Compiler

Compiled 66 to 48 computations (27.3% saved)

simplify355.0ms (5.1%)

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

54.2b

Counts

3 → 2

Alt Table

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

series164.0ms (2.3%)

Counts

4 → 100

Calls

4 calls:

92.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
57.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))
5.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:

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))))
4.0ms	(.f64 (.f64 3 a) c)
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

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

prune135.0ms (1.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	179	8	187
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	181	8	189

Error

0.1b

Counts

189 → 8

Alt Table

Status	Error	Program
	54.2b	(/.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))
	1.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))
	2.0b	(/.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))
	54.2b	(.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))
	53.3b	(/.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))
	54.2b	(.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))))
	54.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
▶	1.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)))))))

Compiler

Compiled 5306 to 3112 computations (41.3% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series287.0ms (4.1%)

Counts

4 → 132

Calls

4 calls:

106.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
93.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
71.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
17.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite44.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
46×	`pow-exp_binary64`
46×	`pow-to-exp_binary64`

Counts

4 → 194

Calls

4 calls:

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

simplify131.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

538×	`unswap-sqr_binary64`
407×	`times-frac_binary64`
382×	`associate-/l*_binary64`
271×	`associate-l_binary64`
237×	`associate-r_binary64`

Counts

326 → 223

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	5430
1	644	5027
2	3378	4964
3	4942	4964

prune362.0ms (5.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	223	0	223
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	223	8	231

Error

0.1b

Counts

231 → 8

Alt Table

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

Compiler

Compiled 11574 to 7110 computations (38.6% saved)

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

series590.0ms (8.4%)

Counts

4 → 84

Calls

4 calls:

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

rewrite35.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

83×	`add-exp-log_binary64`
46×	`pow1_binary64`
37×	`prod-exp_binary64`
32×	`div-exp_binary64`
30×	`pow-exp_binary64`

Counts

4 → 145

Calls

4 calls:

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

simplify216.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

690×	`fma-def_binary64`
408×	`unswap-sqr_binary64`
218×	`distribute-rgt-in_binary64`
205×	`associate-l_binary64`
187×	`associate-r_binary64`

Counts

229 → 173

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	254	6073
1	598	5118
2	2518	5041
3	4873	5039
4	5254	5039

prune312.0ms (4.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	170	3	173
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	171	10	181

Error

0.1b

Counts

181 → 10

Alt Table

Status	Error	Program
▶	1.5b	(/.f64 (fma.f64 3/2 (.f64 (/.f64 c b) a) (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))
	54.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
	1.9b	(cbrt.f64 (/.f64 (.f64 (.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 (.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 (.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 (.f64 (.f64 3 a) (.f64 3 a)) (*.f64 3 a))))
✓	1.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)))))))
	54.2b	(/.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))
✓	1.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))
	1.7b	(/.f64 (-.f64 (.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (.f64 -3/2 (/.f64 (.f64 c a) b))) (.f64 (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))))) (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 (.f64 3 a) (+.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))))))))
	54.2b	(.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))
	53.3b	(/.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))
	54.2b	(.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 11522 to 6793 computations (41% saved)

localize32.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series119.0ms (1.7%)

Counts

3 → 84

Calls

3 calls:

93.0ms

(/.f64 (fma.f64 3/2 (*.f64 (/.f64 c b) a) (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))

18.0ms

(pow.f64 (*.f64 c a) 4)

7.0ms

(pow.f64 (*.f64 c a) 2)

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64`
9×	`pow1_binary64`
8×	`add-cbrt-cube_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-sqr-sqrt_binary64`

Counts

3 → 62

Calls

3 calls:

5.0ms

(/.f64 (fma.f64 3/2 (*.f64 (/.f64 c b) a) (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.0ms

(pow.f64 (*.f64 c a) 4)

2.0ms

(pow.f64 (*.f64 c a) 2)

simplify168.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

655×	`times-frac_binary64`
566×	`associate-/l*_binary64`
359×	`associate-/r*_binary64`
208×	`associate-*l/_binary64`
172×	`associate-*r/_binary64`

Counts

146 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	155	4360
1	344	3799
2	1131	3742
3	4941	3742
4	4983	3742

prune228.0ms (3.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	2	5	7
Picked	1	0	1
Done	0	2	2
Total	122	9	131

Error

0.1b

Counts

131 → 9

Alt Table

Status	Error	Program
✓	1.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))
	1.7b	(/.f64 (sqrt.f64 (fma.f64 3/2 (.f64 (/.f64 c b) a) (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 (.f64 a -3) (sqrt.f64 (fma.f64 3/2 (.f64 (/.f64 c b) a) (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)))))))))
	54.2b	(.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))))
	1.9b	(cbrt.f64 (/.f64 (.f64 (.f64 (fma.f64 3/2 (.f64 (/.f64 c b) a) (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)))))) (fma.f64 3/2 (.f64 (/.f64 c b) a) (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))))))) (fma.f64 3/2 (.f64 (/.f64 c b) a) (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 (.f64 (.f64 a -3) (.f64 a -3)) (.f64 a -3))))
	54.2b	(/.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))
	54.2b	(.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))
	53.3b	(/.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))
	54.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (*.f64 3 a))
✓	1.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)))))))

Compiler

Compiled 7032 to 4273 computations (39.2% saved)

regimes1.1s (15.2%)

Accuracy

Total 1.2b remaining (85.5%)

Threshold costs 0b (0%)

Counts

124 → 1

Compiler

Compiled 30204 to 20201 computations (33.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	61
1	35	61
2	35	61

end1.0ms (0%)

Compiler: Compiled 45 to 32 computations (28.9% saved)

sample2.0s (29.2%)

Algorithm

1×

intervals

Results

487.0ms	3757×	body	256	valid
327.0ms	8828×	pre	128	true
294.0ms	1527×	body	512	valid
208.0ms	2716×	body	128	valid
55.0ms	828×	body	128	nan

Compiler

Compiled 617 to 402 computations (34.8% saved)

Details

analyze338.0ms (4.8%)

sample137.0ms (2%)

simplify355.0ms (5.1%)

prune4.0ms (0.1%)

localize10.0ms (0.1%)

series164.0ms (2.3%)

rewrite29.0ms (0.4%)

simplify118.0ms (1.7%)

prune135.0ms (1.9%)

localize27.0ms (0.4%)

series287.0ms (4.1%)

rewrite44.0ms (0.6%)

simplify131.0ms (1.9%)

prune362.0ms (5.2%)

localize27.0ms (0.4%)

series590.0ms (8.4%)

rewrite35.0ms (0.5%)

simplify216.0ms (3.1%)

prune312.0ms (4.5%)

localize32.0ms (0.5%)

series119.0ms (1.7%)

rewrite13.0ms (0.2%)

simplify168.0ms (2.4%)

prune228.0ms (3.3%)

regimes1.1s (15.2%)

simplify3.0ms (0%)

end1.0ms (0%)

sample2.0s (29.2%)

Profiling