Details

analyze96.0ms (3%)

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

Results

1.1s	8256×	body	128	valid
5.0ms	43×	body	128	invalid

Compiler

Compiled 52 to 38 computations (26.9% saved)

preprocess40.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

712×	`fma-def_binary64`
374×	`times-frac_binary64`
345×	`div-sub_binary64`
304×	`distribute-rgt-in_binary64`
242×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	32	38
2	82	34
3	245	34
4	953	34
5	4892	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify18.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

560×	`fma-neg_binary64`
442×	`distribute-rgt-in_binary64`
376×	`unsub-neg_binary64`
325×	`fma-def_binary64`
302×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	20	19
2	46	17
3	131	17
4	464	17
5	2012	17

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.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 85 to 61 computations (28.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series17.0ms (0.5%)

Counts

2 → 48

Calls

12 calls:

3.0ms	(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))	v	0
2.0ms	(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))	v	-inf
2.0ms	(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))	v	inf
1.0ms	(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))	m	-inf
1.0ms	(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))	m	inf

rewrite46.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

907×	`log1p-expm1-u_binary64`
907×	`expm1-log1p-u_binary64`
150×	`prod-diff_binary64`
91×	`add-sqr-sqrt_binary64`
85×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	184	28
2	2351	28

Stop Event

1×	node limit

Counts

2 → 46

simplify36.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

279×	`fma-def_binary64`
267×	`sub-neg_binary64`
215×	`distribute-rgt-out_binary64`
171×	`unsub-neg_binary64`
153×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	839
1	95	768
2	243	756
3	685	692
4	2543	692

Stop Event

1×	node limit

Counts

94 → 71

prune59.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	67	4	71
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	68	5	73

Error

0.0b

Counts

73 → 5

Alt Table

Status	Error	Program
	19.6b	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 3))
▶	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 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
	0.8b	(.f64 (-.f64 1 m) (.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)))
	29.5b	(/.f64 (*.f64 (-.f64 m (pow.f64 m 2)) (-.f64 1 m)) v)

Compiler

Compiled 1245 to 784 computations (37% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	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))))
✓	0.0b	(+.f64 (/.f64 m v) m)
✓	9.1b	(/.f64 (pow.f64 m 3) v)
✓	11.8b	(/.f64 (pow.f64 m 2) v)

series43.0ms (1.4%)

Counts

4 → 27

Calls

24 calls:

3.0ms	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))	v	0
3.0ms	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))	v	-inf
3.0ms	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))	v	inf
3.0ms	(+.f64 (/.f64 m v) m)	m	inf
3.0ms	(/.f64 (pow.f64 m 3) v)	v	-inf

rewrite49.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

181×	`add-sqr-sqrt_binary64`
181×	`log1p-expm1-u_binary64`
181×	`expm1-log1p-u_binary64`
177×	`add-cbrt-cube_binary64`
170×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	52
1	385	50

Stop Event

1×	node limit

Counts

4 → 148

simplify26.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

610×	`fma-neg_binary64`
470×	`cancel-sign-sub-inv_binary64`
323×	`fma-def_binary64`
291×	`associate-/l*_binary64`
172×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	294
1	80	292
2	201	245
3	535	227
4	1863	214

Stop Event

1×	node limit

Counts

175 → 166

prune141.0ms (4.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	164	2	166
Fresh	2	1	3
Picked	0	1	1
Done	1	0	1
Total	167	4	171

Error

0.0b

Counts

171 → 4

Alt Table

Status	Error	Program
	29.5b	(/.f64 (fma.f64 (*.f64 m m) (+.f64 m -2) m) v)
✓	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))))
	53.9b	(.f64 (/.f64 m v) (.f64 m (+.f64 m -2)))
▶	0.8b	(.f64 (-.f64 1 m) (.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)))

Compiler

Compiled 5354 to 2771 computations (48.2% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
✓	0.2b	(*.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2))
✓	0.3b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)
✓	0.3b	(cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))

series71.0ms (2.2%)

Counts

3 → 72

Calls

18 calls:

