Details

analyze358.0ms (6.9%)

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

Results

831.0ms	2999×	body	256	valid
782.0ms	5256×	body	128	valid
119.0ms	880×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 86 to 62 computations (27.9% saved)

preprocess46.0ms (0.9%)

Algorithm

2×	egg-herbie

Rules

795×	`fma-def_binary64`
731×	`div-sub_binary64`
295×	`fma-neg_binary64`
212×	`associate-/l*_binary64`
209×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	104
1	92	88
2	213	88
3	440	88
4	758	88
5	1251	88
6	2221	88
7	4457	88
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 20 to 14 computations (30% saved)

simplify31.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1220×	`fma-neg_binary64`
367×	`fma-def_binary64`
351×	`times-frac_binary64`
266×	`associate-/l*_binary64`
254×	`div-sub_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	69	22
3	160	22
4	264	22
5	433	22
6	744	22
7	1341	22
8	2769	22
9	4702	22

Stop Event

1×	node limit

Counts

1 → 2

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

42.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
	43.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 111 to 75 computations (32.4% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 a (.f64 c -3))
✓	0.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))
✓	0.4b	(/.f64 1/3 a)
✓	37.1b	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b)

series90.0ms (1.7%)

Counts

4 → 64

Calls

27 calls:

10.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))	a	inf
9.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))	a	-inf
9.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))	c	-inf
7.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))	c	inf
5.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b)	c	-inf

rewrite65.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`prod-diff_binary64`
143×	`egg-rr`
140×	`add-sqr-sqrt_binary64`
133×	`log1p-expm1-u_binary64`
133×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	49
1	282	47
2	3646	47

Stop Event

1×	node limit

Counts

4 → 143

simplify38.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

744×	`times-frac_binary64`
459×	`associate-/l*_binary64`
392×	`associate-/r*_binary64`
316×	`fma-def_binary64`
174×	`associate-*l/_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1538
1	369	1520
2	1302	1491

Stop Event

1×	node limit

Counts

207 → 192

prune144.0ms (2.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	178	14	192
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	179	15	194

Error

0.5b

Counts

194 → 15

Alt Table

Status	Error	Program
	3.1b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 1/2 (/.f64 c b))))))
	43.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	42.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/3 a))
	3.4b	(.f64 (-.f64 (.f64 (/.f64 -3/2 b) (.f64 c a)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (/.f64 1/3 a))
	42.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	3.5b	(.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/3 a))
	43.2b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	4.6b	(.f64 (fma.f64 -3/2 (.f64 (/.f64 c b) a) (fma.f64 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) -9/8 (.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) -27/16))) (/.f64 1/3 a))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
▶	3.1b	(-.f64 (.f64 (.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a)) a) -9/16) (fma.f64 1/2 (/.f64 c b) (fma.f64 135/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) (.f64 3/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a)))))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	43.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/9 (*.f64 a a)))))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 1/3 (pow.f64 a -1)))
	12.9b	(*.f64 -1/2 (/.f64 c b))

Compiler

Compiled 5571 to 3591 computations (35.5% saved)

localize30.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series214.0ms (4.1%)

Counts

4 → 96

Calls

30 calls:

12.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a))	c	-inf
12.0ms	(*.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a)) a)	a	inf
11.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a))	a	inf
11.0ms	(*.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a)) a)	c	0
10.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a))	a	-inf

rewrite37.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

197×	`add-sqr-sqrt_binary64`
195×	`log1p-expm1-u_binary64`
195×	`expm1-log1p-u_binary64`
189×	`add-cbrt-cube_binary64`
187×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	49
1	428	49

Stop Event

1×	node limit

Counts

4 → 122

simplify90.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

654×	`associate-/l*_binary64`
366×	`associate-l_binary64`
340×	`associate-/r*_binary64`
322×	`associate-r_binary64`
296×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	1284
1	47	1284
2	145	1284
3	652	1284
4	4089	1284
5	4174	1284
6	4346	1284
7	4609	1284
8	4858	1284

