Details

analyze362.0ms (6.5%)

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)

sample2.2s (39.6%)

Results

1.1s	3927×	body	256	valid
582.0ms	1515×	body	512	valid
418.0ms	2814×	body	128	valid
127.0ms	897×	body	128	invalid

Compiler

Compiled 86 to 62 computations (27.9% saved)

preprocess40.0ms (0.7%)

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)

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

52.7b

Counts

3 → 2

Alt Table

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

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series103.0ms (1.8%)

Counts

4 → 64

Calls

27 calls:

15.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
8.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b)	c	0
8.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))	c	-inf
8.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (/.f64 1/3 a))	c	inf

rewrite69.0ms (1.2%)

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

simplify39.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

744×	`times-frac_binary64`
458×	`associate-/l*_binary64`
391×	`associate-/r*_binary64`
312×	`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

prune133.0ms (2.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	181	11	192
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	183	11	194

Error

0.2b

Counts

194 → 11

Alt Table

Status	Error	Program
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (pow.f64 (.f64 a 3) -1))
▶	1.8b	(+.f64 (fma.f64 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b 5)) (.f64 a a)) -9/16 (fma.f64 -1/2 (/.f64 c b) (/.f64 (.f64 (.f64 c c) -3/8) (/.f64 (pow.f64 b 3) a)))) (.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) -135/128))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (cbrt.f64 (pow.f64 (/.f64 1/3 a) 3)))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	52.8b	(.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))
	2.1b	(.f64 (-.f64 (fma.f64 -3/2 (.f64 (/.f64 c b) a) (/.f64 -9/8 (/.f64 (pow.f64 b 3) (.f64 (.f64 c a) (.f64 c a))))) (fma.f64 27/16 (.f64 (/.f64 (pow.f64 c 3) (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))
	2.3b	(.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))
	52.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 -1 b b)) (/.f64 1/3 a))
	52.4b	(.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))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))

Compiler

Compiled 5285 to 3384 computations (36% saved)

localize28.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series242.0ms (4.3%)

Counts

4 → 72

Calls

30 calls:

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

rewrite65.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

181×	`add-sqr-sqrt_binary64`
180×	`log1p-expm1-u_binary64`
180×	`expm1-log1p-u_binary64`
173×	`add-cbrt-cube_binary64`
171×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	52
1	397	52
2	4839	52

Stop Event

1×	node limit

Counts

4 → 120

simplify48.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

817×	`associate-/l*_binary64`
434×	`associate-/r*_binary64`
412×	`associate-l_binary64`
368×	`associate-r_binary64`
217×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1152
1	53	1152
2	168	1152
3	813	1152
4	4966	1152

Stop Event

1×	node limit

Counts

192 → 123

prune207.0ms (3.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	123	11	134

Error

0.2b

Counts

134 → 11

Alt Table

Status	Error	Program
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (pow.f64 (.f64 a 3) -1))
✓	1.8b	(+.f64 (fma.f64 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b 5)) (.f64 a a)) -9/16 (fma.f64 -1/2 (/.f64 c b) (/.f64 (.f64 (.f64 c c) -3/8) (/.f64 (pow.f64 b 3) a)))) (.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) -135/128))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (cbrt.f64 (pow.f64 (/.f64 1/3 a) 3)))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	52.8b	(.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))
▶	2.1b	(.f64 (-.f64 (fma.f64 -3/2 (.f64 (/.f64 c b) a) (/.f64 -9/8 (/.f64 (pow.f64 b 3) (.f64 (.f64 c a) (.f64 c a))))) (fma.f64 27/16 (.f64 (/.f64 (pow.f64 c 3) (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))
	2.3b	(.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))
	52.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 -1 b b)) (/.f64 1/3 a))
	52.4b	(.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))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))

Compiler

Compiled 6382 to 4149 computations (35% saved)

localize30.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series288.0ms (5.2%)

Counts

4 → 132

Calls

33 calls:

16.0ms	(*.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4))	c	-inf
16.0ms	(*.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4))	a	0
15.0ms	(/.f64 (pow.f64 b 3) (.f64 (.f64 c a) (*.f64 c a)))	b	0
15.0ms	(/.f64 (pow.f64 b 3) (.f64 (.f64 c a) (*.f64 c a)))	b	-inf
14.0ms	(*.f64 (/.f64 (pow.f64 c 3) (pow.f64 b 5)) (pow.f64 a 3))	a	0

rewrite35.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

224×	`add-sqr-sqrt_binary64`
223×	`log1p-expm1-u_binary64`
223×	`expm1-log1p-u_binary64`
213×	`add-cbrt-cube_binary64`
210×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	52
1	492	46

Stop Event

1×	node limit

Counts

4 → 90

simplify125.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

457×	`associate-/l/_binary64`
369×	`unswap-sqr_binary64`
353×	`associate-/r/_binary64`
283×	`sqr-pow_binary64`
262×	`associate-*l/_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	24	1968
1	68	1968
2	233	1968
3	1386	1968
4	3982	1752
5	4084	1752
6	4244	1572
7	4450	1572
8	4651	1572
9	4890	1572

Stop Event

1×	node limit

Counts

222 → 95