8.0ms	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)	v	-inf
7.0ms	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)	v	0
7.0ms	(cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))	v	-inf
7.0ms	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)	v	inf
6.0ms	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)	m	-inf

rewrite49.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

450×	`log-prod_binary64`
179×	`expm1-udef_binary64`
178×	`log1p-udef_binary64`
170×	`pow3_binary64`
154×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	40
1	246	40
2	2681	40

Stop Event

1×	node limit

Counts

3 → 80

simplify76.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

532×	`cancel-sign-sub-inv_binary64`
341×	`sub-neg_binary64`
247×	`fma-neg_binary64`
238×	`fma-def_binary64`
161×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	239	3719
1	818	3572
2	3283	3481

Stop Event

1×	node limit

Counts

152 → 165

prune291.0ms (9.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	294	1	295
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	295	4	299

Error

Counts

299 → 4

Alt Table

Status	Error	Program
▶	0.9b	(.f64 (-.f64 1 m) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)))
	29.5b	(/.f64 (fma.f64 (*.f64 m m) (+.f64 m -2) m) v)
✓	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))))
	53.9b	(.f64 (/.f64 m v) (.f64 m (+.f64 m -2)))

Compiler

Compiled 12561 to 8631 computations (31.3% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)))
	0.3b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)
	0.3b	(cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
✓	0.4b	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3)

series83.0ms (2.6%)

Counts

2 → 48

Calls

12 calls:

12.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3)	v	inf
11.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3)	v	-inf
9.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3)	m	0
9.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3)	v	0
7.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3)	m	-inf

rewrite44.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

465×	`log-prod_binary64`
184×	`expm1-udef_binary64`
183×	`log1p-udef_binary64`
170×	`pow3_binary64`
162×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	28
1	241	28
2	2714	28

Stop Event

1×	node limit

Counts

2 → 51

simplify82.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

670×	`cancel-sign-sub-inv_binary64`
333×	`sub-neg_binary64`
292×	`fma-def_binary64`
268×	`fma-neg_binary64`
186×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	246	4388
1	842	4044
2	3560	4026

Stop Event

1×	node limit

Counts

99 → 125

prune356.0ms (11.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	311	0	311
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	311	4	315

Error

Counts

315 → 4

Alt Table

Status	Error	Program
✓	0.9b	(.f64 (-.f64 1 m) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1))) 3) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 1 m) (/.f64 m v) -1)) 2)))
	29.5b	(/.f64 (fma.f64 (*.f64 m m) (+.f64 m -2) m) v)
✓	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))))
	53.9b	(.f64 (/.f64 m v) (.f64 m (+.f64 m -2)))

Compiler

Compiled 17824 to 12833 computations (28% saved)

regimes376.0ms (11.7%)

Accuracy

Total 0.1b remaining (72.1%)

Threshold costs 0.1b (72.1%)

Counts

115 → 1

Compiler

Compiled 6942 to 4977 computations (28.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-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	10	20
1	16	20
2	19	20
3	21	20
4	22	20

Stop Event

1×

saturated

end77.0ms (2.4%)

Stop Event

1×

fuel

Compiler

Compiled 108 to 76 computations (29.6% saved)

Details

analyze96.0ms (3%)

sample1.1s (33.7%)

preprocess40.0ms (1.3%)

simplify18.0ms (0.6%)

prune3.0ms (0.1%)

localize6.0ms (0.2%)

series17.0ms (0.5%)

rewrite46.0ms (1.4%)

simplify36.0ms (1.1%)

prune59.0ms (1.9%)

localize13.0ms (0.4%)

series43.0ms (1.4%)

rewrite49.0ms (1.5%)

simplify26.0ms (0.8%)

prune141.0ms (4.4%)

localize9.0ms (0.3%)

series71.0ms (2.2%)

rewrite49.0ms (1.5%)

simplify76.0ms (2.4%)

prune291.0ms (9.1%)

localize12.0ms (0.4%)

series83.0ms (2.6%)

rewrite44.0ms (1.4%)

simplify82.0ms (2.6%)

prune356.0ms (11.1%)

regimes376.0ms (11.7%)

simplify2.0ms (0.1%)

end77.0ms (2.4%)

Profiling