Details

analyze3.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
62.5%	12.5%	25%	4
68.7%	6.2%	25%	5
71.8%	3.1%	25%	6
73.4%	1.6%	25%	7
74.2%	0.8%	25%	8
74.6%	0.4%	25%	9
74.8%	0.2%	25%	10
74.9%	0.1%	25%	11
74.9%	0%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample716.0ms (46.8%)

Results

687.0ms	8250×	body	128	valid
2.0ms	6×	body	2048	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify8.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	11	12

Stop Event

1×

saturated

Counts

1 → 1

prune2.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.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))

Compiler

Compiled 27 to 21 computations (22.2% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series41.0ms (2.7%)

Counts

3 → 12

Calls

3 calls:

27.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
8.0ms	(sqrt.f64 (+.f64 x 1))
6.0ms	(+.f64 1 (sqrt.f64 (+.f64 x 1)))

rewrite84.0ms (5.5%)

Algorithm

1×	batch-egg-rewrite

Rules

804×	`log1p-expm1-u_binary64`
804×	`expm1-log1p-u_binary64`
424×	`prod-diff_binary64`
93×	`egg-rr`
76×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	27
1	158	27
2	2207	27

Stop Event

1×	node limit

Counts

3 → 93

Calls

3 calls:

83.0ms	(+.f64 1 (sqrt.f64 (+.f64 x 1)))
83.0ms	(sqrt.f64 (+.f64 x 1))
83.0ms	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))

simplify26.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

590×	`fma-def_binary64`
361×	`distribute-rgt-neg-in_binary64`
306×	`distribute-lft-neg-in_binary64`
251×	`distribute-lft-out--_binary64`
235×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	158
1	91	142
2	232	130
3	812	109
4	2941	109

Stop Event

1×	node limit

Counts

105 → 114

prune68.0ms (4.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	112	3	115

Error

Counts

115 → 3

Alt Table

Status	Error	Program
✓	0.2b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
	37.7b	(/.f64 x (/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1)))
▶	20.7b	(pow.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) 2)

Compiler

Compiled 1519 to 1188 computations (21.8% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (+.f64 x 1))
✓	0.1b	(sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
	0.2b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
✓	0.4b	(pow.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) 2)

series113.0ms (7.4%)

Counts

2 → 0

Calls

2 calls:

67.0ms	(pow.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) 2)
45.0ms	(sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1)))))

rewrite46.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

424×	`prod-diff_binary64`
410×	`log-prod_binary64`
285×	`fma-def_binary64`
156×	`log1p-udef_binary64`
155×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	26
1	222	26
2	2633	26

Stop Event

1×	node limit

Counts

2 → 84

Calls

2 calls:

45.0ms	(sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1)))))
45.0ms	(pow.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) 2)

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

84 → 84

prune78.0ms (5.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	159	3	162

Error

Counts

162 → 3

Alt Table

Status	Error	Program
✓	0.2b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
▶	37.7b	(/.f64 x (/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1)))
✓	20.7b	(pow.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) 2)

Compiler

Compiled 2573 to 2075 computations (19.4% saved)

localize6.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (+.f64 x 1))
✓	0.2b	(/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1))
✓	0.2b	(/.f64 x (/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1)))
✓	5.8b	(-.f64 (sqrt.f64 (+.f64 x 1)) 1)

series50.0ms (3.3%)

Counts

3 → 12

Calls

3 calls:

24.0ms	(/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1))
20.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) 1)
6.0ms	(/.f64 x (/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1)))

rewrite61.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

870×	`expm1-log1p-u_binary64`
512×	`prod-diff_binary64`
149×	`egg-rr`
90×	`log1p-expm1-u_binary64`
86×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	187	25
2	2682	25

Stop Event

1×	node limit

Counts

3 → 149

Calls

3 calls:

58.0ms	(/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1))
58.0ms	(/.f64 x (/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1)))
58.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) 1)

simplify27.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

431×	`fma-def_binary64`
363×	`distribute-rgt-neg-in_binary64`
305×	`distribute-lft-neg-in_binary64`
251×	`distribute-lft-out--_binary64`
217×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	175
1	76	161
2	196	149
3	685	125
4	2574	125

Stop Event

1×	node limit

Counts

161 → 119

prune72.0ms (4.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	152	3	155

Error

Counts

155 → 3

Alt Table

Status	Error	Program
✓	0.2b	(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
✓	37.7b	(/.f64 x (/.f64 x (-.f64 (sqrt.f64 (+.f64 x 1)) 1)))
✓	20.7b	(pow.f64 (sqrt.f64 (/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))) 2)

Compiler

Compiled 2284 to 1624 computations (28.9% saved)

regimes58.0ms (3.8%)

Accuracy

Total 0.2b remaining (94.4%)

Threshold costs 0.2b (94.4%)

Counts

29 → 1

Compiler

Compiled 638 to 498 computations (21.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	11	12

Stop Event

1×

saturated

end54.0ms (3.5%)

Compiler: Compiled 50 to 39 computations (22% saved)

Details

analyze3.0ms (0.2%)

sample716.0ms (46.8%)

simplify8.0ms (0.5%)

prune2.0ms (0.1%)

localize5.0ms (0.3%)

series41.0ms (2.7%)

rewrite84.0ms (5.5%)

simplify26.0ms (1.7%)

prune68.0ms (4.5%)

localize7.0ms (0.4%)

series113.0ms (7.4%)

rewrite46.0ms (3%)

simplify7.0ms (0.4%)

prune78.0ms (5.1%)

localize6.0ms (0.4%)

series50.0ms (3.3%)

rewrite61.0ms (4%)

simplify27.0ms (1.8%)

prune72.0ms (4.7%)

regimes58.0ms (3.8%)

simplify2.0ms (0.1%)

end54.0ms (3.5%)

Profiling