Details

analyze61.0ms (2.6%)

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 24 to 17 computations (29.2% saved)

sample901.0ms (38.5%)

Results

846.0ms	8256×	body	128	valid
5.0ms	53×	body	128	invalid

Compiler

Compiled 61 to 43 computations (29.5% saved)

simplify41.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

913×	`fma-neg_binary64`
812×	`fma-def_binary64`
281×	`div-sub_binary64`
243×	`cancel-sign-sub-inv_binary64`
198×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	20	16
2	39	14
3	85	14
4	280	14
5	726	14
6	1858	14
7	3236	14
8	4027	14
9	4373	14
10	4984	14

Stop Event

1×	node limit

Counts

1 → 2

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

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.2b	(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
▶	0.2b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)

Compiler

Compiled 73 to 49 computations (32.9% saved)

localize6.0ms (0.3%)

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.2b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)

series22.0ms (0.9%)

Counts

3 → 56

Calls

3 calls:

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

rewrite53.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	33
1	202	33
2	2893	31

Stop Event

1×	node limit

Counts

3 → 103

Calls

3 calls:

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

simplify32.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

459×	`fma-def_binary64`
425×	`associate-/l*_binary64`
379×	`fma-neg_binary64`
295×	`cancel-sign-sub-inv_binary64`
223×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	638
1	67	584
2	143	584
3	368	584
4	1388	584

Stop Event

1×	node limit

Counts

159 → 125

prune114.0ms (4.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	117	8	125
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	119	8	127

Error

0.0b

Counts

127 → 8

Alt Table

Status	Error	Program
	16.2b	(.f64 (-.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 m (-.f64 1 m)) 3)) v) 1) m)
	35.8b	(pow.f64 (sqrt.f64 (*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))) 2)
	0.2b	(.f64 (-.f64 (.f64 m (*.f64 (-.f64 1 m) (/.f64 1 v))) 1) m)
▶	0.1b	(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
	8.7b	(-.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (/.f64 (pow.f64 m 3) v) m))
	1.5b	(pow.f64 (cbrt.f64 (*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))) 3)
	13.2b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
	0.3b	(*.f64 (-.f64 (pow.f64 (/.f64 (/.f64 v (-.f64 1 m)) m) -1) 1) m)

Compiler

Compiled 2104 to 1305 computations (38% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
✓	0.2b	(*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v))

series27.0ms (1.2%)

Counts

2 → 48

Calls

2 calls:

16.0ms	(*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v))
11.0ms	(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)

rewrite80.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

930×	`prod-diff_binary64`
850×	`expm1-log1p-u_binary64`
281×	`egg-rr`
94×	`add-sqr-sqrt_binary64`
89×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	181	23
2	2708	23

Stop Event

1×	node limit

Counts

2 → 281

Calls

2 calls:

70.0ms	(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
70.0ms	(*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v))

simplify36.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

578×	`fma-def_binary64`
539×	`fma-neg_binary64`
441×	`cancel-sign-sub-inv_binary64`
268×	`distribute-rgt-in_binary64`
231×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	614
1	61	614
2	151	614
3	440	614
4	1671	614

Stop Event

1×	node limit

Counts

329 → 296

prune165.0ms (7.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	293	3	296
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	296	8	304

Error

Counts

304 → 8

Alt Table

Status	Error	Program
	16.2b	(.f64 (-.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 m (-.f64 1 m)) 3)) v) 1) m)
	35.8b	(pow.f64 (sqrt.f64 (*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))) 2)
	13.2b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
	8.4b	(-.f64 (/.f64 (fma.f64 m m m) (/.f64 v m)) m)
▶	0.2b	(.f64 (-.f64 (.f64 m (*.f64 (-.f64 1 m) (/.f64 1 v))) 1) m)
✓	0.1b	(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
	17.0b	(-.f64 (/.f64 (/.f64 (*.f64 m (fma.f64 m m m)) (sqrt.f64 v)) (sqrt.f64 v)) m)
	8.7b	(-.f64 (/.f64 (-.f64 (pow.f64 m 2) (pow.f64 m 3)) v) m)

Compiler

Compiled 7735 to 2393 computations (69.1% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series26.0ms (1.1%)

Counts

3 → 72

Calls

3 calls:

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

rewrite51.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

591×	`prod-diff_binary64`
239×	`fma-def_binary64`
191×	`expm1-udef_binary64`
190×	`log1p-udef_binary64`
186×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	31
1	224	31
2	3084	31

Stop Event

1×	node limit

Counts

3 → 108

Calls

3 calls:

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

simplify36.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

573×	`fma-neg_binary64`
519×	`fma-def_binary64`
350×	`cancel-sign-sub-inv_binary64`
288×	`distribute-rgt-in_binary64`
154×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	765
1	93	711
2	189	711
3	465	681
4	1893	681

Stop Event

1×	node limit

Counts

180 → 130

prune108.0ms (4.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	130	8	138

Error

Counts

138 → 8

Alt Table

Status	Error	Program
	16.2b	(.f64 (-.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 m (-.f64 1 m)) 3)) v) 1) m)
	35.8b	(pow.f64 (sqrt.f64 (*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))) 2)
	13.2b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
