Details

analyze361.0ms (5.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.5s (22.4%)

Results

1.2s	7934×	body	128	valid
151.0ms	1028×	body	128	invalid
89.0ms	322×	body	256	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

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

29.2b

Counts

3 → 2

Alt Table

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

series106.0ms (1.6%)

Counts

4 → 76

Calls

4 calls:

56.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
39.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
9.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
1.0ms	(/.f64 1/3 a)

rewrite80.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

781×	`prod-diff_binary64`
245×	`log1p-udef_binary64`
168×	`egg-rr`
139×	`add-sqr-sqrt_binary64`
133×	`log1p-expm1-u_binary64`

Counts

4 → 168

Calls

4 calls:

77.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
77.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
77.0ms	(/.f64 1/3 a)
77.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	53
1	280	53
2	3406	53
3	5118	53

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

244 → 220

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	1772
1	368	1700
2	1240	1671
3	4908	1665
4	5068	1665

prune172.0ms (2.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	201	19	220
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	202	20	222

Error

0.6b

Counts

222 → 20

Alt Table

Status	Error	Program
	37.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)
	29.4b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (expm1.f64 (log1p.f64 (/.f64 1/3 a))))
	32.6b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (sqrt.f64 (/.f64 1/9 (.f64 a a))))
	28.6b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))
	6.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 (/.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 1/3 a))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	28.3b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1/3 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	28.3b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))
	31.0b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	7.7b	(.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 1/3 a))
	33.8b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
	29.3b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	28.6b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	28.3b	(/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 3) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))
	28.6b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
▶	5.8b	(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)))))

Compiler

Compiled 6862 to 4044 computations (41.1% 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 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
✓	0.4b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
✓	0.4b	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))

series309.0ms (4.6%)

Counts

4 → 132

Calls

4 calls:

122.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
89.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))
16.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite91.0ms (1.3%)

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:

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify144.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