Stop Event

1×	node limit

Counts

218 → 127

prune260.0ms (5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	127	15	142

Error

0.5b

Counts

142 → 15

Alt Table

Status	Error	Program
▶	3.1b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 1/2 (/.f64 c b))))))
	43.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	42.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/3 a))
	3.4b	(.f64 (-.f64 (.f64 (/.f64 -3/2 b) (.f64 c a)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (/.f64 1/3 a))
	42.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	3.5b	(.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/3 a))
	43.2b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	4.6b	(.f64 (fma.f64 -3/2 (.f64 (/.f64 c b) a) (fma.f64 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) -9/8 (.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) -27/16))) (/.f64 1/3 a))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
✓	3.1b	(-.f64 (.f64 (.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a)) a) -9/16) (fma.f64 1/2 (/.f64 c b) (fma.f64 135/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) (.f64 3/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a)))))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	43.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/9 (*.f64 a a)))))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 1/3 (pow.f64 a -1)))
	12.9b	(*.f64 -1/2 (/.f64 c b))

Compiler

Compiled 6901 to 4614 computations (33.1% saved)

localize30.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series234.0ms (4.5%)

Counts

4 → 0

Calls

33 calls:

13.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))	a	-inf
12.0ms	(/.f64 (*.f64 (pow.f64 c 2) a) (pow.f64 b 3))	a	inf
12.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))	a	0
12.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))	c	inf
11.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))	a	0

rewrite32.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

225×	`log1p-expm1-u_binary64`
225×	`expm1-log1p-u_binary64`
224×	`add-sqr-sqrt_binary64`
216×	`add-cbrt-cube_binary64`
215×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	55
1	515	55

Stop Event

1×	node limit

Counts

4 → 72

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

72 → 72

prune197.0ms (3.8%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	71	16	87

Error

0.5b

Counts

87 → 16

Alt Table

Status	Error	Program
✓	3.1b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b 7))) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 1/2 (/.f64 c b))))))
	43.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	42.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/3 a))
▶	3.4b	(.f64 (-.f64 (.f64 (/.f64 -3/2 b) (.f64 c a)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (/.f64 1/3 a))
	42.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	3.5b	(.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/3 a))
	3.6b	(neg.f64 (+.f64 (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b 5))) (+.f64 (.f64 135/128 (-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 (pow.f64 c 4) (pow.f64 a 3)) (pow.f64 b -7)))) 1)) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (.f64 1/2 (/.f64 c b))))))
	43.2b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	4.6b	(.f64 (fma.f64 -3/2 (.f64 (/.f64 c b) a) (fma.f64 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) -9/8 (.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) -27/16))) (/.f64 1/3 a))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
✓	3.1b	(-.f64 (.f64 (.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a)) a) -9/16) (fma.f64 1/2 (/.f64 c b) (fma.f64 135/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) (.f64 3/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a)))))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	43.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/9 (*.f64 a a)))))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 1/3 (pow.f64 a -1)))
	12.9b	(*.f64 -1/2 (/.f64 c b))

Compiler

Compiled 4563 to 3280 computations (28.1% saved)

localize33.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series135.0ms (2.6%)

Counts

3 → 72

Calls

24 calls:

13.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3)))	c	0
12.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3)))	a	-inf
11.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3)))	a	0
11.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3)))	c	-inf
10.0ms	(/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3)))	a	inf

rewrite59.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

279×	`log1p-udef_binary64`
161×	`add-sqr-sqrt_binary64`
153×	`log1p-expm1-u_binary64`
153×	`expm1-log1p-u_binary64`
151×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	36
1	334	35
2	4378	35

Stop Event

1×	node limit

Counts

3 → 110

simplify42.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

