Details

analyze860.0ms (16%)

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
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
18.7%	81.1%	0.1%	9
42.1%	57.7%	0.1%	10
49.1%	50.7%	0.1%	11
49.1%	50.7%	0.1%	12
66.9%	33%	0.1%	13
71.7%	28.2%	0.1%	14

Compiler

Compiled 25 to 19 computations (24% saved)

sample1.2s (22.1%)

Results

1.1s

8256×

body

128

valid

Compiler

Compiled 74 to 56 computations (24.3% saved)

simplify22.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
94×	`distribute-rgt-out_binary64`
88×	`associate-/l*_binary64`
68×	`associate-l_binary64`
64×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	25
1	39	25
2	74	23
3	175	23
4	349	23
5	607	23
6	878	23
7	1010	23
8	1256	23
9	1671	23
10	1735	23
11	1736	23

Stop Event

1×

saturated

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

17.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	23.4b	(+.f64 x (/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 692910599291889/10000000000000000) 307332350656623/625000000000000) z) 11167812716741/40000000000000)) (+.f64 (.f64 (+.f64 z 6012459259764103/1000000000000000) z) 104698244219447/31250000000000)))
▶	17.6b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)

Status

Error

Program

23.4b

(+.f64 x (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z 692910599291889/10000000000000000) 307332350656623/625000000000000) z) 11167812716741/40000000000000)) (+.f64 (*.f64 (+.f64 z 6012459259764103/1000000000000000) z) 104698244219447/31250000000000)))

▶

17.6b

(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)

Compiler

Compiled 129 to 93 computations (27.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)
✓	0.2b	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)
✓	0.2b	(fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)
✓	17.1b	(/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))

series83.0ms (1.5%)

Counts

4 → 72

Calls

4 calls:

76.0ms	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)
3.0ms	(/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))
2.0ms	(fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)
1.0ms	(fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)

rewrite78.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

285×	`expm1-udef_binary64`
285×	`log1p-udef_binary64`
160×	`add-sqr-sqrt_binary64`
159×	`prod-diff_binary64`
152×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	56
1	323	56
2	3886	56

Stop Event

1×	node limit

Counts

4 → 102

Calls

4 calls:

76.0ms	(fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)
76.0ms	(fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)
76.0ms	(fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)
76.0ms	(/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))

simplify63.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

611×	`cancel-sign-sub-inv_binary64`
508×	`associate-l_binary64`
322×	`fma-neg_binary64`
300×	`fma-def_binary64`
183×	`associate-/r*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1961
1	280	1748
2	767	1567
3	2287	1270

Stop Event

1×	node limit

Counts

174 → 151

prune183.0ms (3.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	144	7	151
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	146	7	153

Error

0.1b

Counts

153 → 7

Alt Table

Status	Error	Program
	17.8b	(fma.f64 y (pow.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) 3) 1/3) x)
	37.9b	(pow.f64 (sqrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)) 2)
	18.4b	(+.f64 x (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)))))
	23.4b	(+.f64 (.f64 307332350656623/625000000000000 (/.f64 (.f64 y z) (+.f64 104698244219447/31250000000000 (+.f64 (pow.f64 z 2) (.f64 6012459259764103/1000000000000000 z))))) (+.f64 (.f64 11167812716741/40000000000000 (/.f64 y (+.f64 104698244219447/31250000000000 (+.f64 (pow.f64 z 2) (.f64 6012459259764103/1000000000000000 z))))) (+.f64 (.f64 692910599291889/10000000000000000 (/.f64 (.f64 y (pow.f64 z 2)) (+.f64 104698244219447/31250000000000 (+.f64 (pow.f64 z 2) (.f64 6012459259764103/1000000000000000 z))))) x)))
	17.7b	(fma.f64 y (/.f64 (fma.f64 z (pow.f64 (cbrt.f64 (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)) 3) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)
▶	11.6b	(fma.f64 y 692910599291889/10000000000000000 x)
	18.5b	(pow.f64 (cbrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)) 3)

Compiler

Compiled 3588 to 2516 computations (29.9% saved)

localize3.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 y 692910599291889/10000000000000000 x)

series10.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

10.0ms

(fma.f64 y 692910599291889/10000000000000000 x)

rewrite33.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

416×	`log1p-expm1-u_binary64`
416×	`expm1-log1p-u_binary64`
365×	`pow1_binary64`
210×	`unpow-prod-down_binary64`
202×	`log-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	100	5
2	1114	5

