Data.Random.Distribution.Triangular:triangularCDF from random-fu-0.2.6.2, A

Time bar (total: 1.4s)

analyze208.0ms (14.4%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
25%25%74.9%0.2%0%0%0%5
25%25%74.9%0.2%0%0%0%6
25%25%74.9%0.2%0%0%0%7
37.5%37.4%62.4%0.2%0%0%0%8
56.3%56.1%43.7%0.2%0%0%0%9
56.3%56.1%43.7%0.2%0%0%0%10
56.3%56.1%43.7%0.2%0%0%0%11
65.6%65.5%34.3%0.2%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.1s (76.6%)

Results
1.0s7814×body256valid
50.0ms442×body256infinite
Bogosity

preprocess130.0ms (9%)

Algorithm
1×egg-herbie
Rules
624×associate-/r/
498×associate--r+
493×fma-def
462×distribute-lft-in
370×associate-*r*
Problems
228×No Errors
28×(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
066792
1154752
2456752
31633736
46050736
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
(-.f64 1 (/.f64 (neg.f64 x) (*.f64 (-.f64 y z) (-.f64 y t))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 (neg.f64 y) z) (-.f64 (neg.f64 y) t))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y (neg.f64 z)) (-.f64 y t))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y (neg.f64 t)))))
(neg.f64 (-.f64 1 (/.f64 (neg.f64 x) (*.f64 (-.f64 y z) (-.f64 y t)))))
(neg.f64 (-.f64 1 (/.f64 x (*.f64 (-.f64 (neg.f64 y) z) (-.f64 (neg.f64 y) t)))))
(neg.f64 (-.f64 1 (/.f64 x (*.f64 (-.f64 y (neg.f64 z)) (-.f64 y t)))))
(neg.f64 (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y (neg.f64 t))))))
(-.f64 1 (/.f64 y (*.f64 (-.f64 x z) (-.f64 x t))))
(-.f64 1 (/.f64 z (*.f64 (-.f64 y x) (-.f64 y t))))
(-.f64 1 (/.f64 t (*.f64 (-.f64 y z) (-.f64 y x))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 z y) (-.f64 z t))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 t z) (-.f64 t y))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
Outputs
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
(+.f64 1 (/.f64 (/.f64 x (-.f64 z y)) (-.f64 y t)))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
(+.f64 1 (/.f64 (/.f64 x (-.f64 z y)) (-.f64 y t)))
(-.f64 1 (/.f64 (neg.f64 x) (*.f64 (-.f64 y z) (-.f64 y t))))
(+.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
(+.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
(-.f64 1 (/.f64 x (*.f64 (-.f64 (neg.f64 y) z) (-.f64 (neg.f64 y) t))))
(-.f64 1 (/.f64 x (*.f64 (+.f64 y z) (+.f64 y t))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y (neg.f64 z)) (-.f64 y t))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y (neg.f64 z)))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y t) (+.f64 y z))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y (neg.f64 t)))))
(-.f64 1 (/.f64 (/.f64 x (+.f64 y t)) (-.f64 y z)))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (+.f64 y t))))
(neg.f64 (-.f64 1 (/.f64 (neg.f64 x) (*.f64 (-.f64 y z) (-.f64 y t)))))
(-.f64 -1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
(-.f64 -1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
(+.f64 (/.f64 (/.f64 x (-.f64 z y)) (-.f64 y t)) -1)
(neg.f64 (-.f64 1 (/.f64 x (*.f64 (-.f64 (neg.f64 y) z) (-.f64 (neg.f64 y) t)))))
(+.f64 -1 (/.f64 x (*.f64 (-.f64 (neg.f64 y) z) (-.f64 (neg.f64 y) t))))
(+.f64 (/.f64 x (*.f64 (-.f64 (neg.f64 y) z) (-.f64 (neg.f64 y) t))) -1)
(+.f64 (/.f64 x (*.f64 (+.f64 y z) (+.f64 y t))) -1)
(neg.f64 (-.f64 1 (/.f64 x (*.f64 (-.f64 y (neg.f64 z)) (-.f64 y t)))))
(neg.f64 (-.f64 1 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y (neg.f64 z))))))
(+.f64 -1 (/.f64 x (*.f64 (-.f64 y t) (+.f64 y z))))
(+.f64 (/.f64 x (*.f64 (-.f64 y t) (+.f64 y z))) -1)
(neg.f64 (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y (neg.f64 t))))))
(+.f64 -1 (/.f64 (/.f64 x (+.f64 y t)) (-.f64 y z)))
(+.f64 (/.f64 x (*.f64 (-.f64 y z) (+.f64 y t))) -1)
(-.f64 1 (/.f64 y (*.f64 (-.f64 x z) (-.f64 x t))))
(-.f64 1 (/.f64 z (*.f64 (-.f64 y x) (-.f64 y t))))
(-.f64 1 (/.f64 z (*.f64 (-.f64 y t) (-.f64 y x))))
(-.f64 1 (/.f64 (/.f64 z (-.f64 y t)) (-.f64 y x)))
(-.f64 1 (/.f64 (/.f64 z (-.f64 y x)) (-.f64 y t)))
(-.f64 1 (/.f64 t (*.f64 (-.f64 y z) (-.f64 y x))))
(-.f64 1 (/.f64 (/.f64 t (-.f64 y x)) (-.f64 y z)))
(-.f64 1 (/.f64 x (*.f64 (-.f64 z y) (-.f64 z t))))
(+.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 z t)))
(-.f64 1 (/.f64 x (*.f64 (-.f64 t z) (-.f64 t y))))
(+.f64 1 (/.f64 (/.f64 x (-.f64 z t)) (-.f64 t y)))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
(+.f64 1 (/.f64 (/.f64 x (-.f64 z y)) (-.f64 y t)))
Symmetry

(sort z t)

Compiler

Compiled 43 to 12 computations (72.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...