Numeric.Log:$clog1p from log-domain-0.10.2.1, B

analyze2.0ms (0.2%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
66.7%	50%	25%	0%	0%	25%	0%	3
83.3%	62.5%	12.5%	0%	0%	25%	0%	4
91.7%	68.7%	6.2%	0%	0%	25%	0%	5
95.8%	71.8%	3.1%	0%	0%	25%	0%	6
97.9%	73.4%	1.6%	0%	0%	25%	0%	7
99%	74.2%	0.8%	0%	0%	25%	0%	8
99.5%	74.6%	0.4%	0%	0%	25%	0%	9
99.7%	74.8%	0.2%	0%	0%	25%	0%	10
99.9%	74.9%	0.1%	0%	0%	25%	0%	11
99.9%	74.9%	0%	0%	0%	25%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample798.0ms (89%)

Results

786.0ms	8253×	body	256	valid
1.0ms	3×	body	2048	valid
0.0ms	1×	body	256	invalid

Bogosity

preprocess97.0ms (10.8%)

Algorithm

1×	egg-herbie

Rules

121×	`associate-r`
93×	`fma-def`
64×	`*-commutative`
46×	`associate-/r*`
39×	`associate-/r/`

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	136
1	35	120
2	57	120
3	115	120
4	229	120
5	506	120
6	878	120
7	899	120
8	945	120
9	963	120

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1))))
(neg.f64 (/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1)))))

Outputs
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 1 (neg.f64 x)))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (-.f64 1 x))))
(neg.f64 (/.f64 x (+.f64 1 (sqrt.f64 (-.f64 1 x)))))
(neg.f64 (/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1)))))
(/.f64 (neg.f64 (neg.f64 x)) (+.f64 1 (sqrt.f64 (+.f64 1 (neg.f64 x)))))
(/.f64 x (+.f64 1 (sqrt.f64 (-.f64 1 x))))

Compiler

Compiled 25 to 19 computations (24% saved)

end0.0ms (0%)

Profiling

Loading profile data...