Details

analyze1.4s (20.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	96.7%	3.3%	9
16.4%	74.9%	8.7%	10
17.6%	71.8%	10.7%	11
26.3%	59.5%	14.2%	12
30.7%	45.7%	23.5%	13
31.7%	43.5%	24.7%	14

Compiler

Compiled 33 to 25 computations (24.2% saved)

sample2.2s (31.9%)

Results

1.3s	8256×	body	128	valid
836.0ms	4958×	body	128	invalid

Compiler

Compiled 66 to 50 computations (24.2% saved)

preprocess31.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

570×	`cancel-sign-sub-inv_binary64`
453×	`distribute-rgt-neg-in_binary64`
322×	`fma-def_binary64`
251×	`associate-r_binary64`
235×	`div-sub_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	172
1	169	172
2	578	148
3	2265	140
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 32 to 24 computations (25% saved)

simplify23.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

628×	`fma-neg_binary64`
464×	`div-sub_binary64`
352×	`associate-l_binary64`
345×	`associate-r_binary64`
185×	`associate-/r*_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	23	43
1	59	43
2	169	37
3	694	35
4	3748	33

Stop Event

1×	node limit

Counts

1 → 2

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

10.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	16.5b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
▶	13.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

Status

Error

Program

16.5b

(-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (*.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))

▶

13.5b

(-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

Compiler

Compiled 171 to 118 computations (31% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.0b	(.f64 (.f64 (*.f64 w w) r) r)
✓	4.3b	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))
✓	8.3b	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
✓	9.7b	(.f64 (.f64 w w) r)

series140.0ms (2%)

Counts

4 → 120

Calls

30 calls:

23.0ms	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))	r	inf
12.0ms	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))	v	inf
9.0ms	(.f64 (.f64 w w) r)	r	-inf
8.0ms	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))	w	inf
7.0ms	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))	w	0

rewrite84.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

280×	`prod-diff_binary64`
180×	`add-sqr-sqrt_binary64`
172×	`log1p-expm1-u_binary64`
172×	`expm1-log1p-u_binary64`
170×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	67
1	373	58
2	4922	58

Stop Event

1×	node limit

Counts

4 → 98

simplify68.0ms (1%)

Algorithm

1×	egg-herbie

Rules

501×	`associate-l_binary64`
455×	`fma-neg_binary64`
429×	`unswap-sqr_binary64`
390×	`associate-r_binary64`
322×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	51	2409
1	176	2249
2	672	2077
3	4114	2077

Stop Event

1×	node limit

Counts

218 → 126

prune246.0ms (3.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	116	10	126
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	117	11	128

Error

0.1b

Counts

128 → 11

Alt Table

Status	Error	Program
	18.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 w r)) (.f64 (.f64 (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (*.f64 w r)) (/.f64 1 (-.f64 1 v))))) 9/2)
	12.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 w (.f64 (.f64 r (*.f64 w r)) 3/8))) 9/2)
	10.2b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 w (*.f64 w r)) r)) (-.f64 1 v))) 9/2)
	9.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (+.f64 3 (.f64 v -2)) (pow.f64 (.f64 w r) 2))))) (pow.f64 (cbrt.f64 (/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (+.f64 3 (.f64 v -2)) (pow.f64 (.f64 w r) 2))))) 2))) 9/2)
	9.0b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 1 (/.f64 1/8 (/.f64 (-.f64 1 v) (.f64 (+.f64 3 (.f64 v -2)) (pow.f64 (*.f64 w r) 2)))))) 9/2)
	16.5b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
	0.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (pow.f64 (cbrt.f64 (-.f64 1 v)) 2)) (/.f64 (pow.f64 (*.f64 w r) 2) (cbrt.f64 (-.f64 1 v))))) 9/2)
	7.2b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (*.f64 v -2) 1/8))) 1) (/.f64 r (-.f64 1 v)))) 9/2)
▶	0.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (*.f64 w r) 2))) 9/2)
	17.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 w (.f64 w (.f64 r (*.f64 r 1/4))))) 9/2)
	7.2b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 r (/.f64 1 (-.f64 1 v))))) 9/2)

Compiler

Compiled 4801 to 3435 computations (28.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v))
✓	0.1b	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))
✓	0.4b	(pow.f64 (*.f64 w r) 2)
✓	0.5b	(/.f64 2 (*.f64 r r))

