Details

analyze51.0ms (0.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
50%	50%	0.1%	4
50%	50%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
87.4%	12.5%	0.1%	8
87.4%	12.5%	0.1%	9
93.7%	6.2%	0.1%	10
93.7%	6.2%	0.1%	11
96.8%	3.1%	0.1%	12
96.8%	3.1%	0.1%	13
99.1%	0.8%	0.1%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample840.0ms (13.1%)

Results

725.0ms	7958×	body	128	valid
30.0ms	115×	body	1024	valid
26.0ms	84×	body	2048	valid
13.0ms	63×	body	512	valid
5.0ms	36×	body	256	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify16.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

97×	`fma-neg_binary64`
32×	`cancel-sign-sub-inv_binary64`
30×	`fma-def_binary64`
29×	`sub-neg_binary64`
17×	`distribute-rgt-neg-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	20	12
3	29	12
4	45	12
5	79	12
6	97	12
7	123	12
8	174	10
9	188	10
10	229	10
11	263	10
12	283	10
13	291	10
14	296	10
15	256	10

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)

Compiler

Compiled 35 to 21 computations (40% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)

series9.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)

simplify80.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

557×	`distribute-rgt-neg-out_binary64`
515×	`neg-mul-1_binary64`
507×	`neg-sub0_binary64`
481×	`distribute-rgt-out_binary64`
469×	`*-commutative_binary64`

Counts

34 → 21

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	374
1	26	353
2	55	353
3	125	353
4	320	353
5	990	353
6	1892	353
7	2461	353
8	3898	353
9	5066	353

prune14.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	19	2	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	3	22

Error

0.0b

Counts

22 → 3

Alt Table

Status	Error	Program
▶	16.4b	(*.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
✓	0.1b	(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
	41.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))

Compiler

Compiled 341 to 158 computations (53.7% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
✓	0.0b	(sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))
✓	0.3b	(*.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))

series27.0ms (0.4%)

Counts

2 → 40

Calls

2 calls:

21.0ms	(sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))
5.0ms	(*.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
21×	`sqrt-prod_binary64`
18×	`pow1_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`

Counts

2 → 68

Calls

2 calls:

5.0ms	(*.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
1.0ms	(sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))

simplify85.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

682×	`times-frac_binary64`
581×	`fma-def_binary64`
306×	`distribute-lft-in_binary64`
304×	`distribute-rgt-in_binary64`
283×	`fma-neg_binary64`

Counts

108 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	89	1747
1	180	1580
2	499	1518
3	1804	1478
4	4926	1478
5	5056	1478

prune128.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	170	3	173
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	170	6	176

Error

0.0b

Counts

176 → 6

Alt Table

Status	Error	Program
✓	16.4b	(*.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
✓	0.1b	(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
▶	16.6b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
	17.0b	(.f64 (.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
	17.5b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
	41.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))

Compiler

Compiled 4482 to 2214 computations (50.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
✓	0.3b	(*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
✓	0.5b	(*.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
✓	0.5b	(cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))

series1.4s (21.6%)

Counts

4 → 96

Calls

4 calls:

492.0ms	(*.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
486.0ms	(*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
398.0ms	(cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))
9.0ms	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))

rewrite35.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`add-sqr-sqrt_binary64`
30×	`pow1_binary64`
26×	`cbrt-prod_binary64`
21×	`sqrt-pow1_binary64`
21×	`pow1/3_binary64`

Counts

4 → 127

Calls

4 calls:

13.0ms	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
6.0ms	(*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
4.0ms	(*.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
1.0ms	(cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))

simplify188.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

406×	`fma-def_binary64`
388×	`unswap-sqr_binary64`
310×	`fma-neg_binary64`
245×	`associate-r_binary64`
229×	`associate-l_binary64`

Counts

223 → 217

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	240	5435
1	576	4965
2	1705	4744
3	4381	4425
4	4542	4083
5	4941	4083
6	4970	4083

prune338.0ms (5.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	307	2	309
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	308	7	315

Error

Counts

315 → 7

Alt Table

Status	Error	Program
✓	16.4b	(*.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
✓	0.1b	(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
✓	16.6b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
	18.4b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (sqrt.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (sqrt.f64 (fma.f64 1/2 (fabs.f64 (-.f64 y x)) x)) (pow.f64 (fma.f64 1/2 (fabs.f64 (-.f64 y x)) x) 1/12))))
▶	17.5b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
	29.7b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (sqrt.f64 (*.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
	41.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))

Compiler

Compiled 14608 to 7488 computations (48.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
✓	0.3b	(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
✓	0.4b	(cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
✓	0.4b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))

series1.3s (20.2%)

Counts

4 → 96

Calls

4 calls:

507.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
401.0ms	(cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
384.0ms	(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
7.0ms	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))

rewrite169.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

787×	`pow1_binary64`
407×	`pow-prod-up_binary64`
203×	`pow-prod-down_binary64`
180×	`pow-sqr_binary64`
177×	`pow1/3_binary64`

Counts

4 → 383

Calls

4 calls:

45.0ms	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
15.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
7.0ms	(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
1.0ms	(cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))

simplify234.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

673×	`fma-def_binary64`
385×	`times-frac_binary64`
335×	`unswap-sqr_binary64`
244×	`cancel-sign-sub-inv_binary64`
232×	`associate-r_binary64`

Counts

479 → 342

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	304	6799
1	709	6191
2	2135	5728
3	4811	5725
4	4983	5725
5	4919	5725

prune866.0ms (13.5%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	779	0	779
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	779	7	786

Error

Counts

786 → 7

Alt Table

Status	Error	Program
✓	16.4b	(*.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))
✓	0.1b	(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
✓	16.6b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
	18.4b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (sqrt.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (sqrt.f64 (fma.f64 1/2 (fabs.f64 (-.f64 y x)) x)) (pow.f64 (fma.f64 1/2 (fabs.f64 (-.f64 y x)) x) 1/12))))
✓	17.5b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))) (cbrt.f64 (sqrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))))
	29.7b	(.f64 (sqrt.f64 (.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))) (sqrt.f64 (*.f64 (cbrt.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x))))
	41.4b	(cbrt.f64 (.f64 (.f64 (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)) (fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)))

Compiler

Compiled 50118 to 26616 computations (46.9% saved)

regimes474.0ms (7.4%)

Accuracy

Total 0.0b remaining (57.2%)

Threshold costs 0.0b (57.2%)

Counts

102 → 1

Compiler

Compiled 10373 to 6043 computations (41.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10
2	18	10
3	23	10
4	26	10
5	27	10
6	27	10

end138.0ms (2.1%)

Compiler: Compiled 260 to 143 computations (45% saved)

Iter	Nodes	Cost
0	8	12
1	13	12
2	20	12
3	29	12
4	45	12
5	79	12
6	97	12
7	123	12
8	174	10
9	188	10
10	229	10
11	263	10
12	283	10
13	291	10
14	296	10
15	256	10

Iter	Nodes	Cost
0	8	12
1	13	12
2	20	12
3	29	12
4	45	12
5	79	12
6	97	12
7	123	12
8	174	10
9	188	10
10	229	10
11	263	10
12	283	10
13	291	10
14	296	10
15	256	10

Details

analyze51.0ms (0.8%)

sample840.0ms (13.1%)

simplify16.0ms (0.2%)

prune2.0ms (0%)

localize4.0ms (0.1%)

series9.0ms (0.1%)

rewrite1.0ms (0%)

simplify80.0ms (1.2%)

prune14.0ms (0.2%)

localize6.0ms (0.1%)

series27.0ms (0.4%)

rewrite10.0ms (0.2%)

simplify85.0ms (1.3%)

prune128.0ms (2%)

localize11.0ms (0.2%)

series1.4s (21.6%)

rewrite35.0ms (0.5%)

simplify188.0ms (2.9%)

prune338.0ms (5.3%)

localize11.0ms (0.2%)

series1.3s (20.2%)

rewrite169.0ms (2.6%)

simplify234.0ms (3.6%)

prune866.0ms (13.5%)

regimes474.0ms (7.4%)

simplify2.0ms (0%)

end138.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	8	12
1	13	12
2	20	12
3	29	12
4	45	12
5	79	12
6	97	12
7	123	12
8	174	10
9	188	10
10	229	10
11	263	10
12	283	10
13	291	10
14	296	10
15	256	10