Jmat.Real.lambertw, estimator

Time bar (total: 1.3s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%50%0%0%50%0%2
50%25%25%0%0%50%0%3
66.7%25%12.5%0%0%62.5%0%4
80%25%6.2%0%0%68.7%0%5
88.9%25%3.1%0%0%71.8%0%6
94.1%25%1.6%0%0%73.4%0%7
97%25%0.8%0%0%74.2%0%8
98.5%25%0.4%0%0%74.6%0%9
99.2%25%0.2%0%0%74.8%0%10
99.6%25%0.1%0%0%74.9%0%11
99.8%25%0%0%0%74.9%0%12
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample982.0ms (73%)

Results
971.0ms8256×body256valid
1.0ms8×body256invalid
Bogosity

preprocess362.0ms (26.9%)

Algorithm
1×egg-herbie
Rules
1764×fma-def
1115×associate-+r+
640×distribute-lft-in
526×distribute-rgt-in
322×fma-neg
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014120
124120
248116
3109116
4275116
5598116
61056116
71211116
81401116
92419116
103698116
114693116
124990116
135006116
145022116
155022116
166380116
176524116
186848116
197376116
207464116
217506116
227548116
237576116
247616116
257668116
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(-.f64 (log.f64 (neg.f64 x)) (log.f64 (log.f64 (neg.f64 x))))
(neg.f64 (-.f64 (log.f64 (neg.f64 x)) (log.f64 (log.f64 (neg.f64 x)))))
Outputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(-.f64 (log.f64 (neg.f64 x)) (log.f64 (log.f64 (neg.f64 x))))
(neg.f64 (-.f64 (log.f64 (neg.f64 x)) (log.f64 (log.f64 (neg.f64 x)))))
(-.f64 (log.f64 (log.f64 (neg.f64 x))) (log.f64 (neg.f64 x)))
Compiler

Compiled 14 to 5 computations (64.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...