Details

analyze134.0ms (3.1%)

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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	46.8%	3.2%	7
56.2%	37.5%	6.3%	8
62.4%	25.8%	11.8%	9
65.6%	20.3%	14.1%	10
68.7%	13.5%	17.9%	11
70.2%	10.5%	19.2%	12
71.8%	6.9%	21.3%	13
72.6%	5.4%	22%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample1.2s (29.1%)

Results

1.1s	8256×	body	128	valid
31.0ms	322×	body	128	invalid

Compiler

Compiled 41 to 32 computations (22% saved)

simplify81.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

877×	`div-sub_binary64`
637×	`sub-neg_binary64`
618×	`unsub-neg_binary64`
440×	`neg-sub0_binary64`
439×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	24	16
2	71	16
3	192	16
4	634	16
5	1914	16
6	3304	16
7	4241	16
8	4674	16
9	4931	16

prune2.0ms (0%)

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

6.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	6.4b	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))

Compiler

Compiled 50 to 38 computations (24% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 1 x) (-.f64 3 x))
✓	6.0b	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))

series12.0ms (0.3%)

Counts

2 → 36

Calls

2 calls:

10.0ms	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))
2.0ms	(*.f64 (-.f64 1 x) (-.f64 3 x))

rewrite82.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

230×	`prod-diff_binary64`
206×	`log-div_binary64`
204×	`expm1-udef_binary64`
203×	`log1p-udef_binary64`
168×	`log-pow_binary64`

Counts

2 → 108

Calls

2 calls:

80.0ms	(*.f64 (-.f64 1 x) (-.f64 3 x))
80.0ms	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	26
1	224	26
2	3191	26
3	5072	26

simplify89.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

569×	`unsub-neg_binary64`
436×	`cancel-sign-sub-inv_binary64`
385×	`distribute-rgt-in_binary64`
378×	`fma-neg_binary64`
314×	`distribute-lft-in_binary64`

Counts

144 → 129

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	38	603
1	104	547
2	232	419
3	619	372
4	1734	362
5	4087	362
6	5045	362

prune130.0ms (3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	123	6	129
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	123	7	130

Error

Counts

130 → 7

Alt Table

Status	Error	Program
✓	6.4b	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))
	6.5b	(.f64 (neg.f64 (.f64 (-.f64 1 x) (-.f64 3 x))) (/.f64 1 (*.f64 y -3)))
	6.1b	(/.f64 (-.f64 (+.f64 1 (.f64 1/3 (pow.f64 x 2))) (.f64 4/3 x)) y)
	6.1b	(/.f64 (fma.f64 x (fma.f64 x 1/3 -4/3) 1) y)
	40.2b	(*.f64 (/.f64 x y) (fma.f64 x 1/3 -4/3))
▶	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3))) (/.f64 x (/.f64 y (/.f64 (-.f64 3 x) 3))))
	0.4b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (/.f64 1/3 y)))

Compiler

Compiled 2249 to 1644 computations (26.9% saved)

localize27.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 3 x) 3)
✓	0.1b	(/.f64 y (/.f64 (-.f64 3 x) 3))
✓	0.1b	(/.f64 x (/.f64 y (/.f64 (-.f64 3 x) 3)))
✓	0.1b	(/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3)))

series58.0ms (1.4%)

Counts

4 → 84

Calls

4 calls:

41.0ms	(/.f64 x (/.f64 y (/.f64 (-.f64 3 x) 3)))
9.0ms	(/.f64 y (/.f64 (-.f64 3 x) 3))
7.0ms	(/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3)))
1.0ms	(/.f64 (-.f64 3 x) 3)

rewrite88.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

621×	`log-prod_binary64`
241×	`log-div_binary64`
202×	`expm1-udef_binary64`
202×	`log1p-udef_binary64`
179×	`egg-rr`

Counts

4 → 179

Calls

4 calls:

85.0ms	(/.f64 (-.f64 3 x) 3)
85.0ms	(/.f64 y (/.f64 (-.f64 3 x) 3))
85.0ms	(/.f64 x (/.f64 y (/.f64 (-.f64 3 x) 3)))
85.0ms	(/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	43
1	235	40
2	3204	40
3	5804	40

simplify107.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

397×	`associate-l_binary64`
269×	`fma-neg_binary64`
254×	`associate-r_binary64`
240×	`cancel-sign-sub-inv_binary64`
231×	`associate-/l*_binary64`

Counts

263 → 214

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	79	964
1	216	962
2	527	830
3	1494	811
4	4340	811
5	4987	811
6	4991	811
7	4905	811

prune516.0ms (12.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	307	1	308
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	308	7	315

Error

Counts

315 → 7

Alt Table

Status	Error	Program
	1.4b	(-.f64 (/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3))) (/.f64 x (*.f64 -3 (/.f64 y x))))
✓	6.4b	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))
	6.5b	(.f64 (neg.f64 (.f64 (-.f64 1 x) (-.f64 3 x))) (/.f64 1 (*.f64 y -3)))
	6.1b	(/.f64 (fma.f64 x (fma.f64 x 1/3 -4/3) 1) y)
	40.2b	(*.f64 (/.f64 x y) (fma.f64 x 1/3 -4/3))
✓	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3))) (/.f64 x (/.f64 y (/.f64 (-.f64 3 x) 3))))
▶	0.4b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (/.f64 1/3 y)))

Compiler

