Numeric.SpecFunctions:choose from math-functions-0.1.5.2

Time bar (total: 1.2s)

analyze33.0ms (2.7%)

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
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
75%74.9%25%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
87.5%87.4%12.5%0.1%0%0%0%12
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample761.0ms (61.8%)

Results
625.0ms6889×body256valid
125.0ms1367×body256infinite
Bogosity

preprocess437.0ms (35.5%)

Algorithm
1×egg-herbie
Rules
547×associate-/r/
512×fma-def
488×*-commutative
450×distribute-lft-in
379×associate-+r-
Problems
208×No Errors
48×(/.f64 (*.f64 x (+.f64 y z)) z)
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
036369
1110353
2252345
3784333
42936314
57383314
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 y z)) z)
(/.f64 (*.f64 x (+.f64 y z)) z)
(/.f64 (*.f64 (neg.f64 x) (+.f64 y z)) z)
(/.f64 (*.f64 x (+.f64 (neg.f64 y) z)) z)
(/.f64 (*.f64 x (+.f64 y (neg.f64 z))) (neg.f64 z))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (+.f64 y z)) z))
(neg.f64 (/.f64 (*.f64 x (+.f64 (neg.f64 y) z)) z))
(neg.f64 (/.f64 (*.f64 x (+.f64 y (neg.f64 z))) (neg.f64 z)))
(/.f64 (*.f64 y (+.f64 x z)) z)
(/.f64 (*.f64 z (+.f64 y x)) x)
(/.f64 (*.f64 x (+.f64 z y)) y)
Outputs
(/.f64 (*.f64 x (+.f64 y z)) z)
(*.f64 (+.f64 y z) (/.f64 x z))
(*.f64 x (/.f64 (+.f64 y z) z))
(fma.f64 x (/.f64 y z) x)
(/.f64 (*.f64 x (+.f64 y z)) z)
(*.f64 (+.f64 y z) (/.f64 x z))
(*.f64 x (/.f64 (+.f64 y z) z))
(fma.f64 x (/.f64 y z) x)
(/.f64 (*.f64 (neg.f64 x) (+.f64 y z)) z)
(/.f64 (neg.f64 x) (/.f64 z (+.f64 y z)))
(*.f64 (/.f64 (neg.f64 x) z) (+.f64 y z))
(*.f64 (/.f64 x z) (neg.f64 (+.f64 y z)))
(*.f64 (/.f64 (-.f64 (neg.f64 y) z) z) x)
(*.f64 x (-.f64 -1 (/.f64 y z)))
(/.f64 (*.f64 x (+.f64 (neg.f64 y) z)) z)
(/.f64 x (/.f64 z (+.f64 z (neg.f64 y))))
(/.f64 x (/.f64 z (-.f64 z y)))
(*.f64 (-.f64 z y) (/.f64 x z))
(*.f64 x (-.f64 1 (/.f64 y z)))
(/.f64 (*.f64 x (+.f64 y (neg.f64 z))) (neg.f64 z))
(/.f64 x (/.f64 z (+.f64 z (neg.f64 y))))
(/.f64 x (/.f64 z (-.f64 z y)))
(*.f64 (-.f64 z y) (/.f64 x z))
(*.f64 x (-.f64 1 (/.f64 y z)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (+.f64 y z)) z))
(/.f64 (*.f64 x (+.f64 y z)) z)
(*.f64 (+.f64 y z) (/.f64 x z))
(*.f64 x (/.f64 (+.f64 y z) z))
(fma.f64 x (/.f64 y z) x)
(neg.f64 (/.f64 (*.f64 x (+.f64 (neg.f64 y) z)) z))
(/.f64 (neg.f64 (*.f64 x (+.f64 z (neg.f64 y)))) z)
(/.f64 (neg.f64 x) (/.f64 z (-.f64 z y)))
(*.f64 (/.f64 x z) (-.f64 y z))
(*.f64 x (+.f64 (/.f64 y z) -1))
(*.f64 x (+.f64 -1 (/.f64 y z)))
(neg.f64 (/.f64 (*.f64 x (+.f64 y (neg.f64 z))) (neg.f64 z)))
(/.f64 (neg.f64 (*.f64 x (+.f64 z (neg.f64 y)))) z)
(/.f64 (neg.f64 x) (/.f64 z (-.f64 z y)))
(*.f64 (/.f64 x z) (-.f64 y z))
(*.f64 x (+.f64 (/.f64 y z) -1))
(*.f64 x (+.f64 -1 (/.f64 y z)))
(/.f64 (*.f64 y (+.f64 x z)) z)
(*.f64 (/.f64 y z) (+.f64 x z))
(*.f64 (+.f64 x z) (/.f64 y z))
(*.f64 y (/.f64 (+.f64 x z) z))
(/.f64 (*.f64 z (+.f64 y x)) x)
(/.f64 (*.f64 z (+.f64 x y)) x)
(*.f64 (/.f64 z x) (+.f64 x y))
(*.f64 (+.f64 x y) (/.f64 z x))
(/.f64 (*.f64 x (+.f64 z y)) y)
(/.f64 x (/.f64 y (+.f64 y z)))
(*.f64 (/.f64 x y) (+.f64 y z))
(*.f64 (+.f64 y z) (/.f64 x y))
(*.f64 x (/.f64 (+.f64 y z) y))
Symmetry

(negabs x)

Compiler

Compiled 22 to 7 computations (68.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...