Statistics.Sample:$swelfordMean from math-functions-0.1.5.2

Time bar (total: 1.4s)

analyze34.0ms (2.5%)

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)

sample1.1s (77.8%)

Results
836.0ms6555×body256valid
232.0ms1701×body256infinite
Bogosity

preprocess221.0ms (15.9%)

Algorithm
1×egg-herbie
Rules
3672×fma-def
984×div-sub
724×times-frac
612×sub-neg
584×associate-/r*
Problems
256×No Errors
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
036377
187353
2236349
3739349
41808341
54691341
65756341
76254341
86581341
96670341
106806341
117744341
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z))
(+.f64 x (/.f64 (-.f64 y x) (neg.f64 z)))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z)))
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z)))
(neg.f64 (+.f64 x (/.f64 (-.f64 y x) (neg.f64 z))))
(+.f64 y (/.f64 (-.f64 x y) z))
(+.f64 z (/.f64 (-.f64 y z) x))
(+.f64 x (/.f64 (-.f64 z x) y))
Outputs
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z))
(-.f64 (/.f64 (+.f64 x y) z) x)
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z))
(-.f64 x (/.f64 (+.f64 x y) z))
(+.f64 x (/.f64 (-.f64 y x) (neg.f64 z)))
(+.f64 x (/.f64 (-.f64 x y) z))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z)))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z))
(-.f64 x (/.f64 (+.f64 x y) z))
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z)))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z))
(-.f64 (/.f64 (+.f64 x y) z) x)
(neg.f64 (+.f64 x (/.f64 (-.f64 y x) (neg.f64 z))))
(-.f64 (neg.f64 x) (/.f64 (-.f64 y x) (neg.f64 z)))
(-.f64 (/.f64 (-.f64 x y) (neg.f64 z)) x)
(-.f64 (/.f64 (-.f64 y x) z) x)
(+.f64 y (/.f64 (-.f64 x y) z))
(+.f64 z (/.f64 (-.f64 y z) x))
(+.f64 x (/.f64 (-.f64 z x) y))
Compiler

Compiled 32 to 13 computations (59.4% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 x (/.f64 (-.f64 y x) z))
▶100.0%
(+.f64 x (/.f64 (-.f64 y x) z))
Compiler

Compiled 20 to 12 computations (40% saved)

localize26.0ms (1.9%)

Compiler

Compiled 22 to 7 computations (68.2% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune5.0ms (0.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 x (/.f64 (-.f64 y x) z))
Compiler

Compiled 20 to 12 computations (40% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×+-commutative
4×sub-neg
2×neg-mul-1
2×*-commutative
2×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11631
22131
32331
42431
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(+.f64 x (/.f64 (-.f64 y x) z))
Outputs
(+.f64 x (/.f64 (-.f64 y x) z))
Compiler

Compiled 10 to 6 computations (40% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess19.0ms (1.3%)

Compiler

Compiled 40 to 24 computations (40% saved)

Profiling

Loading profile data...