Details

analyze1.4s (13.8%)

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.4s (24.2%)

Results

1.5s	8256×	body	128	valid
851.0ms	4961×	body	128	invalid

Compiler

Compiled 98 to 74 computations (24.5% saved)

simplify47.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

721×	`fma-neg_binary64`
464×	`div-sub_binary64`
380×	`associate-l_binary64`
365×	`associate-r_binary64`
276×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	23	43
1	59	43
2	163	37
3	607	35
4	2744	33
5	4748	33
6	4938	33

prune5.0ms (0%)

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

9.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	14.6b	(-.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)
▶	9.8b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))

Status

Error

Program

14.6b

(-.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)

▶

9.8b

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

Compiler

Compiled 171 to 121 computations (29.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
✓	0.5b	(/.f64 2 (*.f64 r r))
✓	1.9b	(fma.f64 r (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
✓	11.7b	(.f64 r (.f64 w w))

series99.0ms (1%)

Counts

4 → 108

Calls

4 calls:

49.0ms	(fma.f64 r (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)
39.0ms	(.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
9.0ms	(.f64 r (.f64 w w))
2.0ms	(/.f64 2 (*.f64 r r))

rewrite89.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

324×	`log1p-udef_binary64`
186×	`add-sqr-sqrt_binary64`
177×	`log1p-expm1-u_binary64`
177×	`expm1-log1p-u_binary64`
176×	`add-log-exp_binary64`

Counts

4 → 85

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	58
1	386	58
2	4540	58
3	5269	58
0	0	0
1	0	0

simplify60.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

716×	`fma-def_binary64`
627×	`associate-l_binary64`
497×	`associate-r_binary64`
314×	`associate-/l*_binary64`
248×	`times-frac_binary64`

Counts

193 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	100	2804
1	335	2526
2	1161	1968
3	5240	1968

prune241.0ms (2.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	119	11	130
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	120	12	132

Error

3.0b

Counts

132 → 12

Alt Table

Status	Error	Program
	14.6b	(-.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)
	22.0b	(-.f64 (/.f64 2 (.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3)))
	19.0b	(-.f64 (/.f64 2 (.f64 r r)) (/.f64 (-.f64 (.f64 (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 9/4) (-.f64 (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2)))
	20.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 w (.f64 (.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
	14.3b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (/.f64 (.f64 (-.f64 (.f64 3/8 (pow.f64 w 2)) (.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
	11.2b	(-.f64 (/.f64 2 (.f64 r r)) (exp.f64 (log.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))))
	10.0b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (pow.f64 (cbrt.f64 (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2))
	32.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	35.3b	(-.f64 (/.f64 2 (.f64 r r)) (.f64 (-.f64 (.f64 3/8 (/.f64 (pow.f64 r 2) (-.f64 1 v))) (.f64 1/4 (/.f64 (*.f64 v (pow.f64 r 2)) (-.f64 1 v)))) (pow.f64 w 2)))
▶	9.7b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	10.1b	(-.f64 (/.f64 2 (.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
	23.9b	(-.f64 (/.f64 2 (*.f64 r r)) 3/2)

Compiler

Compiled 4353 to 2648 computations (39.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(*.f64 2 (pow.f64 r -2))

rewrite76.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

870×	`log1p-udef_binary64`
466×	`log1p-expm1-u_binary64`
466×	`expm1-log1p-u_binary64`
318×	`unpow-prod-down_binary64`
238×	`log-prod_binary64`

Counts

1 → 18

Calls

1 calls:

75.0ms

(*.f64 2 (pow.f64 r -2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1243	7
3	4818	7
4	6170	7
0	0	0
1	0	0

simplify137.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

30 → 20

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	10	84
2	18	84
3	33	84
4	69	84
5	165	84
6	490	84
7	1147	84
8	1149	84
9	1297	84
10	1467	84
11	1646	84
12	1871	84
13	2156	84
14	2575	84
15	3140	84
16	3826	84
17	4044	84
18	4288	84
19	4370	84
20	4403	84
21	4424	84
22	4992	84

prune208.0ms (2.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	125	12	137

Error

3.0b

Counts

137 → 12

Alt Table

Status	Error	Program
	14.6b	(-.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)
	22.0b	(-.f64 (/.f64 2 (.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3)))
▶	10.0b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (pow.f64 (cbrt.f64 (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2))
	23.9b	(-.f64 (*.f64 2 (pow.f64 r -2)) 3/2)
	19.0b	(-.f64 (/.f64 2 (.f64 r r)) (/.f64 (-.f64 (.f64 (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 9/4) (-.f64 (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2)))
	20.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 w (.f64 (.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
	32.1b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	14.3b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (/.f64 (.f64 (-.f64 (.f64 3/8 (pow.f64 w 2)) (.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2))
	11.2b	(-.f64 (/.f64 2 (.f64 r r)) (exp.f64 (log.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))))
	18.6b	(-.f64 (.f64 2 (pow.f64 r -2)) (+.f64 3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))))
✓	9.7b	(-.f64 (.f64 2 (pow.f64 r -2)) (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	10.1b	(-.f64 (/.f64 2 (.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))

Compiler

Compiled 4197 to 2795 computations (33.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3)
✓	1.9b	(fma.f64 r (pow.f64 (cbrt.f64 (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2)
	11.7b	(.f64 r (.f64 w w))
✓	18.5b	(cbrt.f64 (.f64 (.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))

series3.1s (31.5%)

Counts

3 → 108

Calls

3 calls:

1.3s

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

1.2s

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

724.0ms

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

rewrite72.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

300×	`log1p-udef_binary64`
172×	`add-sqr-sqrt_binary64`
165×	`log1p-expm1-u_binary64`
165×	`expm1-log1p-u_binary64`
163×	`add-cbrt-cube_binary64`

Counts

3 → 109

Calls

3 calls:

69.0ms

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

69.0ms

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

69.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	66
1	364	66
2	4205	66
3	4847	66
0	0	0
1	0	0

simplify115.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

494×	`times-frac_binary64`
478×	`fma-neg_binary64`
384×	`cancel-sign-sub-inv_binary64`
239×	`distribute-rgt-out_binary64`
217×	`associate-r_binary64`

Counts

217 → 192

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	4840
1	620	3943
2	2152	3536
3	4664	3426
4	4977	3426

prune305.0ms (3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	205	4	209
Fresh	4	6	10
Picked	0	1	1
Done	1	0	1
Total	210	11	221

Error

1.5b

Counts

221 → 11

Alt Table

Status	Error	Program
✓	10.0b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (pow.f64 (cbrt.f64 (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2))
	23.9b	(-.f64 (*.f64 2 (pow.f64 r -2)) 3/2)
▶	2.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (.f64 r w) (.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
	19.0b	(-.f64 (/.f64 2 (.f64 r r)) (/.f64 (-.f64 (.f64 (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 9/4) (-.f64 (.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2)))
	20.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 w (.f64 (.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
	14.6b	(-.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)
	18.6b	(-.f64 (.f64 2 (pow.f64 r -2)) (+.f64 3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))))
	49.2b	(-.f64 (/.f64 2 (.f64 r r)) (+.f64 3/2 (.f64 (pow.f64 (exp.f64 (.f64 1/3 (+.f64 (.f64 2 (log.f64 w)) (log.f64 (/.f64 (.f64 r (-.f64 3/8 (.f64 1/4 v))) (-.f64 1 v)))))) 2) (.f64 r (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 (.f64 r (-.f64 3/8 (.f64 1/4 v))) (-.f64 1 v))) (*.f64 2 (log.f64 w)))))))))
	9.8b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (/.f64 (.f64 r (.f64 w w)) 1) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	10.1b	(-.f64 (/.f64 2 (.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2))
	32.1b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (.f64 w (sqrt.f64 r)) (.f64 (*.f64 w (sqrt.f64 r)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))

Compiler

Compiled 7515 to 4778 computations (36.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))
✓	0.2b	(.f64 (.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))
	0.5b	(/.f64 2 (*.f64 r r))
✓	1.9b	(fma.f64 r (.f64 (.f64 r w) (*.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2)

series98.0ms (1%)

Counts

3 → 96

Calls

3 calls:

49.0ms

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

37.0ms

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

12.0ms

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

rewrite74.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

279×	`expm1-udef_binary64`
278×	`log1p-udef_binary64`
157×	`add-sqr-sqrt_binary64`
150×	`prod-diff_binary64`
147×	`log1p-expm1-u_binary64`

Counts

3 → 68

Calls

3 calls:

72.0ms

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

72.0ms

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

72.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	58
1	318	57
2	3880	57
3	4918	57
0	0	0
1	0	0

simplify64.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

905×	`fma-def_binary64`
671×	`associate-l_binary64`
343×	`associate-/l*_binary64`
277×	`times-frac_binary64`
192×	`distribute-rgt-out_binary64`

Counts

164 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	126	2953
1	422	2662
2	1417	2057
3	5389	2057

prune190.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	147	4	151
Fresh	5	4	9
Picked	1	0	1
Done	0	1	1
Total	153	9	162

Error

0.0b

Counts

162 → 9

Alt Table

Status	Error	Program
✓	10.0b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (pow.f64 (cbrt.f64 (.f64 (.f64 r (.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2))
	0.3b	(-.f64 (/.f64 2 (.f64 r r)) (+.f64 3/2 (.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))
	9.8b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (/.f64 (.f64 r (.f64 w w)) 1) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2))
	2.1b	(-.f64 (.f64 (pow.f64 r -2) 2) (fma.f64 r (.f64 (.f64 r w) (.f64 w (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3/2))
	0.6b	(-.f64 (/.f64 2 (.f64 r r)) (pow.f64 (sqrt.f64 (+.f64 3/2 (.f64 (pow.f64 (*.f64 r w) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 2))
	14.6b	(-.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)
	18.6b	(-.f64 (.f64 2 (pow.f64 r -2)) (+.f64 3/2 (.f64 (.f64 r r) (/.f64 (.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8))))))
	20.2b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 w (.f64 (.f64 w r) (fma.f64 v 1/8 3/8))) 3/2))
	5.5b	(-.f64 (/.f64 2 (.f64 r r)) (fma.f64 r (.f64 (.f64 r w) (/.f64 (.f64 w (fma.f64 v -1/4 3/8)) (-.f64 1 v))) 3/2))

Compiler

Compiled 4360 to 2717 computations (37.7% saved)

regimes906.0ms (9.1%)

Accuracy

Total 0.3b remaining (82%)

Threshold costs 0.3b (82%)

Counts

124 → 1

Compiler

Compiled 21987 to 15823 computations (28% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	32
1	28	32
2	40	32
3	53	32
4	63	32
5	70	32
6	74	32
7	75	32
8	73	32

end216.0ms (2.2%)

Compiler: Compiled 293 to 216 computations (26.3% saved)

Details

analyze1.4s (13.8%)

sample2.4s (24.2%)

simplify47.0ms (0.5%)

prune5.0ms (0%)

localize13.0ms (0.1%)

series99.0ms (1%)

rewrite89.0ms (0.9%)

simplify60.0ms (0.6%)

prune241.0ms (2.4%)

localize14.0ms (0.1%)

series3.0ms (0%)

rewrite76.0ms (0.8%)

simplify137.0ms (1.4%)

prune208.0ms (2.1%)

localize16.0ms (0.2%)

series3.1s (31.5%)

rewrite72.0ms (0.7%)

simplify115.0ms (1.1%)

prune305.0ms (3%)

localize13.0ms (0.1%)

series98.0ms (1%)

rewrite74.0ms (0.7%)

simplify64.0ms (0.6%)

prune190.0ms (1.9%)

regimes906.0ms (9.1%)

simplify3.0ms (0%)

end216.0ms (2.2%)

Profiling