732×	`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	4137	1860
5	4230	1860
6	4416	1860
7	4705	1860
8	4974	1860
9	4904	1860

prune260.0ms (3.8%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	130	4	134
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	130	24	154

Error

0.6b

Counts

154 → 24

Alt Table

Status	Error	Program
	37.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)
	29.4b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	33.8b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
	6.3b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (log.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.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (expm1.f64 (log1p.f64 (/.f64 1/3 a))))
	32.6b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
▶	6.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 (/.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 1/3 a))
	7.1b	(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)))))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (sqrt.f64 (/.f64 1/9 (.f64 a a))))
	28.6b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	28.3b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1/3 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	28.3b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))
	31.0b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	7.7b	(.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 1/3 a))
	28.6b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	11.3b	(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 c a)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.6b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	11.4b	(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 (log.f64 (exp.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) -3/8 (.f64 -1/2 (/.f64 c b)))))
	29.3b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	28.3b	(/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 3) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))
✓	5.8b	(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)))))

Compiler

Compiled 7774 to 4831 computations (37.9% saved)

localize29.0ms (0.4%)

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

series110.0ms (1.6%)

Counts

4 → 60

Calls

4 calls:

65.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
19.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
17.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 3))
10.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite72.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

253×	`expm1-udef_binary64`
253×	`log1p-udef_binary64`
251×	`log-pow_binary64`
153×	`log1p-expm1-u_binary64`
153×	`expm1-log1p-u_binary64`

Counts

4 → 103

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	346	34
2	3733	34
3	4904	34

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

163 → 107

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

prune253.0ms (3.7%)

Pruning

25 alts after pruning (23 fresh and 2 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	0	22	22
Picked	0	1	1
Done	0	1	1
Total	106	25	131

Error

0.5b

Counts

131 → 25

Alt Table

Status	Error	Program
	37.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)
	29.4b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	33.8b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
▶	6.3b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (log.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.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 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 c a) 3))) 1) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (/.f64 1/3 a))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (expm1.f64 (log1p.f64 (/.f64 1/3 a))))
	32.6b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
✓	6.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 (/.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 1/3 a))
	7.1b	(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)))))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (sqrt.f64 (/.f64 1/9 (.f64 a a))))
	28.6b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	28.3b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1/3 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	28.3b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))
	31.0b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	7.7b	(.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 1/3 a))
	28.6b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	11.3b	(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 c a)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.6b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	11.4b	(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 (log.f64 (exp.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) -3/8 (.f64 -1/2 (/.f64 c b)))))
	29.3b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	28.3b	(/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 3) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))
✓	5.8b	(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)))))

Compiler

Compiled 7260 to 4670 computations (35.7% saved)

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series111.0ms (1.6%)

Counts

1 → 36

Calls

1 calls:

111.0ms

(log.f64 (exp.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))

rewrite56.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

603×	`log-prod_binary64`
223×	`expm1-udef_binary64`
223×	`log1p-udef_binary64`
205×	`log-pow_binary64`
128×	`add-sqr-sqrt_binary64`

Counts

1 → 66

Calls

1 calls:

55.0ms

(log.f64 (exp.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	16
1	277	16
2	3057	16
3	5135	16

simplify90.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1397×	`associate-/r/_binary64`
532×	`times-frac_binary64`
493×	`unswap-sqr_binary64`
378×	`associate-/l*_binary64`
219×	`sqr-pow_binary64`

Counts

102 → 67

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	576
1	30	576
2	91	576
3	361	576
4	2264	576
5	3155	576
6	3107	576
7	3236	576
8	3390	576
9	3537	576
10	5216	576

prune364.0ms (5.4%)

Pruning

24 alts after pruning (22 fresh and 2 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	2	20	22
Picked	1	0	1
Done	0	2	2
Total	184	24	208

Error

0.5b

Counts

208 → 24

Alt Table

Status	Error	Program
	37.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)
	29.4b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	33.8b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
	11.4b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (log.f64 (exp.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 c a)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	7.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 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 c a) 3))) 1) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (/.f64 1/3 a))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (expm1.f64 (log1p.f64 (/.f64 1/3 a))))
	32.6b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) (sqrt.f64 (/.f64 1/9 (.f64 a a))))
	28.6b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))
✓	6.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 (/.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 1/3 a))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	28.3b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1/3 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))))
	29.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	28.3b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 1/3 a))
	31.0b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	7.7b	(.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 1/3 a))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	7.1b	(fma.f64 (log.f64 (exp.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))) -9/16 (fma.f64 (log.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)))))
	28.6b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	11.4b	(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 (log.f64 (exp.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))) -3/8 (.f64 -1/2 (/.f64 c b)))))
	29.3b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	28.6b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	28.3b	(/.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 3) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))
✓	5.8b	(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)))))

Compiler

Compiled 9577 to 5978 computations (37.6% saved)

regimes1.1s (16.5%)

Accuracy

Total 4.3b remaining (86.2%)

Threshold costs 0b (0%)

Counts

132 → 2

Compiler

Compiled 24561 to 17171 computations (30.1% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
10×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	55	136
1	81	134
2	101	134
3	112	134
4	119	134
5	121	134
6	119	134

end871.0ms (12.8%)

Compiler: Compiled 1023 to 669 computations (34.6% saved)

Details

analyze361.0ms (5.3%)

sample1.5s (22.4%)

simplify354.0ms (5.2%)

prune4.0ms (0.1%)

localize9.0ms (0.1%)

series106.0ms (1.6%)

rewrite80.0ms (1.2%)

simplify72.0ms (1.1%)

prune172.0ms (2.5%)

localize26.0ms (0.4%)

series309.0ms (4.6%)

rewrite91.0ms (1.3%)

simplify144.0ms (2.1%)

prune260.0ms (3.8%)

localize29.0ms (0.4%)

series110.0ms (1.6%)

rewrite72.0ms (1.1%)

simplify160.0ms (2.4%)

prune253.0ms (3.7%)

localize29.0ms (0.4%)

series111.0ms (1.6%)

rewrite56.0ms (0.8%)

simplify90.0ms (1.3%)

prune364.0ms (5.4%)

regimes1.1s (16.5%)

bsearch7.0ms (0.1%)

simplify6.0ms (0.1%)

end871.0ms (12.8%)

Profiling