Details

analyze1.5s (14.6%)

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)

sample3.3s (32.1%)

Results

3.1s

8256×

body

128

valid

Compiler

Compiled 74 to 56 computations (24.3% saved)

simplify29.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	25
1	39	25
2	71	23
3	134	23
4	247	23
5	389	23
6	567	23
7	670	23
8	831	23
9	914	23
10	974	23
11	975	23
12	972	23

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

14.7b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

14.7b

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

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

Compiler

Compiled 129 to 93 computations (27.9% saved)

localize11.0ms (0.1%)

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.3b	(fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)
✓	14.2b	(/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))

series153.0ms (1.5%)

Counts

4 → 72

Calls

4 calls:

145.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)
4.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 692910599291889/10000000000000000 307332350656623/625000000000000)
2.0ms	(fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)

rewrite86.0ms (0.8%)

Algorithm

2×	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`

Counts

4 → 102

Calls

4 calls:

84.0ms	(fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)
84.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)
84.0ms	(fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)
84.0ms	(/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	56
1	323	56
2	3768	56
3	4779	56
0	0	0
1	0	0

simplify103.0ms (1%)

Algorithm

1×	egg-herbie

Rules

918×	`fma-neg_binary64`
610×	`cancel-sign-sub-inv_binary64`
511×	`associate-l_binary64`
357×	`associate-r_binary64`
300×	`fma-def_binary64`

Counts

174 → 151

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	96	1961
1	279	1748
2	712	1567
3	1908	1270
4	4432	1268
5	4979	1268

prune177.0ms (1.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

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

Error

0.1b

Counts

153 → 7

Alt Table

Status	Error	Program
	22.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)))
	15.1b	(fma.f64 y (*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)) 2) (sqrt.f64 (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) (/.f64 (cbrt.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)) (sqrt.f64 (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)))) x)
▶	14.7b	(fma.f64 y (pow.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) 2) x)
	14.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)
	15.1b	(+.f64 (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000))) (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x))
	35.8b	(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)
	17.8b	(fma.f64 y (+.f64 692910599291889/10000000000000000 (/.f64 751220861604756070699018739433/10000000000000000000000000000000 z)) x)

Compiler

Compiled 3574 to 2502 computations (30% saved)

localize13.0ms (0.1%)

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 (pow.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) 2) x)
	0.3b	(fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000)
	14.2b	(/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))

series168.0ms (1.7%)

Counts

1 → 36

Calls

1 calls:

168.0ms

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

rewrite87.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

313×	`log1p-udef_binary64`
177×	`add-sqr-sqrt_binary64`
171×	`log1p-expm1-u_binary64`
171×	`expm1-log1p-u_binary64`
169×	`add-log-exp_binary64`

Counts

1 → 23

Calls

1 calls:

86.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	23
1	370	23
2	4163	23
3	4789	23
0	0	0
1	0	0

simplify88.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

746×	`times-frac_binary64`
468×	`cancel-sign-sub-inv_binary64`
446×	`associate-l_binary64`
393×	`associate-r_binary64`
248×	`associate-+l+_binary64`

Counts

59 → 45

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	1676
1	212	1427
2	546	1280
3	1537	1094
4	4296	1094
5	5211	1094

prune291.0ms (2.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	149	2	151
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	150	8	158

Error

0.1b

Counts

158 → 8

Alt Table

Status	Error	Program
▶	9.7b	(fma.f64 y (pow.f64 (sqrt.f64 692910599291889/10000000000000000) 2) x)
	14.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)
	22.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)))
	15.1b	(fma.f64 y (*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)) 2) (sqrt.f64 (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) (/.f64 (cbrt.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)) (sqrt.f64 (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)))) x)
	14.3b	(+.f64 (fma.f64 692910599291889/10000000000000000 (.f64 z (/.f64 (.f64 y z) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) x) (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (+.f64 (.f64 307332350656623/625000000000000 z) 11167812716741/40000000000000)))
✓	14.7b	(fma.f64 y (pow.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) 2) x)
	15.1b	(+.f64 (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000))) (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x))
	35.8b	(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)

Compiler

Compiled 3969 to 2876 computations (27.5% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series26.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

26.0ms

(fma.f64 y (pow.f64 (sqrt.f64 692910599291889/10000000000000000) 2) x)

rewrite71.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

546×	`log1p-expm1-u_binary64`
546×	`expm1-log1p-u_binary64`
258×	`unpow-prod-down_binary64`
254×	`log-prod_binary64`
166×	`pow2_binary64`

Counts

1 → 36

Calls

1 calls:

70.0ms

(fma.f64 y (pow.f64 (sqrt.f64 692910599291889/10000000000000000) 2) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	5
1	146	5
2	1424	5
3	5035	5
0	0	0
1	0	0

simplify185.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1171×	`sqr-pow_binary64`
626×	`fabs-mul_binary64`
615×	`cube-prod_binary64`
561×	`pow-sqr_binary64`
367×	`associate-l_binary64`

Counts

60 → 41

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	210
1	17	105
2	28	105
3	44	105
4	80	105
5	196	105
6	573	105
7	775	105
8	822	105
9	941	105
10	1091	105
11	1301	105
12	1516	105
13	1744	105
14	2080	105
15	2524	105
16	3074	105
17	3365	105
18	3571	105
19	3637	105
20	3660	105
21	3674	105
22	4215	105
23	4724	105
24	4886	105

prune155.0ms (1.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	40	9	49

Error

0.1b

Counts

49 → 9

Alt Table

Status	Error	Program
✓	9.7b	(fma.f64 y (pow.f64 (sqrt.f64 692910599291889/10000000000000000) 2) x)
	14.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)
	22.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)))
	15.1b	(fma.f64 y (*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)) 2) (sqrt.f64 (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) (/.f64 (cbrt.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000)) (sqrt.f64 (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)))) x)
	33.9b	(pow.f64 (sqrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 2)
	14.3b	(+.f64 (fma.f64 692910599291889/10000000000000000 (.f64 z (/.f64 (.f64 y z) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) x) (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (+.f64 (.f64 307332350656623/625000000000000 z) 11167812716741/40000000000000)))
▶	10.7b	(*.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) (pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 2))
✓	14.7b	(fma.f64 y (pow.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) 2) x)
	15.1b	(+.f64 (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000))) (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x))

Compiler

Compiled 788 to 573 computations (27.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series126.0ms (1.2%)

Counts

4 → 96

Calls

4 calls:

71.0ms	(pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 2)
42.0ms	(cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))
7.0ms	(*.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) (pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 2))
6.0ms	(fma.f64 y 692910599291889/10000000000000000 x)

rewrite127.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
292×	`log-prod_binary64`
128×	`expm1-udef_binary64`
128×	`log1p-udef_binary64`

Counts

4 → 119

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	163	25
2	1589	25
3	4928	25
4	4872	25
0	0	0
1	0	0

simplify146.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

757×	`associate-/l*_binary64`
683×	`fma-def_binary64`
233×	`cancel-sign-sub-inv_binary64`
221×	`associate-/r/_binary64`
195×	`unswap-sqr_binary64`

Counts

215 → 179

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	212	2441
1	638	2383
2	2074	2093
3	5022	2093

prune308.0ms (3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	252	4	256
Fresh	1	5	6
Picked	1	0	1
Done	0	2	2
Total	254	11	265

Error

0.0b

Counts

265 → 11

Alt Table

Status	Error	Program
	10.0b	(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 692910599291889/10000000000000000) x)
	33.9b	(pow.f64 (sqrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 2)
✓	9.7b	(fma.f64 y (pow.f64 (sqrt.f64 692910599291889/10000000000000000) 2) x)
	14.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)
	11.0b	(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x))) 3) (pow.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) 2))
	22.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)))
	14.3b	(+.f64 (fma.f64 692910599291889/10000000000000000 (.f64 z (/.f64 (.f64 y z) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) x) (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (+.f64 (.f64 307332350656623/625000000000000 z) 11167812716741/40000000000000)))
✓	14.7b	(fma.f64 y (pow.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000) 11167812716741/40000000000000) (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000))) 2) x)
	15.1b	(+.f64 (.f64 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) (.f64 z (fma.f64 z 692910599291889/10000000000000000 307332350656623/625000000000000))) (fma.f64 11167812716741/40000000000000 (/.f64 y (fma.f64 z (+.f64 z 6012459259764103/1000000000000000) 104698244219447/31250000000000)) x))
	51.4b	(.f64 (cbrt.f64 (fma.f64 y 692910599291889/10000000000000000 x)) (cbrt.f64 (.f64 (*.f64 y y) 480125098611044764748221188321/100000000000000000000000000000000)))
	34.7b	(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) 692910599291889/10000000000000000) x)

Compiler

Compiled 6880 to 5106 computations (25.8% saved)

regimes2.6s (25.9%)

Accuracy

Total 0.3b remaining (83.7%)

Threshold costs 0.3b (83.7%)

Counts

141 → 3

Compiler

Compiled 13003 to 9623 computations (26% saved)

bsearch59.0ms (0.6%)

Steps

Iters	Range		Point
9	1.3267338232376587e-12	0.0005391094523716547	0.0005254502913319
1	-31819730687257125000.0	-31736057838964420.0	-1004960217411823400.0

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	68
1	36	68
2	35	68

end350.0ms (3.4%)

Compiler: Compiled 314 to 229 computations (27.1% saved)

Iter	Nodes	Cost
0	19	25
1	39	25
2	71	23
3	134	23
4	247	23
5	389	23
6	567	23
7	670	23
8	831	23
9	914	23
10	974	23
11	975	23
12	972	23

Iter	Nodes	Cost
0	19	25
1	39	25
2	71	23
3	134	23
4	247	23
5	389	23
6	567	23
7	670	23
8	831	23
9	914	23
10	974	23
11	975	23
12	972	23

Details

analyze1.5s (14.6%)

sample3.3s (32.1%)

simplify29.0ms (0.3%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series153.0ms (1.5%)

rewrite86.0ms (0.8%)

simplify103.0ms (1%)

prune177.0ms (1.7%)

localize13.0ms (0.1%)

series168.0ms (1.7%)

rewrite87.0ms (0.9%)

simplify88.0ms (0.9%)

prune291.0ms (2.9%)

localize10.0ms (0.1%)

series26.0ms (0.3%)

rewrite71.0ms (0.7%)

simplify185.0ms (1.8%)

prune155.0ms (1.5%)

localize13.0ms (0.1%)

series126.0ms (1.2%)

rewrite127.0ms (1.2%)

simplify146.0ms (1.4%)

prune308.0ms (3%)

regimes2.6s (25.9%)

bsearch59.0ms (0.6%)

simplify6.0ms (0.1%)

end350.0ms (3.4%)

Profiling

Iter	Nodes	Cost
0	19	25
1	39	25
2	71	23
3	134	23
4	247	23
5	389	23
6	567	23
7	670	23
8	831	23
9	914	23
10	974	23
11	975	23
12	972	23