Details

analyze114.0ms (4.5%)

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
37.5%	62.4%	0.1%	5
43.7%	56.2%	0.1%	6
74.9%	25%	0.1%	7
81.2%	18.7%	0.1%	8
87.4%	12.5%	0.1%	9
90.5%	9.4%	0.1%	10
93.7%	6.2%	0.1%	11
95.2%	4.7%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample1.5s (59.2%)

Results

1.4s	8255×	body	128	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify16.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10
2	10	10

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x y) (+.f64 y 1))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize13.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (+.f64 y 1))

series24.0ms (0.9%)

Counts

1 → 24

Calls

1 calls:

24.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

rewrite105.0ms (4.2%)

Algorithm

2×	batch-egg-rewrite

Rules

874×	`log1p-expm1-u_binary64`
874×	`expm1-log1p-u_binary64`
565×	`prod-diff_binary64`
80×	`add-sqr-sqrt_binary64`
75×	`add-log-exp_binary64`

Counts

1 → 35

Calls

1 calls:

103.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	157	10
2	2144	10
3	6402	10
0	0	0
1	0	0

simplify90.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

580×	`cancel-sign-sub-inv_binary64`
514×	`+-commutative_binary64`
493×	`associate-+l-_binary64`
368×	`associate--r+_binary64`
312×	`sub-neg_binary64`

Counts

59 → 55

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	419
1	133	414
2	412	407
3	1581	405
4	3925	405
5	4824	405
6	5046	405

prune38.0ms (1.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	2	56

Error

Counts

56 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 x (+.f64 1 y)) (/.f64 y (+.f64 1 y)))
	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

Compiler

Compiled 758 to 435 computations (42.6% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 x (+.f64 1 y))
✓	0.0b	(/.f64 y (+.f64 1 y))

series16.0ms (0.6%)

Counts

2 → 24

Calls

2 calls:

14.0ms	(/.f64 x (+.f64 1 y))
2.0ms	(/.f64 y (+.f64 1 y))

rewrite47.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

796×	`log1p-expm1-u_binary64`
796×	`expm1-log1p-u_binary64`
114×	`prod-diff_binary64`
75×	`add-sqr-sqrt_binary64`
70×	`egg-rr`

Counts

2 → 70

Calls

2 calls:

46.0ms	(/.f64 x (+.f64 1 y))
46.0ms	(/.f64 y (+.f64 1 y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	151	14
2	2009	14
3	5150	14
0	0	0
1	0	0

simplify69.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

576×	`times-frac_binary64`
493×	`fma-def_binary64`
396×	`sub-neg_binary64`
311×	`cancel-sign-sub-inv_binary64`
285×	`distribute-rgt-neg-in_binary64`

Counts

94 → 96

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	320
1	113	315
2	313	307
3	870	304
4	2826	304
5	4660	304
6	4947	304

prune62.0ms (2.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	96	2	98

Error

Counts

98 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (/.f64 x (+.f64 1 y)) (/.f64 y (+.f64 1 y)))
▶	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

Compiler

Compiled 1589 to 1033 computations (35% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (+.f64 y 1))
✓	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

series11.0ms (0.4%)

Counts

2 → 36

Calls

2 calls:

7.0ms	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))
4.0ms	(/.f64 1 (+.f64 y 1))

rewrite63.0ms (2.5%)

Algorithm

2×	batch-egg-rewrite

Rules

556×	`prod-diff_binary64`
418×	`log-prod_binary64`
255×	`fma-def_binary64`
155×	`log1p-udef_binary64`
154×	`expm1-udef_binary64`

Counts

2 → 77

Calls

2 calls:

61.0ms	(/.f64 1 (+.f64 y 1))
61.0ms	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	180	17
2	2318	17
3	5172	17
0	0	0
1	0	0

simplify82.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

663×	`cancel-sign-sub-inv_binary64`
571×	`associate-+l-_binary64`
394×	`associate--r+_binary64`
385×	`sub-neg_binary64`
314×	`times-frac_binary64`

Counts

113 → 109

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	58	590
1	169	581
2	515	574
3	1840	572
4	4337	572
5	4838	572
6	5009	572

prune58.0ms (2.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	109	2	111

Error

Counts

111 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (/.f64 x (+.f64 1 y)) (/.f64 y (+.f64 1 y)))
✓	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

Compiler

Compiled 1529 to 908 computations (40.6% saved)

regimes145.0ms (5.7%)

Accuracy

Total 0.0b remaining (23.7%)

Threshold costs 0.0b (23.7%)

Counts

41 → 1

Compiler

Compiled 1445 to 1030 computations (28.7% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	12	16
2	11	16

end62.0ms (2.5%)

Compiler: Compiled 50 to 35 computations (30% saved)

Details

analyze114.0ms (4.5%)

sample1.5s (59.2%)

simplify16.0ms (0.6%)

prune3.0ms (0.1%)

localize13.0ms (0.5%)

series24.0ms (0.9%)

rewrite105.0ms (4.2%)

simplify90.0ms (3.6%)

prune38.0ms (1.5%)

localize7.0ms (0.3%)

series16.0ms (0.6%)

rewrite47.0ms (1.9%)

simplify69.0ms (2.7%)

prune62.0ms (2.4%)

localize5.0ms (0.2%)

series11.0ms (0.4%)

rewrite63.0ms (2.5%)

simplify82.0ms (3.2%)

prune58.0ms (2.3%)

regimes145.0ms (5.7%)

simplify5.0ms (0.2%)

end62.0ms (2.5%)

Profiling