Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, B

Time bar (total: 2.1s)

analyze215.0ms (10%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
3.2%3.1%93.7%0.1%0%3.1%0%6
17.5%15.6%73.4%0.1%0%10.9%0%7
23%20.3%67.9%0.1%0%11.7%0%8
34.1%28.9%55.8%0.1%0%15.2%0%9
37.4%31.6%52.9%0.1%0%15.4%0%10
43.6%36.1%46.7%0.1%0%17.1%0%11
45.4%37.6%45.2%0.1%0%17.1%0%12
Compiler

Compiled 15 to 12 computations (20% saved)

sample1.7s (78.7%)

Results
868.0ms6499×body256valid
344.0ms1035×body1024valid
147.0ms1747×body256invalid
122.0ms650×body512valid
107.0ms516×body1024invalid
55.0ms368×body512invalid
26.0ms72×body2048valid
Bogosity

preprocess241.0ms (11.2%)

Algorithm
1×egg-herbie
Rules
446×associate-+l-
438×associate--r+
379×associate-+r-
361×associate-*r*
318×associate-/r*
Problems
103×(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
78×(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
75×No Errors
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
036340
185302
2208274
3502274
41335266
53303266
66057266
77114266
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y)))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y))))))
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y))))))
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y)))))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 y x) (-.f64 1 x)))))
Outputs
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (neg.f64 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (neg.f64 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (/.f64 (neg.f64 (-.f64 (neg.f64 x) y)) (-.f64 1 y))))
(-.f64 1 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 1 y))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y))))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 (neg.f64 x) y) (+.f64 1 y))))
(-.f64 1 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 -1 y))))
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y))))))
(+.f64 -1 (log1p.f64 (/.f64 (neg.f64 (-.f64 (neg.f64 x) y)) (-.f64 1 y))))
(+.f64 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 1 y))) -1)
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y)))))))
(+.f64 -1 (log1p.f64 (/.f64 (-.f64 (neg.f64 x) y) (+.f64 1 y))))
(+.f64 (log1p.f64 (/.f64 (-.f64 (neg.f64 x) y) (+.f64 1 y))) -1)
(+.f64 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 -1 y))) -1)
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 y x) (-.f64 1 x)))))
(-.f64 1 (log1p.f64 (/.f64 (neg.f64 (-.f64 y x)) (-.f64 1 x))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (-.f64 1 x))))
Compiler

Compiled 50 to 29 computations (42% saved)

end0.0ms (0%)

Profiling

Loading profile data...