Diagrams.TwoD.Segment.Bernstein:evaluateBernstein from diagrams-lib-1.3.0.3

Time bar (total: 1.1s)

analyze35.0ms (3.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%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 13 to 9 computations (30.8% saved)

sample1.0s (87.9%)

Results
834.0ms6573×body256valid
162.0ms1683×body256infinite
Bogosity

preprocess103.0ms (9%)

Algorithm
1×egg-herbie
Rules
610×associate-/r*
603×distribute-lft-in
595×associate-/l*
559×associate-*r/
427×distribute-rgt-in
Problems
219×No Errors
37×(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
043443
1147424
2409408
32031400
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
(/.f64 (*.f64 (neg.f64 x) (+.f64 (-.f64 y z) 1)) z)
(/.f64 (*.f64 x (+.f64 (-.f64 (neg.f64 y) z) 1)) z)
(/.f64 (*.f64 x (+.f64 (-.f64 y (neg.f64 z)) 1)) (neg.f64 z))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (+.f64 (-.f64 y z) 1)) z))
(neg.f64 (/.f64 (*.f64 x (+.f64 (-.f64 (neg.f64 y) z) 1)) z))
(neg.f64 (/.f64 (*.f64 x (+.f64 (-.f64 y (neg.f64 z)) 1)) (neg.f64 z)))
(/.f64 (*.f64 y (+.f64 (-.f64 x z) 1)) z)
(/.f64 (*.f64 z (+.f64 (-.f64 y x) 1)) x)
(/.f64 (*.f64 x (+.f64 (-.f64 z y) 1)) y)
Outputs
(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
(/.f64 (fma.f64 x (-.f64 y z) x) z)
(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
(/.f64 (fma.f64 x (-.f64 y z) x) z)
(/.f64 (*.f64 (neg.f64 x) (+.f64 (-.f64 y z) 1)) z)
(/.f64 (neg.f64 x) (/.f64 z (+.f64 (-.f64 y z) 1)))
(/.f64 (neg.f64 (fma.f64 x (-.f64 y z) x)) z)
(*.f64 (/.f64 x z) (+.f64 (-.f64 z y) -1))
(/.f64 (+.f64 (-.f64 z y) -1) (/.f64 z x))
(/.f64 (*.f64 x (+.f64 (-.f64 (neg.f64 y) z) 1)) z)
(/.f64 x (/.f64 z (+.f64 1 (-.f64 (neg.f64 y) z))))
(/.f64 (fma.f64 x (neg.f64 (+.f64 y z)) x) z)
(*.f64 (-.f64 1 (+.f64 y z)) (/.f64 x z))
(*.f64 x (/.f64 (-.f64 1 (+.f64 y z)) z))
(/.f64 (*.f64 x (+.f64 (-.f64 y (neg.f64 z)) 1)) (neg.f64 z))
(/.f64 (*.f64 x (+.f64 1 (-.f64 y (neg.f64 z)))) (neg.f64 z))
(/.f64 (fma.f64 x (+.f64 y z) x) (neg.f64 z))
(/.f64 x (/.f64 z (-.f64 (-.f64 -1 z) y)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (+.f64 (-.f64 y z) 1)) z))
(/.f64 (*.f64 x (+.f64 (-.f64 y z) 1)) z)
(/.f64 (fma.f64 x (-.f64 y z) x) z)
(neg.f64 (/.f64 (*.f64 x (+.f64 (-.f64 (neg.f64 y) z) 1)) z))
(neg.f64 (/.f64 x (/.f64 z (+.f64 1 (-.f64 (neg.f64 y) z)))))
(/.f64 (neg.f64 (fma.f64 x (neg.f64 (+.f64 y z)) x)) z)
(*.f64 (/.f64 x (neg.f64 z)) (-.f64 1 (+.f64 y z)))
(*.f64 x (/.f64 (+.f64 y (+.f64 z -1)) z))
(neg.f64 (/.f64 (*.f64 x (+.f64 (-.f64 y (neg.f64 z)) 1)) (neg.f64 z)))
(/.f64 (neg.f64 (*.f64 x (+.f64 1 (-.f64 y (neg.f64 z))))) (neg.f64 z))
(/.f64 (neg.f64 (fma.f64 x (+.f64 y z) x)) (neg.f64 z))
(*.f64 (/.f64 x z) (+.f64 y (+.f64 z 1)))
(/.f64 (fma.f64 x (+.f64 y z) x) z)
(/.f64 (*.f64 y (+.f64 (-.f64 x z) 1)) z)
(/.f64 y (/.f64 z (+.f64 1 (-.f64 x z))))
(/.f64 (fma.f64 y (-.f64 x z) y) z)
(/.f64 (*.f64 z (+.f64 (-.f64 y x) 1)) x)
(/.f64 (*.f64 z (+.f64 1 (-.f64 y x))) x)
(/.f64 (fma.f64 z (-.f64 y x) z) x)
(/.f64 (*.f64 x (+.f64 (-.f64 z y) 1)) y)
(/.f64 x (/.f64 y (+.f64 1 (-.f64 z y))))
(/.f64 (fma.f64 x (-.f64 z y) x) y)
Symmetry

(negabs x)

Compiler

Compiled 32 to 15 computations (53.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...