Numeric.SpecFunctions.Extra:bd0 from math-functions-0.1.5.2

Time bar (total: 1.3s)

analyze68.0ms (5.1%)

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%74.9%0.1%0%25%0%3
0%0%74.9%0.1%0%25%0%4
0%0%74.9%0.1%0%25%0%5
30%18.7%43.7%0.1%0%37.4%0%6
30%18.7%43.7%0.1%0%37.4%0%7
35%21.8%40.6%0.1%0%37.4%0%8
52.8%29.6%26.5%0.1%0%43.7%0%9
52.8%29.6%26.5%0.1%0%43.7%0%10
59.7%33.5%22.6%0.1%0%43.7%0%11
72.8%38.6%14.4%0.1%0%46.8%0%12
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.1s (85.7%)

Results
1.1s8216×body256valid
42.0ms510×body256invalid
5.0ms40×body256infinite
Bogosity

preprocess122.0ms (9.2%)

Algorithm
1×egg-herbie
Rules
467×associate-+r-
464×+-commutative
463×fma-def
454×associate-+l-
343×distribute-lft-in
Problems
195×No Errors
61×(log.f64 (/.f64 x y))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
041429
191413
2207393
3581393
41543393
55209393
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
(-.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) y))) z)
(-.f64 (*.f64 x (log.f64 (/.f64 x (neg.f64 y)))) z)
(-.f64 (*.f64 x (log.f64 (/.f64 x y))) (neg.f64 z))
(neg.f64 (-.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) y))) z))
(neg.f64 (-.f64 (*.f64 x (log.f64 (/.f64 x (neg.f64 y)))) z))
(neg.f64 (-.f64 (*.f64 x (log.f64 (/.f64 x y))) (neg.f64 z)))
(-.f64 (*.f64 y (log.f64 (/.f64 y x))) z)
(-.f64 (*.f64 z (log.f64 (/.f64 z y))) x)
(-.f64 (*.f64 x (log.f64 (/.f64 x z))) y)
Outputs
(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
(-.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) y))) z)
(neg.f64 (fma.f64 x (log.f64 (neg.f64 (/.f64 x y))) z))
(neg.f64 (fma.f64 x (log.f64 (/.f64 (neg.f64 x) y)) z))
(-.f64 (*.f64 x (log.f64 (/.f64 x (neg.f64 y)))) z)
(fma.f64 x (log.f64 (/.f64 x (neg.f64 y))) (neg.f64 z))
(-.f64 (*.f64 x (log.f64 (/.f64 (neg.f64 x) y))) z)
(-.f64 (*.f64 x (log.f64 (/.f64 x y))) (neg.f64 z))
(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 (neg.f64 z)))
(fma.f64 x (log.f64 (/.f64 x y)) z)
(neg.f64 (-.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) y))) z))
(fma.f64 x (log.f64 (neg.f64 (/.f64 x y))) z)
(fma.f64 x (log.f64 (/.f64 (neg.f64 x) y)) z)
(neg.f64 (-.f64 (*.f64 x (log.f64 (/.f64 x (neg.f64 y)))) z))
(+.f64 (neg.f64 (*.f64 x (log.f64 (/.f64 x (neg.f64 y))))) z)
(-.f64 z (*.f64 x (log.f64 (/.f64 x (neg.f64 y)))))
(-.f64 z (*.f64 x (log.f64 (/.f64 (neg.f64 x) y))))
(neg.f64 (-.f64 (*.f64 x (log.f64 (/.f64 x y))) (neg.f64 z)))
(neg.f64 (fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 (neg.f64 z))))
(neg.f64 (fma.f64 x (log.f64 (/.f64 x y)) z))
(fma.f64 x (log.f64 (/.f64 y x)) (neg.f64 z))
(-.f64 (*.f64 y (log.f64 (/.f64 y x))) z)
(fma.f64 y (log.f64 (/.f64 y x)) (neg.f64 z))
(-.f64 (*.f64 z (log.f64 (/.f64 z y))) x)
(-.f64 (*.f64 x (log.f64 (/.f64 x z))) y)
(fma.f64 x (log.f64 (/.f64 x z)) (neg.f64 y))
Compiler

Compiled 28 to 8 computations (71.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...