series56.0ms (0.8%)

Counts

4 → 84

Calls

21 calls:

6.0ms	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))	w	inf
6.0ms	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))	w	0
5.0ms	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))	r	0
5.0ms	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))	r	-inf
5.0ms	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))	r	inf

rewrite36.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

197×	`add-sqr-sqrt_binary64`
190×	`log1p-expm1-u_binary64`
190×	`expm1-log1p-u_binary64`
188×	`add-cbrt-cube_binary64`
185×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	49
1	417	45

Stop Event

1×	node limit

Counts

4 → 110

simplify56.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

452×	`fma-neg_binary64`
425×	`unswap-sqr_binary64`
401×	`fma-def_binary64`
391×	`associate-l_binary64`
307×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	1539
1	218	1481
2	765	1350
3	3972	1350

Stop Event

1×	node limit

Counts

194 → 145

prune276.0ms (4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	139	6	145
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	146	10	156

Error

Counts

156 → 10

Alt Table

Status	Error	Program
	0.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (pow.f64 (cbrt.f64 (.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)) 9/2)
	28.9b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (.f64 (sqrt.f64 (.f64 r w)) (.f64 (sqrt.f64 (.f64 r w)) (*.f64 r w))))) 9/2)
	7.2b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (*.f64 v -2) 1/8))) 1) (/.f64 r (-.f64 1 v)))) 9/2)
	1.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (.f64 r (.f64 w (*.f64 r w))))) 9/2)
	18.1b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (.f64 w r)) (.f64 (.f64 (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (*.f64 w r)) (/.f64 1 (-.f64 1 v))))) 9/2)
	12.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 w (.f64 (.f64 r (*.f64 w r)) 3/8))) 9/2)
	0.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)) (pow.f64 (*.f64 w r) 2))) 9/2)
	16.5b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
▶	0.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (*.f64 w r) 2))) 9/2)
	9.0b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 1 (/.f64 (-.f64 1 v) (.f64 (fma.f64 v -1/4 3/8) (pow.f64 (*.f64 r w) 2))))) 9/2)

Compiler

Compiled 4910 to 3488 computations (29% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v))
✓	0.0b	(*.f64 2 (pow.f64 r -2))
	0.1b	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))
	0.4b	(pow.f64 (*.f64 w r) 2)

series3.0ms (0%)

Counts

1 → 12

Calls

3 calls:

1.0ms	(*.f64 2 (pow.f64 r -2))	r	0
1.0ms	(*.f64 2 (pow.f64 r -2))	r	inf
1.0ms	(*.f64 2 (pow.f64 r -2))	r	-inf

rewrite28.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

466×	`log1p-expm1-u_binary64`
466×	`expm1-log1p-u_binary64`
318×	`unpow-prod-down_binary64`
238×	`log-prod_binary64`
144×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1329	7

Stop Event

1×	node limit

Counts

1 → 18

simplify58.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

605×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
333×	`associate-/l/_binary64`
281×	`cube-prod_binary64`
275×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	10	84
2	19	84
3	34	84
4	74	84
5	201	84
6	793	84
7	1999	84
8	2165	84
9	2349	84
10	2557	84
11	2848	84
12	3241	84
13	3721	84
14	4284	84
15	4972	84

Stop Event

1×	node limit

Counts

30 → 20

prune264.0ms (3.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	140	1	141
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	142	9	151

Error

Counts

151 → 9

Alt Table

Status	Error	Program
	0.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)) (pow.f64 (*.f64 w r) 2))) 9/2)
▶	0.2b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (pow.f64 (.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)
	0.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (pow.f64 (cbrt.f64 (.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)) 9/2)
	28.9b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (.f64 (sqrt.f64 (.f64 r w)) (.f64 (sqrt.f64 (.f64 r w)) (*.f64 r w))))) 9/2)
	7.2b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (*.f64 v -2) 1/8))) 1) (/.f64 r (-.f64 1 v)))) 9/2)
	1.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (.f64 r (.f64 w (*.f64 r w))))) 9/2)
	16.5b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
	9.0b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 1 (/.f64 (-.f64 1 v) (.f64 (fma.f64 v -1/4 3/8) (pow.f64 (*.f64 r w) 2))))) 9/2)
	12.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 w (.f64 (.f64 r (*.f64 w r)) 3/8))) 9/2)