▶	8.4b	(-.f64 (/.f64 (fma.f64 m m m) (/.f64 v m)) m)
✓	0.2b	(.f64 (-.f64 (.f64 m (*.f64 (-.f64 1 m) (/.f64 1 v))) 1) m)
✓	0.1b	(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
	17.0b	(-.f64 (/.f64 (/.f64 (*.f64 m (fma.f64 m m m)) (sqrt.f64 v)) (sqrt.f64 v)) m)
	8.7b	(-.f64 (/.f64 (-.f64 (pow.f64 m 2) (pow.f64 m 3)) v) m)

Compiler

Compiled 2210 to 1436 computations (35% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 (fma.f64 m m m) (/.f64 v m)) m)
✓	0.3b	(/.f64 (fma.f64 m m m) (/.f64 v m))

series27.0ms (1.1%)

Counts

2 → 48

Calls

2 calls:

16.0ms	(/.f64 (fma.f64 m m m) (/.f64 v m))
10.0ms	(-.f64 (/.f64 (fma.f64 m m m) (/.f64 v m)) m)

rewrite57.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

943×	`prod-diff_binary64`
296×	`fma-def_binary64`
193×	`fma-neg_binary64`
168×	`egg-rr`
156×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	25
1	163	25
2	2571	25

Stop Event

1×	node limit

Counts

2 → 168

Calls

2 calls:

53.0ms	(-.f64 (/.f64 (fma.f64 m m m) (/.f64 v m)) m)
53.0ms	(/.f64 (fma.f64 m m m) (/.f64 v m))

simplify35.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

536×	`unswap-sqr_binary64`
388×	`cancel-sign-sub-inv_binary64`
341×	`fma-neg_binary64`
322×	`distribute-rgt-neg-in_binary64`
300×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	723
1	43	723
2	82	723
3	181	528
4	514	528
5	2367	528

Stop Event

1×	node limit

Counts

216 → 179

prune127.0ms (5.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	179	8	187

Error

Counts

187 → 8

Alt Table

Status	Error	Program
	16.2b	(.f64 (-.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 m (-.f64 1 m)) 3)) v) 1) m)
	35.8b	(pow.f64 (sqrt.f64 (*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))) 2)
	13.2b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
✓	8.4b	(-.f64 (/.f64 (fma.f64 m m m) (/.f64 v m)) m)
✓	0.2b	(.f64 (-.f64 (.f64 m (*.f64 (-.f64 1 m) (/.f64 1 v))) 1) m)
✓	0.1b	(-.f64 (*.f64 (fma.f64 m (neg.f64 m) m) (/.f64 m v)) m)
	17.0b	(-.f64 (/.f64 (/.f64 (*.f64 m (fma.f64 m m m)) (sqrt.f64 v)) (sqrt.f64 v)) m)
	8.7b	(-.f64 (/.f64 (-.f64 (pow.f64 m 2) (pow.f64 m 3)) v) m)

Compiler

Compiled 3395 to 849 computations (75% saved)

regimes214.0ms (9.2%)

Accuracy

Total 0.2b remaining (91.9%)

Threshold costs 0.2b (91.9%)

Counts

77 → 1

Compiler

Compiled 3122 to 2003 computations (35.8% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	14	16
2	17	16
3	18	16

Stop Event

1×

saturated

end97.0ms (4.1%)

Compiler: Compiled 150 to 94 computations (37.3% saved)

Details

analyze61.0ms (2.6%)

sample901.0ms (38.5%)

simplify41.0ms (1.7%)

prune3.0ms (0.1%)

localize6.0ms (0.3%)

series22.0ms (0.9%)

rewrite53.0ms (2.3%)

simplify32.0ms (1.4%)

prune114.0ms (4.9%)

localize6.0ms (0.3%)

series27.0ms (1.2%)

rewrite80.0ms (3.4%)

simplify36.0ms (1.5%)

prune165.0ms (7.1%)

localize7.0ms (0.3%)

series26.0ms (1.1%)

rewrite51.0ms (2.2%)

simplify36.0ms (1.5%)

prune108.0ms (4.6%)

localize5.0ms (0.2%)

series27.0ms (1.1%)

rewrite57.0ms (2.4%)

simplify35.0ms (1.5%)

prune127.0ms (5.4%)

regimes214.0ms (9.2%)

simplify2.0ms (0.1%)

end97.0ms (4.1%)

Profiling