Details

analyze84.0ms (1.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	12.5%	87.5%	0
0%	12.5%	87.5%	1
0%	12.5%	87.5%	2
3.1%	9.3%	87.5%	3
3.1%	6.2%	90.7%	4
4.7%	4.7%	90.7%	5
4.7%	3.5%	91.8%	6
5.6%	2.5%	91.8%	7
5.9%	1.8%	92.3%	8
6.4%	1.3%	92.3%	9
6.6%	0.9%	92.5%	10
6.8%	0.6%	92.5%	11
6.9%	0.5%	92.6%	12
7%	0.3%	92.6%	13
7.1%	0.2%	92.7%	14

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.0s (18.6%)

Symmetry

(sort m v)

Results

946.0ms	8256×	body	128	valid
7.0ms	68×	body	128	invalid

Compiler

Compiled 67 to 49 computations (26.9% saved)

simplify56.0ms (1%)

Algorithm

1×	egg-herbie

Rules

742×	`rules-20_binary64`
587×	`fma-neg_binary64`
556×	`rules-21_binary64`
355×	`rules-11_binary64`
348×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	62	17
2	211	17
3	922	17
4	3986	17
5	16	17

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

36.6b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	36.6b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

Compiler

Compiled 57 to 41 computations (28.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
✓	0.0b	(*.f64 m (-.f64 1 m))
✓	0.0b	(/.f64 (*.f64 m (-.f64 1 m)) v)

series21.0ms (0.4%)

Counts

3 → 56

Calls

3 calls:

9.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
9.0ms	(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
2.0ms	(*.f64 m (-.f64 1 m))

rewrite78.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

946×	`prod-diff_binary64`
861×	`expm1-log1p-u_binary64`
196×	`egg-rr`
86×	`add-sqr-sqrt_binary64`
81×	`log1p-expm1-u_binary64`

Counts

3 → 196

Calls

3 calls:

74.0ms	(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
74.0ms	(*.f64 m (-.f64 1 m))
74.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	193	28
2	2462	28
3	5782	28
0	0	0
1	0	0

simplify61.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

934×	`rules-42_binary64`
921×	`rules-40_binary64`
853×	`fma-def_binary64`
764×	`rules-41_binary64`
764×	`rules-43_binary64`

Counts

252 → 207

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	224
1	129	224
2	427	224
3	1651	224
4	2812	224
5	16	224

prune172.0ms (3.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	204	3	207
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	205	3	208

Error

34.8b

Counts

208 → 3

Alt Table

Status	Error	Program
	36.6b	(.f64 (/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
▶	36.6b	(.f64 (expm1.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) (-.f64 1 m))
	61.4b	(*.f64 (fabs.f64 (fma.f64 m (/.f64 (-.f64 1 m) v) -1)) (-.f64 1 m))

Compiler

Compiled 5385 to 2906 computations (46% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(expm1.f64 (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
✓	0.0b	(log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))
	0.0b	(*.f64 m (-.f64 1 m))
	0.0b	(/.f64 (*.f64 m (-.f64 1 m)) v)

series892.0ms (15.9%)

Counts

2 → 48

Calls

2 calls:

536.0ms	(expm1.f64 (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
356.0ms	(log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))

rewrite59.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

843×	`expm1-log1p-u_binary64`
598×	`prod-diff_binary64`
86×	`add-sqr-sqrt_binary64`
82×	`egg-rr`
80×	`log1p-expm1-u_binary64`

Counts

2 → 82

Calls

2 calls:

57.0ms	(expm1.f64 (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)))
57.0ms	(log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	201	23
2	2459	23
3	5159	23
0	0	0
1	0	0

simplify51.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

833×	`fma-def_binary64`
623×	`rules-40_binary64`
623×	`rules-42_binary64`
622×	`rules-41_binary64`
622×	`rules-43_binary64`

Counts

130 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	86	1067
1	579	916
2	2220	897
3	5009	897

prune177.0ms (3.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	291	1	292
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	292	3	295

Error

11.6b

Counts

295 → 3

Alt Table

Status	Error	Program
▶	36.6b	(.f64 (/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
✓	36.6b	(.f64 (expm1.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) (-.f64 1 m))
	38.2b	(.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))

Compiler

Compiled 7318 to 4160 computations (43.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)))
✓	0.0b	(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v))))
✓	0.4b	(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 2)
✓	0.4b	(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)

series226.0ms (4%)

Counts

4 → 96

Calls

4 calls:

157.0ms	(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v))))
27.0ms	(+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)))
26.0ms	(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)
16.0ms	(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 2)

rewrite96.0ms (1.7%)

Algorithm

2×	batch-egg-rewrite

Rules

273×	`log1p-udef_binary64`
163×	`egg-rr`
160×	`add-sqr-sqrt_binary64`
160×	`log1p-expm1-u_binary64`
160×	`expm1-log1p-u_binary64`

Counts

4 → 163

Calls

4 calls:

91.0ms	(+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)))
91.0ms	(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (*.f64 m (-.f64 1 m)) v))))
91.0ms	(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 2)
91.0ms	(pow.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	100
1	395	96
2	4628	96
3	4946	96
0	0	0
1	0	0

simplify76.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

593×	`fma-def_binary64`
489×	`rules-21_binary64`
464×	`fma-neg_binary64`
446×	`rules-40_binary64`
446×	`rules-41_binary64`

Counts

259 → 229

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	233	4166
1	1804	3968
2	5568	3968

prune289.0ms (5.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	227	2	229
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	227	5	232

Error

11.4b

Counts

232 → 5

Alt Table

Status	Error	Program
	62.9b	(.f64 (/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (-.f64 (+.f64 (/.f64 (.f64 m m) (.f64 v v)) (/.f64 (pow.f64 m 4) (.f64 v v))) (fma.f64 2 (/.f64 (pow.f64 m 3) (.f64 v v)) (/.f64 (*.f64 m m) v)))) (-.f64 1 m))
▶	38.2b	(.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
	63.7b	(.f64 (-.f64 (fma.f64 4 (/.f64 (pow.f64 m 5) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 20 (/.f64 (.f64 (.f64 v v) (pow.f64 m 9)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 5 (/.f64 (.f64 v (pow.f64 m 9)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 v (/.f64 (pow.f64 m 6) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 10 (/.f64 (.f64 v (pow.f64 m 7)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 3 (.f64 v (/.f64 (pow.f64 m 4) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2))) (fma.f64 3 (/.f64 (pow.f64 m 5) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))) (fma.f64 6 (/.f64 (.f64 (.f64 v v) (pow.f64 m 7)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 2 (/.f64 (.f64 (.f64 v v) (pow.f64 m 8)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 4 (/.f64 (pow.f64 m 7) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 v (/.f64 (pow.f64 m 5) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 6 (/.f64 (.f64 (.f64 v v) (pow.f64 m 11)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 2 (/.f64 (.f64 (pow.f64 m 4) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 12 (/.f64 (.f64 (pow.f64 m 6) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (/.f64 (pow.f64 m 3) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))))))))))))))))) (fma.f64 (.f64 v v) (/.f64 (pow.f64 m 12) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 5 (/.f64 (.f64 v (pow.f64 m 6)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 v (/.f64 (pow.f64 m 10) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (+.f64 (fma.f64 3 (/.f64 (pow.f64 m 4) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))) (fma.f64 15 (/.f64 (.f64 (.f64 v v) (pow.f64 m 10)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 15 (/.f64 (.f64 (.f64 v v) (pow.f64 m 8)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (+.f64 (+.f64 (/.f64 (pow.f64 m 6) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))) (+.f64 (/.f64 (pow.f64 m 4) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 10 (/.f64 (.f64 v (pow.f64 m 8)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 3 (.f64 v (/.f64 (pow.f64 m 5) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2))) (fma.f64 v (/.f64 (pow.f64 m 3) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 6 (/.f64 (pow.f64 m 6) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (/.f64 (.f64 (pow.f64 m 6) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)))))))) (fma.f64 8 (/.f64 (.f64 (pow.f64 m 5) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (/.f64 (.f64 v v) (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))))))) (fma.f64 8 (/.f64 (.f64 (.f64 v v) (pow.f64 m 7)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (/.f64 (pow.f64 m 8) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (*.f64 (pow.f64 m 3) 2)) 2)))))))) (-.f64 1 m))
✓	36.6b	(.f64 (/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
✓	36.6b	(.f64 (expm1.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) (-.f64 1 m))

Compiler

Compiled 13670 to 9716 computations (28.9% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(*.f64 m (-.f64 1 m))
✓	0.0b	(.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
	0.0b	(/.f64 (*.f64 m (-.f64 1 m)) v)
✓	5.2b	(expm1.f64 (fabs.f64 (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))))

series19.0ms (0.3%)

Counts

2 → 48

Calls

2 calls:

12.0ms	(.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
7.0ms	(expm1.f64 (fabs.f64 (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))))

rewrite96.0ms (1.7%)

Algorithm

2×	batch-egg-rewrite

Rules

917×	`fma-neg_binary64`
666×	`prod-diff_binary64`
215×	`egg-rr`
174×	`expm1-udef_binary64`
174×	`log1p-udef_binary64`

Counts

2 → 215

Calls

2 calls:

88.0ms	(.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
88.0ms	(expm1.f64 (fabs.f64 (log.f64 (/.f64 (*.f64 m (-.f64 1 m)) v))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	250	32
2	2860	28
3	5490	28
0	0	0
1	0	0

simplify89.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1297×	`rules-42_binary64`
1041×	`rules-43_binary64`
486×	`rules-41_binary64`
475×	`rules-40_binary64`
317×	`rules-15-rev_binary64`

Counts

263 → 220

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	768
1	128	768
2	442	768
3	1816	768
4	3826	768
5	16	768

prune300.0ms (5.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	380	6	386
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	381	10	391

Error

11.4b

Counts

391 → 10

Alt Table

Status	Error	Program
✓	36.6b	(.f64 (expm1.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v))) (-.f64 1 m))
	62.1b	(.f64 (expm1.f64 (fabs.f64 (log.f64 (-.f64 (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)) 1)))) (-.f64 1 m))
	63.7b	(.f64 (-.f64 (fma.f64 4 (/.f64 (pow.f64 m 5) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 20 (/.f64 (.f64 (.f64 v v) (pow.f64 m 9)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 5 (/.f64 (.f64 v (pow.f64 m 9)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 v (/.f64 (pow.f64 m 6) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 10 (/.f64 (.f64 v (pow.f64 m 7)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 3 (.f64 v (/.f64 (pow.f64 m 4) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2))) (fma.f64 3 (/.f64 (pow.f64 m 5) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))) (fma.f64 6 (/.f64 (.f64 (.f64 v v) (pow.f64 m 7)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 2 (/.f64 (.f64 (.f64 v v) (pow.f64 m 8)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 4 (/.f64 (pow.f64 m 7) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 v (/.f64 (pow.f64 m 5) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 6 (/.f64 (.f64 (.f64 v v) (pow.f64 m 11)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 2 (/.f64 (.f64 (pow.f64 m 4) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 12 (/.f64 (.f64 (pow.f64 m 6) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (/.f64 (pow.f64 m 3) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))))))))))))))))) (fma.f64 (.f64 v v) (/.f64 (pow.f64 m 12) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 5 (/.f64 (.f64 v (pow.f64 m 6)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 v (/.f64 (pow.f64 m 10) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (+.f64 (fma.f64 3 (/.f64 (pow.f64 m 4) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))) (fma.f64 15 (/.f64 (.f64 (.f64 v v) (pow.f64 m 10)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (fma.f64 15 (/.f64 (.f64 (.f64 v v) (pow.f64 m 8)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)) (+.f64 (+.f64 (/.f64 (pow.f64 m 6) (.f64 v (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))) (+.f64 (/.f64 (pow.f64 m 4) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 10 (/.f64 (.f64 v (pow.f64 m 8)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (fma.f64 3 (.f64 v (/.f64 (pow.f64 m 5) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2))) (fma.f64 v (/.f64 (pow.f64 m 3) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (fma.f64 6 (/.f64 (pow.f64 m 6) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 2)) (/.f64 (.f64 (pow.f64 m 6) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 4)))))))) (fma.f64 8 (/.f64 (.f64 (pow.f64 m 5) (.f64 v v)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (/.f64 (.f64 v v) (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)))))))) (fma.f64 8 (/.f64 (.f64 (.f64 v v) (pow.f64 m 7)) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (.f64 (pow.f64 m 3) 2)) 3)) (/.f64 (pow.f64 m 8) (pow.f64 (-.f64 (fma.f64 m m (pow.f64 m 4)) (*.f64 (pow.f64 m 3) 2)) 2)))))))) (-.f64 1 m))
✓	36.6b	(.f64 (/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 2) (+.f64 1 (/.f64 (.f64 m (-.f64 1 m)) v)))) (-.f64 1 m))
	38.2b	(.f64 (-.f64 (exp.f64 (fabs.f64 (log.f64 (/.f64 (.f64 m (-.f64 1 m)) v)))) 1) (-.f64 1 m))
	55.7b	(.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 (sqrt.f64 (pow.f64 (.f64 m (-.f64 1 m)) 2)) v)))) (-.f64 1 m))
	38.8b	(.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 (exp.f64 (log.f64 (.f64 m (-.f64 1 m)))) v)))) (-.f64 1 m))
	38.2b	(*.f64 (expm1.f64 (fabs.f64 (log.f64 (/.f64 m v)))) (-.f64 1 m))
	48.8b	(.f64 (expm1.f64 (fabs.f64 (log.f64 (pow.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) 1/3)))) (-.f64 1 m))
	62.9b	(.f64 (/.f64 (+.f64 (pow.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 3) -1) (-.f64 (+.f64 (/.f64 (.f64 m m) (.f64 v v)) (/.f64 (pow.f64 m 4) (.f64 v v))) (fma.f64 2 (/.f64 (pow.f64 m 3) (.f64 v v)) (/.f64 (*.f64 m m) v)))) (-.f64 1 m))

Compiler

Compiled 13241 to 8232 computations (37.8% saved)

regimes889.0ms (15.8%)

Accuracy

Total 15.6b remaining (73.4%)

Threshold costs 0b (0%)

Counts

63 → 13

Compiler

Compiled 8004 to 5946 computations (25.7% saved)

bsearch182.0ms (3.2%)

Steps

Iters	Range		Point
7	1.1761363830720572e-104	1.2858739818856838e-102	1.1945419363790285e-104
6	1.4735372524786347e-118	8.926322852362633e-118	8.762797621445695e-118
4	2.839352781431949e-138	5.0757093321806707e-138	5.0058231899697725e-138
8	2.7540862461901667e-156	8.176779338687597e-152	2.82186406055365e-156
7	3.639065553260641e-170	3.5811169446362665e-168	3.526543340822764e-168
7	4.603491936784745e-208	8.388277621832194e-207	4.6668236699408005e-208
6	1.9297515020101327e-220	1.055786679255835e-219	1.0425030099422942e-219
7	3.194264006994947e-257	2.6999535818673994e-255	3.2355533048779405e-257
7	2.2856899477300167e-261	6.017812691066011e-260	5.957779467924371e-260
6	1.0516235791241888e-274	1.2812859741898206e-273	1.067715992841778e-274
4	5.759529604878664e-281	9.967154147249895e-281	9.835665880300794e-281
5	3.003847935806019e-302	6.045612053007811e-302	3.040599766070955e-302

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	381
1	70	381
2	69	381

end620.0ms (11%)

Remove: (sort m v)
Compiler: Compiled 1922 to 1377 computations (28.4% saved)

Details

analyze84.0ms (1.5%)

sample1.0s (18.6%)

simplify56.0ms (1%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series21.0ms (0.4%)

rewrite78.0ms (1.4%)

simplify61.0ms (1.1%)

prune172.0ms (3.1%)

localize8.0ms (0.1%)

series892.0ms (15.9%)

rewrite59.0ms (1%)

simplify51.0ms (0.9%)

prune177.0ms (3.2%)

localize11.0ms (0.2%)

series226.0ms (4%)

rewrite96.0ms (1.7%)

simplify76.0ms (1.3%)

prune289.0ms (5.1%)

localize9.0ms (0.2%)

series19.0ms (0.3%)

rewrite96.0ms (1.7%)

simplify89.0ms (1.6%)

prune300.0ms (5.3%)

regimes889.0ms (15.8%)

bsearch182.0ms (3.2%)

simplify6.0ms (0.1%)

end620.0ms (11%)

Profiling