Compiled 7405 to 5457 computations (26.3% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (-.f64 1 x) (/.f64 1/3 y))
✓	0.3b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (/.f64 1/3 y)))
✓	0.4b	(/.f64 1/3 y)

series24.0ms (0.6%)

Counts

3 → 48

Calls

3 calls:

13.0ms	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (/.f64 1/3 y)))
9.0ms	(*.f64 (-.f64 1 x) (/.f64 1/3 y))
1.0ms	(/.f64 1/3 y)

rewrite87.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

554×	`log-prod_binary64`
214×	`expm1-udef_binary64`
213×	`log1p-udef_binary64`
194×	`prod-diff_binary64`
174×	`log-pow_binary64`

Counts

3 → 125

Calls

3 calls:

85.0ms	(*.f64 (-.f64 1 x) (/.f64 1/3 y))
85.0ms	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (/.f64 1/3 y)))
85.0ms	(/.f64 1/3 y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	243	30
2	3074	30
3	5647	30

simplify164.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

589×	`sub-neg_binary64`
473×	`distribute-rgt-in_binary64`
419×	`cancel-sign-sub-inv_binary64`
401×	`fma-neg_binary64`
398×	`distribute-lft-in_binary64`

Counts

173 → 145

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	46	717
1	126	685
2	274	521
3	666	474
4	1847	464
5	4104	464
6	4326	464
7	4743	464
8	4834	464
9	4759	464
10	4896	464

prune142.0ms (3.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	3	1	4
Picked	0	1	1
Done	1	1	2
Total	148	4	152

Error

Counts

152 → 4

Alt Table

Status	Error	Program
▶	0.5b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (pow.f64 (*.f64 y 3) -1)))
	40.2b	(*.f64 (/.f64 x y) (fma.f64 x 1/3 -4/3))
✓	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3))) (/.f64 x (/.f64 y (/.f64 (-.f64 3 x) 3))))
✓	0.4b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (/.f64 1/3 y)))

Compiler

Compiled 2299 to 1662 computations (27.7% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (-.f64 1 x) (pow.f64 (.f64 y 3) -1))
✓	0.3b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (pow.f64 (*.f64 y 3) -1)))
✓	0.5b	(pow.f64 (*.f64 y 3) -1)

series23.0ms (0.5%)

Counts

3 → 60

Calls

3 calls:

14.0ms	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (pow.f64 (*.f64 y 3) -1)))
7.0ms	(.f64 (-.f64 1 x) (pow.f64 (.f64 y 3) -1))
2.0ms	(pow.f64 (*.f64 y 3) -1)

rewrite98.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

600×	`log-prod_binary64`
222×	`expm1-udef_binary64`
221×	`log1p-udef_binary64`
188×	`log-pow_binary64`
185×	`prod-diff_binary64`

Counts

3 → 104

Calls

3 calls:

96.0ms	(.f64 (-.f64 1 x) (pow.f64 (.f64 y 3) -1))
96.0ms	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (pow.f64 (*.f64 y 3) -1)))
96.0ms	(pow.f64 (*.f64 y 3) -1)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	259	30
2	3113	30
3	5648	30

simplify136.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

589×	`sub-neg_binary64`
473×	`distribute-rgt-in_binary64`
419×	`cancel-sign-sub-inv_binary64`
401×	`fma-neg_binary64`
398×	`distribute-lft-in_binary64`

Counts

164 → 124

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	46	765
1	126	733
2	274	569
3	666	522
4	1847	512
5	4104	512
6	4326	512
7	4743	512
8	4834	512
9	4759	512
10	4896	512

prune89.0ms (2.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	124	4	128

Error

Counts

128 → 4

Alt Table

Status	Error	Program
✓	0.5b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (pow.f64 (*.f64 y 3) -1)))
	40.2b	(*.f64 (/.f64 x y) (fma.f64 x 1/3 -4/3))
✓	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 (-.f64 3 x) 3))) (/.f64 x (/.f64 y (/.f64 (-.f64 3 x) 3))))
✓	0.4b	(.f64 (-.f64 3 x) (.f64 (-.f64 1 x) (/.f64 1/3 y)))

Compiler

Compiled 2008 to 1486 computations (26% saved)

regimes830.0ms (19.4%)

Accuracy

Total 0.1b remaining (79%)

Threshold costs 0.1b (79%)

Counts

131 → 1

Compiler

Compiled 10708 to 8277 computations (22.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	16	16
2	21	16
3	23	16
4	24	16
5	23	16

end87.0ms (2%)

Compiler: Compiled 85 to 65 computations (23.5% saved)

Details

analyze134.0ms (3.1%)

sample1.2s (29.1%)

simplify81.0ms (1.9%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series12.0ms (0.3%)

rewrite82.0ms (1.9%)

simplify89.0ms (2.1%)

prune130.0ms (3%)

localize27.0ms (0.6%)

series58.0ms (1.4%)

rewrite88.0ms (2.1%)

simplify107.0ms (2.5%)

prune516.0ms (12.1%)

localize7.0ms (0.2%)

series24.0ms (0.6%)

rewrite87.0ms (2%)

simplify164.0ms (3.8%)

prune142.0ms (3.3%)

localize8.0ms (0.2%)

series23.0ms (0.5%)

rewrite98.0ms (2.3%)

simplify136.0ms (3.2%)

prune89.0ms (2.1%)

regimes830.0ms (19.4%)

simplify3.0ms (0.1%)

end87.0ms (2%)

Profiling