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.1s (30.8%)

Results

1.3s	8256×	body	128	valid
760.0ms	4920×	body	128	invalid

Compiler

Compiled 66 to 50 computations (24.2% saved)

preprocess32.0ms (0.5%)

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)

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

8.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	10.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)
	15.0b	(-.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))

Status

Error

Program

▶

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

15.0b

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

Compiler

Compiled 171 to 118 computations (31% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.4b	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))
✓	5.5b	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))
✓	8.2b	(.f64 (.f64 w w) r)
✓	8.2b	(.f64 (.f64 (*.f64 w w) r) r)

series141.0ms (2.1%)

Counts

4 → 120

Calls

30 calls:

36.0ms	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))	w	0
9.0ms	(.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r))	v	-inf
7.0ms	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))	r	inf
6.0ms	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))	r	0
6.0ms	(/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (.f64 w w) r) r)) (-.f64 1 v))	r	-inf

rewrite76.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

280×	`prod-diff_binary64`
185×	`add-sqr-sqrt_binary64`
177×	`*-un-lft-identity_binary64`
177×	`pow1_binary64`
172×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	67
1	372	58
2	4958	58

Stop Event

1×	node limit

Counts

4 → 98

simplify66.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	4113	2077

Stop Event

1×	node limit

Counts

218 → 126

prune275.0ms (4%)

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
	15.6b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 w (.f64 (.f64 w (*.f64 r r)) 1/4))) 9/2)
	19.0b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (.f64 w r) (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)))) (pow.f64 (cbrt.f64 (-.f64 1 v)) 2)) (/.f64 (.f64 (.f64 w r) (sqrt.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)))) (cbrt.f64 (-.f64 1 v))))) 9/2)
	14.8b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (.f64 w r) (.f64 (*.f64 w r) (fma.f64 1/8 v 3/8)))) 9/2)
	6.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (pow.f64 (cbrt.f64 (pow.f64 (*.f64 w r) 2)) 3)) (-.f64 1 v))) 9/2)
	7.7b	(-.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)
	0.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (.f64 (pow.f64 (.f64 w r) 2) (/.f64 1 (-.f64 1 v))))) 9/2)
	7.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (pow.f64 (.f64 w r) 2) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (-.f64 1 (*.f64 v v))) (+.f64 v 1))) 9/2)
	19.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (.f64 1/8 (fma.f64 v -2 3))))) 9/2)
	18.9b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (pow.f64 (.f64 w r) 2) (sqrt.f64 (-.f64 1 v))) (/.f64 (+.f64 3/8 (.f64 (*.f64 v -2) 1/8)) (sqrt.f64 (-.f64 1 v))))) 9/2)
	15.0b	(-.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)) (-.f64 1 v)) (pow.f64 (*.f64 w r) 2))) 9/2)

Compiler

Compiled 4775 to 3409 computations (28.6% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series55.0ms (0.8%)

Counts

4 → 84

Calls

21 calls:

7.0ms	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))	r	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
6.0ms	(.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))	w	inf
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

rewrite33.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

204×	`add-sqr-sqrt_binary64`
194×	`pow1_binary64`
193×	`*-un-lft-identity_binary64`
190×	`add-log-exp_binary64`
190×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	40
1	417	38

Stop Event

1×	node limit

Counts

4 → 89

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

724×	`cancel-sign-sub-inv_binary64`
425×	`unswap-sqr_binary64`
387×	`fma-neg_binary64`
384×	`associate-l_binary64`
316×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	47	1449
1	154	1397
2	581	1273
3	3521	1273

Stop Event

1×	node limit

Counts

173 → 111

prune296.0ms (4.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	106	5	111
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	112	10	122

Error

0.0b

Counts

122 → 10

Alt Table

Status	Error	Program
	19.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (.f64 1/8 (fma.f64 v -2 3))))) 9/2)
	2.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 r (.f64 w (*.f64 r w))))) 9/2)
	11.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 r (.f64 r (.f64 (*.f64 w w) 3/8)))) 9/2)
▶	0.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (pow.f64 (.f64 (*.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)) 9/2)
	0.7b	(-.f64 (-.f64 (+.f64 3 (pow.f64 (/.f64 (sqrt.f64 2) r) 2)) (.f64 (/.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (-.f64 1 v)) (pow.f64 (.f64 w r) 2))) 9/2)
	6.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (pow.f64 (cbrt.f64 (pow.f64 (*.f64 w r) 2)) 3)) (-.f64 1 v))) 9/2)
	0.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (.f64 (pow.f64 (.f64 w r) 2) (/.f64 1 (-.f64 1 v))))) 9/2)
	7.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (pow.f64 (.f64 w r) 2) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (-.f64 1 (*.f64 v v))) (+.f64 v 1))) 9/2)
	0.4b	(-.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)
	15.0b	(-.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))

Compiler

Compiled 3883 to 2772 computations (28.6% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series94.0ms (1.4%)

Counts

3 → 84

Calls

21 calls:

8.0ms	(.f64 (.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))	r	-inf
8.0ms	(pow.f64 (.f64 (.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)	r	-inf
8.0ms	(pow.f64 (.f64 (.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)	w	-inf
6.0ms	(pow.f64 (.f64 (.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)	w	0
6.0ms	(pow.f64 (.f64 (.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)	r	0

rewrite56.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

260×	`expm1-udef_binary64`
259×	`log1p-udef_binary64`
155×	`add-sqr-sqrt_binary64`
150×	`prod-diff_binary64`
147×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	54
1	320	52
2	3845	52

Stop Event

1×	node limit

Counts

3 → 78

simplify55.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

836×	`times-frac_binary64`
635×	`fma-def_binary64`
190×	`cancel-sign-sub-inv_binary64`
161×	`associate-/r/_binary64`
135×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	2273
1	452	2183
2	1768	1916

Stop Event

1×	node limit

Counts

162 → 128

prune318.0ms (4.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	150	2	152
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	152	10	162

Error

Counts

162 → 10

Alt Table

Status	Error	Program
	19.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (.f64 1/8 (fma.f64 v -2 3))))) 9/2)
	2.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 r (.f64 w (*.f64 r w))))) 9/2)
	11.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 r (.f64 r (.f64 (*.f64 w w) 3/8)))) 9/2)