Stop Event

1×	node limit

Counts

1 → 39

Calls

1 calls:

33.0ms

(fma.f64 y 692910599291889/10000000000000000 x)

simplify35.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	105
1	9	105
2	10	105

Stop Event

1×

saturated

Counts

63 → 43

prune35.0ms (0.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	41	9	50

Error

0.1b

Counts

50 → 9

Alt Table

Status	Error	Program
	13.1b	(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) 2) 3) (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)))
	17.7b	(fma.f64 y (/.f64 (fma.f64 z (pow.f64 (cbrt.f64 (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)) 3) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)
	47.6b	(cbrt.f64 (pow.f64 (fma.f64 y 692910599291889/10000000000000000 x) 3))
	17.8b	(fma.f64 y (pow.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) 3) 1/3) x)
▶	12.5b	(pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 3)
	18.4b	(+.f64 x (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)))))
	35.7b	(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) 3))
✓	11.6b	(fma.f64 y 692910599291889/10000000000000000 x)
	18.5b	(pow.f64 (cbrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)) 3)

Compiler

Compiled 747 to 548 computations (26.6% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.3b	(fma.f64 y 692910599291889/10000000000000000 x)
✓	0.6b	(cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))
✓	0.8b	(pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 3)

series66.0ms (1.2%)

Counts

2 → 16

Calls

2 calls:

53.0ms	(pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 3)
13.0ms	(cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))

rewrite47.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

584×	`log1p-expm1-u_binary64`
584×	`expm1-log1p-u_binary64`
271×	`log-prod_binary64`
169×	`pow2_binary64`
120×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	161	12
2	1615	12

Stop Event

1×	node limit

Counts

2 → 65

Calls

2 calls:

46.0ms	(cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))
46.0ms	(pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 3)

simplify35.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

841×	`associate-l_binary64`
481×	`fma-def_binary64`
321×	`*-commutative_binary64`
213×	`cancel-sign-sub-inv_binary64`
192×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	124	891
1	372	883
2	1260	852

Stop Event

1×	node limit

Counts

81 → 95

prune117.0ms (2.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	133	5	138
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	136	11	147

Error

0.0b

Counts

147 → 11

Alt Table

Status	Error	Program
	17.7b	(fma.f64 y (/.f64 (fma.f64 z (pow.f64 (cbrt.f64 (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)) 3) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)
▶	11.8b	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
	17.8b	(fma.f64 y (pow.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) 3) 1/3) x)
	36.6b	(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 y 692910599291889/10000000000000000 x) 2))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) (cbrt.f64 (pow.f64 (fma.f64 y 692910599291889/10000000000000000 x) 2))))
	37.7b	(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) 692910599291889/10000000000000000) x)
	41.0b	(pow.f64 (*.f64 (cbrt.f64 692910599291889/10000000000000000) (cbrt.f64 y)) 3)
	18.5b	(pow.f64 (cbrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)) 3)
	18.4b	(+.f64 x (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)))))
	35.7b	(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) 3))
	48.0b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 332683769813656330865983273121589448716828369/1000000000000000000000000000000000000000000000000 (pow.f64 y 3)) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 y 692910599291889/10000000000000000) 2) (-.f64 (.f64 x x) (.f64 (*.f64 y 692910599291889/10000000000000000) x))))) 3)
✓	11.6b	(fma.f64 y 692910599291889/10000000000000000 x)

Compiler