prune178.0ms (3.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	95	11	106

Error

0.2b

Counts

106 → 11

Alt Table

Status	Error	Program
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (pow.f64 (.f64 a 3) -1))
✓	1.8b	(+.f64 (fma.f64 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b 5)) (.f64 a a)) -9/16 (fma.f64 -1/2 (/.f64 c b) (/.f64 (.f64 (.f64 c c) -3/8) (/.f64 (pow.f64 b 3) a)))) (.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) -135/128))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (cbrt.f64 (pow.f64 (/.f64 1/3 a) 3)))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	52.8b	(.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))
▶	2.1b	(.f64 (-.f64 (fma.f64 -3/2 (.f64 (/.f64 c b) a) (/.f64 -9/8 (/.f64 (pow.f64 b 3) (cbrt.f64 (pow.f64 (pow.f64 (.f64 c a) 2) 3))))) (fma.f64 27/16 (.f64 (/.f64 (pow.f64 c 3) (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))
	2.3b	(.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))
	52.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 -1 b b)) (/.f64 1/3 a))
	52.4b	(.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))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))

Compiler

Compiled 5665 to 3677 computations (35.1% saved)

localize40.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 4))
✓	0.6b	(pow.f64 (*.f64 c a) 2)
✓	0.7b	(pow.f64 (pow.f64 (*.f64 c a) 2) 3)
✓	2.2b	(cbrt.f64 (pow.f64 (pow.f64 (*.f64 c a) 2) 3))

series38.0ms (0.7%)

Counts

3 → 72

Calls

18 calls:

4.0ms	(pow.f64 (pow.f64 (*.f64 c a) 2) 3)	c	0
3.0ms	(pow.f64 (pow.f64 (*.f64 c a) 2) 3)	c	-inf
3.0ms	(pow.f64 (pow.f64 (*.f64 c a) 2) 3)	a	-inf
3.0ms	(pow.f64 (pow.f64 (*.f64 c a) 2) 3)	a	inf
3.0ms	(pow.f64 (pow.f64 (*.f64 c a) 2) 3)	c	inf

rewrite42.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

636×	`log1p-expm1-u_binary64`
636×	`expm1-log1p-u_binary64`
330×	`log-prod_binary64`
126×	`expm1-udef_binary64`
126×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	186	21
2	1869	21

Stop Event

1×	node limit

Counts

3 → 96

simplify87.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

571×	`sqr-pow_binary64`
510×	`associate-l_binary64`
432×	`associate-r_binary64`
372×	`cube-prod_binary64`
318×	`pow-sqr_binary64`

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	11	720
1	27	720
2	71	720
3	292	720
4	1919	720
5	2129	720
6	2486	720
7	2839	720
8	3274	648
9	3809	648
10	4508	504

Stop Event

1×	node limit

Counts

168 → 68

prune149.0ms (2.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	86	11	97

Error

0.2b

Counts

97 → 11

Alt Table

Status	Error	Program
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -3)))) b) (pow.f64 (.f64 a 3) -1))
✓	1.8b	(+.f64 (fma.f64 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b 5)) (.f64 a a)) -9/16 (fma.f64 -1/2 (/.f64 c b) (/.f64 (.f64 (.f64 c c) -3/8) (/.f64 (pow.f64 b 3) a)))) (.f64 (.f64 (/.f64 (pow.f64 c 4) (pow.f64 b 7)) (pow.f64 a 3)) -135/128))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (cbrt.f64 (pow.f64 (/.f64 1/3 a) 3)))
	52.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	52.8b	(.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))
✓	2.1b	(.f64 (-.f64 (fma.f64 -3/2 (.f64 (/.f64 c b) a) (/.f64 -9/8 (/.f64 (pow.f64 b 3) (cbrt.f64 (pow.f64 (pow.f64 (.f64 c a) 2) 3))))) (fma.f64 27/16 (.f64 (/.f64 (pow.f64 c 3) (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))
	2.3b	(.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))
	52.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 -1 b b)) (/.f64 1/3 a))
	52.4b	(.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))
	52.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -3)))) b) (exp.f64 (log.f64 (/.f64 1/3 a))))

Compiler

Compiled 5033 to 3396 computations (32.5% saved)

regimes712.0ms (12.8%)

Accuracy

Total 1.2b remaining (84.5%)

Threshold costs 0b (0%)

Counts

94 → 1

Compiler

Compiled 20431 to 14796 computations (27.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	63
1	37	63

Stop Event

1×

saturated

end255.0ms (4.6%)

Stop Event

1×

fuel

Compiler

Compiled 452 to 325 computations (28.1% saved)

Details

analyze362.0ms (6.5%)

sample2.2s (39.6%)

preprocess40.0ms (0.7%)

simplify32.0ms (0.6%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

series103.0ms (1.8%)

rewrite69.0ms (1.2%)

simplify39.0ms (0.7%)

prune133.0ms (2.4%)

localize28.0ms (0.5%)

series242.0ms (4.3%)

rewrite65.0ms (1.2%)

simplify48.0ms (0.9%)

prune207.0ms (3.7%)

localize30.0ms (0.5%)

series288.0ms (5.2%)

rewrite35.0ms (0.6%)

simplify125.0ms (2.3%)

prune178.0ms (3.2%)

localize40.0ms (0.7%)

series38.0ms (0.7%)

rewrite42.0ms (0.7%)

simplify87.0ms (1.6%)

prune149.0ms (2.7%)

regimes712.0ms (12.8%)

simplify3.0ms (0%)

end255.0ms (4.6%)

Profiling