Details

analyze77.0ms (2.4%)

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

Alt Table

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

Results

950.0ms	8256×	body	128	valid
7.0ms	62×	body	128	invalid

Compiler

Compiled 97 to 71 computations (26.8% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series24.0ms (0.8%)

Counts

3 → 56

Calls

3 calls:

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

rewrite74.0ms (2.4%)

Algorithm

2×	batch-egg-rewrite

Rules

501×	`prod-diff_binary64`
188×	`fma-def_binary64`
179×	`expm1-udef_binary64`
178×	`log1p-udef_binary64`
174×	`fma-neg_binary64`

Counts

3 → 133

Calls

3 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	36
1	201	36
2	2755	34
3	5032	34
0	0	0
1	0	0

prune163.0ms (5.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	186	3	189
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	187	3	190

Error

0.0b

Counts

190 → 3

Alt Table

Status	Error	Program
▶	0.1b	(.f64 (-.f64 (/.f64 (/.f64 (.f64 (-.f64 1 (*.f64 m m)) m) (+.f64 m 1)) v) 1) (-.f64 1 m))
	0.1b	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
	16.0b	(.f64 (-.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 m (-.f64 1 m)) 3)) v) 1) (-.f64 1 m))

Compiler

Compiled 3690 to 2393 computations (35.1% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series55.0ms (1.7%)

Counts

4 → 72

Calls

4 calls:

26.0ms	(.f64 (-.f64 (/.f64 (/.f64 (.f64 (-.f64 1 (*.f64 m m)) m) (+.f64 m 1)) v) 1) (-.f64 1 m))
23.0ms	(/.f64 (/.f64 (.f64 (-.f64 1 (.f64 m m)) m) (+.f64 m 1)) v)
3.0ms	(/.f64 (.f64 (-.f64 1 (.f64 m m)) m) (+.f64 m 1))
3.0ms	(.f64 (-.f64 1 (.f64 m m)) m)

rewrite94.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

941×	`prod-diff_binary64`
157×	`add-sqr-sqrt_binary64`
150×	`log1p-expm1-u_binary64`
150×	`expm1-log1p-u_binary64`
147×	`add-log-exp_binary64`

Counts

4 → 146

Calls

4 calls:

90.0ms	(/.f64 (/.f64 (.f64 (-.f64 1 (.f64 m m)) m) (+.f64 m 1)) v)
90.0ms	(.f64 (-.f64 (/.f64 (/.f64 (.f64 (-.f64 1 (*.f64 m m)) m) (+.f64 m 1)) v) 1) (-.f64 1 m))
90.0ms	(.f64 (-.f64 1 (.f64 m m)) m)
90.0ms	(/.f64 (.f64 (-.f64 1 (.f64 m m)) m) (+.f64 m 1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	73
1	306	46
2	4355	46
3	6278	46
0	0	0
1	0	0

prune173.0ms (5.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	217	1	218
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	218	3	221

Error

0.0b

Counts

221 → 3

Alt Table

Status	Error	Program
▶	0.1b	(.f64 (-.f64 (/.f64 (.f64 (-.f64 1 (pow.f64 m 2)) m) (*.f64 v (+.f64 1 m))) 1) (-.f64 1 m))
✓	0.1b	(.f64 (-.f64 (/.f64 (/.f64 (.f64 (-.f64 1 (*.f64 m m)) m) (+.f64 m 1)) v) 1) (-.f64 1 m))
	0.1b	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Compiler

Compiled 4598 to 3109 computations (32.4% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series56.0ms (1.8%)

Counts

4 → 68

Calls

4 calls:

26.0ms	(.f64 (-.f64 (/.f64 (.f64 (-.f64 1 (pow.f64 m 2)) m) (*.f64 v (+.f64 1 m))) 1) (-.f64 1 m))
24.0ms	(/.f64 (.f64 (-.f64 1 (pow.f64 m 2)) m) (.f64 v (+.f64 1 m)))
4.0ms	(*.f64 v (+.f64 1 m))
3.0ms	(*.f64 (-.f64 1 (pow.f64 m 2)) m)

rewrite93.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

275×	`log1p-udef_binary64`
161×	`add-sqr-sqrt_binary64`
156×	`log1p-expm1-u_binary64`
156×	`expm1-log1p-u_binary64`
151×	`add-log-exp_binary64`

Counts

4 → 144

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	64
1	326	46
2	4544	46
3	4916	46
0	0	0
1	0	0

prune175.0ms (5.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	212	0	212
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	212	3	215

Error

0.0b

Counts

215 → 3

Alt Table

Status	Error	Program
✓	0.1b	(.f64 (-.f64 (/.f64 (.f64 (-.f64 1 (pow.f64 m 2)) m) (*.f64 v (+.f64 1 m))) 1) (-.f64 1 m))
✓	0.1b	(.f64 (-.f64 (/.f64 (/.f64 (.f64 (-.f64 1 (*.f64 m m)) m) (+.f64 m 1)) v) 1) (-.f64 1 m))
▶	0.1b	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Compiler

Compiled 4707 to 3123 computations (33.7% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series56.0ms (1.8%)

Counts

4 → 18

Calls

4 calls:

17.0ms	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
14.0ms	(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m))
13.0ms	(/.f64 (pow.f64 m 3) v)
12.0ms	(/.f64 (pow.f64 m 2) v)

rewrite93.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

322×	`log1p-udef_binary64`
181×	`add-sqr-sqrt_binary64`
181×	`log1p-expm1-u_binary64`
181×	`expm1-log1p-u_binary64`
172×	`add-log-exp_binary64`

Counts

4 → 162

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	61
1	380	59
2	4780	59
3	5222	59
0	0	0
1	0	0

prune280.0ms (8.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	179	4	183

Error

Counts

183 → 4

Alt Table

Status	Error	Program
✓	0.1b	(.f64 (-.f64 (/.f64 (.f64 (-.f64 1 (pow.f64 m 2)) m) (*.f64 v (+.f64 1 m))) 1) (-.f64 1 m))
✓	0.1b	(.f64 (-.f64 (/.f64 (/.f64 (.f64 (-.f64 1 (*.f64 m m)) m) (+.f64 m 1)) v) 1) (-.f64 1 m))
✓	0.1b	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
	0.1b	(-.f64 (+.f64 (.f64 (/.f64 (.f64 m m) 1) (/.f64 m v)) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Compiler

Compiled 6164 to 3224 computations (47.7% saved)

regimes542.0ms (17.2%)

Accuracy

Total 0.1b remaining (80.5%)

Threshold costs 0.1b (80.5%)

Counts

180 → 1

Compiler

Compiled 9864 to 7365 computations (25.3% saved)

simplify2.0ms (0.1%)

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	14	28
1	27	28
2	34	28
3	38	28
4	40	28
5	38	28

end80.0ms (2.5%)

Compiler: Compiled 134 to 96 computations (28.4% saved)

Details

analyze77.0ms (2.4%)

sample1.1s (34.1%)

localize7.0ms (0.2%)

series24.0ms (0.8%)

rewrite74.0ms (2.4%)

prune163.0ms (5.2%)

localize11.0ms (0.4%)

series55.0ms (1.7%)

rewrite94.0ms (3%)

prune173.0ms (5.5%)

localize10.0ms (0.3%)

series56.0ms (1.8%)

rewrite93.0ms (3%)

prune175.0ms (5.5%)

localize12.0ms (0.4%)

series56.0ms (1.8%)

rewrite93.0ms (3%)

prune280.0ms (8.9%)

regimes542.0ms (17.2%)

simplify2.0ms (0.1%)

end80.0ms (2.5%)

Profiling