Compiled 2758 to 2137 computations (22.5% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
✓	0.5b	(pow.f64 (cbrt.f64 y) 2)
✓	0.5b	(*.f64 (cbrt.f64 y) 692910599291889/10000000000000000)
✓	0.5b	(cbrt.f64 y)

series101.0ms (1.9%)

Counts

4 → 15

Calls

4 calls:

48.0ms	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
27.0ms	(pow.f64 (cbrt.f64 y) 2)
14.0ms	(*.f64 (cbrt.f64 y) 692910599291889/10000000000000000)
11.0ms	(cbrt.f64 y)

rewrite49.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

694×	`log1p-expm1-u_binary64`
694×	`expm1-log1p-u_binary64`
146×	`expm1-udef_binary64`
146×	`log1p-udef_binary64`
85×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	181	22
2	1968	22

Stop Event

1×	node limit

Counts

4 → 77

Calls

4 calls:

48.0ms	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
48.0ms	(pow.f64 (cbrt.f64 y) 2)
48.0ms	(*.f64 (cbrt.f64 y) 692910599291889/10000000000000000)
48.0ms	(cbrt.f64 y)

simplify30.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	54
1	9	54
2	10	54

Stop Event

1×

saturated

Counts

92 → 81

prune103.0ms (1.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	100	4	104
Fresh	2	7	9
Picked	0	1	1
Done	0	1	1
Total	102	13	115

Error

0.0b

Counts

115 → 13

Alt Table

Status	Error	Program
	17.7b	(fma.f64 y (/.f64 (fma.f64 z (pow.f64 (cbrt.f64 (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)) 3) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)
	11.9b	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 3) 692910599291889/10000000000000000) x)
✓	11.8b	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
	17.8b	(fma.f64 y (pow.f64 (pow.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) 3) 1/3) x)
	36.6b	(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 y 692910599291889/10000000000000000 x) 2))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) (cbrt.f64 (pow.f64 (fma.f64 y 692910599291889/10000000000000000 x) 2))))
	37.7b	(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) 692910599291889/10000000000000000) x)
	18.5b	(pow.f64 (cbrt.f64 (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x)) 3)
	18.4b	(+.f64 x (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)))))
	17.9b	(fma.f64 (sqrt.f64 (.f64 y (cbrt.f64 y))) (.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
	11.9b	(fma.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 y))) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
	48.0b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 332683769813656330865983273121589448716828369/1000000000000000000000000000000000000000000000000 (pow.f64 y 3)) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 y 692910599291889/10000000000000000) 2) (-.f64 (.f64 x x) (.f64 (*.f64 y 692910599291889/10000000000000000) x))))) 3)
✓	11.6b	(fma.f64 y 692910599291889/10000000000000000 x)
	17.9b	(fma.f64 (pow.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 y (cbrt.f64 y)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2))) 2) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)

Compiler

Compiled 1542 to 938 computations (39.2% saved)

regimes1.9s (36.2%)

Accuracy

Total 0.1b remaining (68.8%)

Threshold costs 0.1b (68.8%)

Counts

191 → 3

Compiler

Compiled 17678 to 13388 computations (24.3% saved)

bsearch50.0ms (0.9%)

Steps

Iters	Range		Point
10	0.25684162106722397	51844314701.5997	2092713.5458700638
5	-1.5541873432777608e+32	-5255274192941128000.0	-14193016526032128000.0

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`distribute-neg-frac_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	95
1	45	95
2	52	95
3	54	95
4	55	95

Stop Event

1×

saturated

end211.0ms (3.9%)

Compiler: Compiled 401 to 284 computations (29.2% saved)

Details

analyze860.0ms (16%)

sample1.2s (22.1%)

simplify22.0ms (0.4%)

prune4.0ms (0.1%)

localize12.0ms (0.2%)

series83.0ms (1.5%)

rewrite78.0ms (1.4%)

simplify63.0ms (1.2%)

prune183.0ms (3.4%)

localize3.0ms (0%)

series10.0ms (0.2%)

rewrite33.0ms (0.6%)

simplify35.0ms (0.6%)

prune35.0ms (0.7%)

localize5.0ms (0.1%)

series66.0ms (1.2%)

rewrite47.0ms (0.9%)

simplify35.0ms (0.6%)

prune117.0ms (2.2%)

localize6.0ms (0.1%)

series101.0ms (1.9%)

rewrite49.0ms (0.9%)

simplify30.0ms (0.6%)

prune103.0ms (1.9%)

regimes1.9s (36.2%)

bsearch50.0ms (0.9%)

simplify5.0ms (0.1%)

end211.0ms (3.9%)

Profiling