843×	`times-frac_binary64`
595×	`associate-/l*_binary64`
543×	`unswap-sqr_binary64`
301×	`associate-/r*_binary64`
257×	`associate-l_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	15	936
1	41	936
2	125	936
3	601	936
4	4632	828

Stop Event

1×	node limit

Counts

182 → 114

prune259.0ms (5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	129	7	136
Fresh	3	10	13
Picked	1	0	1
Done	1	1	2
Total	134	18	152

Error

0.4b

Counts

152 → 18

Alt Table

Status	Error	Program
	4.8b	(.f64 (-.f64 (.f64 (/.f64 -3/2 b) (.f64 c a)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (exp.f64 (log.f64 (/.f64 1/3 a))))
✓	3.1b	(-.f64 (.f64 (.f64 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) a)) a) -9/16) (fma.f64 1/2 (/.f64 c b) (fma.f64 135/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) (.f64 3/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a)))))
	4.3b	(.f64 (-.f64 (pow.f64 (cbrt.f64 (.f64 a (.f64 c (/.f64 -3/2 b)))) 3) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (/.f64 1/3 a))
	12.9b	(*.f64 -1/2 (/.f64 c b))
	3.4b	(.f64 (-.f64 (pow.f64 (.f64 a (.f64 c (/.f64 -3/2 b))) 1) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (/.f64 1/3 a))
	42.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/3 a))
	3.6b	(.f64 (-.f64 (/.f64 (/.f64 (.f64 -3/2 (.f64 c a)) (sqrt.f64 b)) (sqrt.f64 b)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (/.f64 1/3 a))
	42.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/3 a))
	5.3b	(.f64 (-.f64 (.f64 (/.f64 -3/2 b) (.f64 c a)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	3.8b	(.f64 (-.f64 (/.f64 (/.f64 (.f64 -3/2 (.f64 c a)) (cbrt.f64 (.f64 b b))) (cbrt.f64 b)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (*.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (/.f64 1/3 a))
	43.2b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))
	43.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	43.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 (cbrt.f64 (/.f64 1/3 a)) (cbrt.f64 (/.f64 1/9 (*.f64 a a)))))
	42.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (.f64 1/3 (pow.f64 a -1)))
	4.2b	(.f64 (-.f64 (.f64 (/.f64 -3/2 b) (.f64 c a)) (fma.f64 9/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a) a) (fma.f64 27/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b 5) (pow.f64 a 3))) (.f64 405/128 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4)))))) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))

Compiler

Compiled 8112 to 5500 computations (32.2% saved)

regimes532.0ms (10.3%)

Accuracy

Total 2.6b remaining (85.9%)

Threshold costs 0b (0%)

Counts

67 → 1

Compiler

Compiled 14466 to 10486 computations (27.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	63
1	39	63
2	44	63
3	46	63
4	47	63

Stop Event

1×

saturated

end438.0ms (8.5%)

Stop Event

1×

fuel

Compiler

Compiled 796 to 568 computations (28.6% saved)

Details

analyze358.0ms (6.9%)

sample1.7s (33.8%)

preprocess46.0ms (0.9%)

simplify31.0ms (0.6%)

prune4.0ms (0.1%)

localize12.0ms (0.2%)

series90.0ms (1.7%)

rewrite65.0ms (1.3%)

simplify38.0ms (0.7%)

prune144.0ms (2.8%)

localize30.0ms (0.6%)

series214.0ms (4.1%)

rewrite37.0ms (0.7%)

simplify90.0ms (1.7%)

prune260.0ms (5%)

localize30.0ms (0.6%)

series234.0ms (4.5%)

rewrite32.0ms (0.6%)

simplify6.0ms (0.1%)

prune197.0ms (3.8%)

localize33.0ms (0.6%)

series135.0ms (2.6%)

rewrite59.0ms (1.1%)

simplify42.0ms (0.8%)

prune259.0ms (5%)

regimes532.0ms (10.3%)

simplify3.0ms (0.1%)

end438.0ms (8.5%)

Profiling