✓	0.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (pow.f64 (.f64 (*.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)) 9/2)
▶	0.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (.f64 r w) 2))) (.f64 (cbrt.f64 (.f64 r (.f64 w (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) (.f64 r (*.f64 w (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))))) 9/2)
	1.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (expm1.f64 (log1p.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (*.f64 r w) 2))))) 9/2)
	0.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (.f64 (pow.f64 (.f64 w r) 2) (/.f64 1 (-.f64 1 v))))) 9/2)
	7.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (pow.f64 (.f64 w r) 2) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (-.f64 1 (*.f64 v v))) (+.f64 v 1))) 9/2)
	0.4b	(-.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)
	15.0b	(-.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))

Compiler

Compiled 5407 to 3864 computations (28.5% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (*.f64 r w) 2)
	0.5b	(/.f64 2 (*.f64 r r))
✓	3.7b	(cbrt.f64 (.f64 r (.f64 w (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))
✓	15.4b	(cbrt.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (.f64 r w) 2)))

series134.0ms (2%)

Counts

3 → 48

Calls

24 calls:

17.0ms	(cbrt.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (.f64 r w) 2)))	v	0
17.0ms	(cbrt.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (.f64 r w) 2)))	v	-inf
17.0ms	(cbrt.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (.f64 r w) 2)))	v	inf
14.0ms	(cbrt.f64 (.f64 r (.f64 w (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))	r	-inf
14.0ms	(cbrt.f64 (.f64 r (.f64 w (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))))	w	-inf

rewrite69.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

190×	`add-sqr-sqrt_binary64`
181×	`pow1_binary64`
180×	`*-un-lft-identity_binary64`
177×	`add-cbrt-cube_binary64`
176×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	398	50
2	4822	50

Stop Event

1×	node limit

Counts

3 → 83

simplify81.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

856×	`times-frac_binary64`
323×	`cancel-sign-sub-inv_binary64`
266×	`unswap-sqr_binary64`
208×	`associate-r_binary64`
176×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	161	2282
1	508	2026
2	2009	2023

Stop Event

1×	node limit

Counts

131 → 117

prune356.0ms (5.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	141	10	151

Error

Counts

151 → 10

Alt Table

Status	Error	Program
	19.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 w w) (-.f64 1 v)) (.f64 (.f64 r r) (.f64 1/8 (fma.f64 v -2 3))))) 9/2)
	2.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 r (.f64 w (*.f64 r w))))) 9/2)
	11.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 r (.f64 r (.f64 (*.f64 w w) 3/8)))) 9/2)
✓	0.3b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (pow.f64 (.f64 (*.f64 r w) (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 2)) 9/2)
✓	0.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (cbrt.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (.f64 r w) 2))) (.f64 (cbrt.f64 (.f64 r (.f64 w (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))) (.f64 r (*.f64 w (sqrt.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))))))) 9/2)
	1.7b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (expm1.f64 (log1p.f64 (.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) (pow.f64 (*.f64 r w) 2))))) 9/2)
	0.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (+.f64 3/8 (.f64 (.f64 v -2) 1/8)) (.f64 (pow.f64 (.f64 w r) 2) (/.f64 1 (-.f64 1 v))))) 9/2)
	7.4b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (.f64 (/.f64 (.f64 (pow.f64 (.f64 w r) 2) (+.f64 3/8 (.f64 (.f64 v -2) 1/8))) (-.f64 1 (*.f64 v v))) (+.f64 v 1))) 9/2)
	0.4b	(-.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)
	15.0b	(-.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))

Compiler

Compiled 9662 to 6953 computations (28% saved)

regimes783.0ms (11.5%)

Accuracy

Total 0.2b remaining (84.8%)

Threshold costs 0.2b (84.8%)

Counts

105 → 1

Compiler

Compiled 19651 to 15333 computations (22% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	37
1	36	37
2	44	37
3	48	37
4	50	37

Stop Event

1×

saturated

end217.0ms (3.2%)

Stop Event

1×

fuel

Compiler

Compiled 379 to 292 computations (23% saved)

Details

analyze1.4s (20.7%)

sample2.1s (30.8%)

preprocess32.0ms (0.5%)

simplify22.0ms (0.3%)

prune6.0ms (0.1%)

localize16.0ms (0.2%)

series141.0ms (2.1%)

rewrite76.0ms (1.1%)

simplify66.0ms (1%)

prune275.0ms (4%)

localize17.0ms (0.3%)

series55.0ms (0.8%)

rewrite33.0ms (0.5%)

simplify52.0ms (0.8%)

prune296.0ms (4.4%)

localize17.0ms (0.3%)

series94.0ms (1.4%)

rewrite56.0ms (0.8%)

simplify55.0ms (0.8%)

prune318.0ms (4.7%)

localize26.0ms (0.4%)

series134.0ms (2%)

rewrite69.0ms (1%)

simplify81.0ms (1.2%)

prune356.0ms (5.2%)

regimes783.0ms (11.5%)

simplify3.0ms (0%)

end217.0ms (3.2%)

Profiling