Compiler

Compiled 4709 to 3576 computations (24.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (pow.f64 (.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)
	0.0b	(*.f64 2 (pow.f64 r -2))
✓	0.1b	(/.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))
✓	0.4b	(pow.f64 (*.f64 r w) 2)

series112.0ms (1.6%)

Counts

3 → 96

Calls

24 calls:

11.0ms	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (pow.f64 (.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)	w	0
8.0ms	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (pow.f64 (.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)	w	-inf
8.0ms	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (pow.f64 (.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)	w	inf
8.0ms	(/.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))	w	inf
7.0ms	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (pow.f64 (.f64 r w) 2) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)	v	0

rewrite35.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

244×	`add-sqr-sqrt_binary64`
241×	`log1p-expm1-u_binary64`
241×	`expm1-log1p-u_binary64`
237×	`add-cbrt-cube_binary64`
230×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	62
1	510	58

Stop Event

1×	node limit

Counts

3 → 56

simplify56.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

564×	`fma-def_binary64`
433×	`associate-l_binary64`
403×	`associate-r_binary64`
250×	`cancel-sign-sub-inv_binary64`
208×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	87	3030
1	304	2834
2	1124	2566

Stop Event

1×	node limit

Counts

152 → 103

prune169.0ms (2.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	121	2	123
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	124	8	132

Error

Counts

132 → 8

Alt Table

Status	Error	Program
	0.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (pow.f64 (cbrt.f64 (.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)) 9/2)
	28.9b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (.f64 (sqrt.f64 (.f64 r w)) (.f64 (sqrt.f64 (.f64 r w)) (*.f64 r w))))) 9/2)
	0.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)) (pow.f64 (*.f64 w r) 2))) 9/2)
	16.5b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 (fma.f64 v -1/4 3/8) (/.f64 (.f64 r r) (/.f64 (-.f64 1 v) (*.f64 w w))) 3/2))
	18.3b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (.f64 w (.f64 (.f64 w (*.f64 r r)) 3/8))) 9/2)
	1.6b	(-.f64 (-.f64 (+.f64 3 (.f64 2 (pow.f64 r -2))) (/.f64 (.f64 r (.f64 (.f64 r w) w)) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))) 9/2)
	7.2b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (.f64 w (.f64 w r)) (+.f64 3/8 (.f64 (*.f64 v -2) 1/8))) 1) (/.f64 r (-.f64 1 v)))) 9/2)
	9.0b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 1 (/.f64 (-.f64 1 v) (.f64 (fma.f64 v -1/4 3/8) (pow.f64 (*.f64 r w) 2))))) 9/2)

Compiler

Compiled 3842 to 2816 computations (26.7% saved)

regimes1.3s (18.9%)

Accuracy

Total 0.2b remaining (82.2%)

Threshold costs 0.2b (82.2%)

Counts

170 → 1

Compiler

Compiled 30199 to 23706 computations (21.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`*-commutative_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	35
1	34	35
2	44	35
3	50	35
4	54	35
5	55	35

Stop Event

1×

saturated

end161.0ms (2.3%)

Stop Event

1×

fuel

Compiler

Compiled 292 to 222 computations (24% saved)

Details

analyze1.4s (20.7%)

sample2.2s (31.9%)

preprocess31.0ms (0.4%)

simplify23.0ms (0.3%)

prune6.0ms (0.1%)

localize16.0ms (0.2%)

series140.0ms (2%)

rewrite84.0ms (1.2%)

simplify68.0ms (1%)

prune246.0ms (3.6%)

localize17.0ms (0.2%)

series56.0ms (0.8%)

rewrite36.0ms (0.5%)

simplify56.0ms (0.8%)

prune276.0ms (4%)

localize18.0ms (0.3%)

series3.0ms (0%)

rewrite28.0ms (0.4%)

simplify58.0ms (0.8%)

prune264.0ms (3.8%)

localize15.0ms (0.2%)

series112.0ms (1.6%)

rewrite35.0ms (0.5%)

simplify56.0ms (0.8%)

prune169.0ms (2.4%)

regimes1.3s (18.9%)

simplify3.0ms (0%)

end161.0ms (2.3%)

Profiling