Diagrams.Backend.Cairo.Internal:setTexture from diagrams-cairo-1.3.0.3

Time bar (total: 1.1s)

analyze25.0ms (2.3%)

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
50%49.9%49.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
75%74.9%25%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
87.5%87.4%12.5%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
93.8%93.6%6.2%0.1%0%0%0%12
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample975.0ms (88.3%)

Results
831.0ms6827×body256valid
133.0ms1429×body256infinite
Bogosity

preprocess104.0ms (9.4%)

Algorithm
1×egg-herbie
Rules
658×distribute-lft-in
535×distribute-rgt-in
313×*-commutative
302×associate--r-
269×associate--r+
Problems
218×No Errors
38×(/.f64 (*.f64 x (-.f64 y z)) y)
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
036385
184385
2244361
3944349
43926306
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (-.f64 y z)) y)
(/.f64 (*.f64 x (-.f64 y z)) y)
(/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) y)
(/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (neg.f64 y))
(/.f64 (*.f64 x (-.f64 y (neg.f64 z))) y)
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) y))
(neg.f64 (/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (neg.f64 y)))
(neg.f64 (/.f64 (*.f64 x (-.f64 y (neg.f64 z))) y))
(/.f64 (*.f64 y (-.f64 x z)) x)
(/.f64 (*.f64 z (-.f64 y x)) y)
(/.f64 (*.f64 x (-.f64 z y)) z)
Outputs
(/.f64 (*.f64 x (-.f64 y z)) y)
(/.f64 (-.f64 y z) (/.f64 y x))
(*.f64 (-.f64 y z) (/.f64 x y))
(*.f64 x (/.f64 (-.f64 y z) y))
(*.f64 x (-.f64 1 (/.f64 z y)))
(/.f64 (*.f64 x (-.f64 y z)) y)
(/.f64 (-.f64 y z) (/.f64 y x))
(*.f64 (-.f64 y z) (/.f64 x y))
(*.f64 x (/.f64 (-.f64 y z) y))
(*.f64 x (-.f64 1 (/.f64 z y)))
(/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) y)
(/.f64 (neg.f64 x) (/.f64 y (-.f64 y z)))
(*.f64 (/.f64 (neg.f64 x) y) (-.f64 y z))
(*.f64 (/.f64 x y) (-.f64 z y))
(*.f64 (-.f64 z y) (/.f64 x y))
(*.f64 x (+.f64 -1 (/.f64 z y)))
(/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (neg.f64 y))
(/.f64 x (/.f64 (neg.f64 y) (-.f64 (neg.f64 y) z)))
(*.f64 1 (*.f64 (+.f64 y z) (/.f64 x y)))
(*.f64 x (/.f64 (+.f64 y z) y))
(fma.f64 z (/.f64 x y) x)
(/.f64 (*.f64 x (-.f64 y (neg.f64 z))) y)
(/.f64 x (/.f64 (neg.f64 y) (-.f64 (neg.f64 y) z)))
(/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (neg.f64 y))
(*.f64 1 (*.f64 (+.f64 y z) (/.f64 x y)))
(*.f64 x (/.f64 (+.f64 y z) y))
(fma.f64 z (/.f64 x y) x)
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) y))
(/.f64 (*.f64 x (-.f64 y z)) y)
(/.f64 (-.f64 y z) (/.f64 y x))
(*.f64 (-.f64 y z) (/.f64 x y))
(*.f64 x (/.f64 (-.f64 y z) y))
(*.f64 x (-.f64 1 (/.f64 z y)))
(neg.f64 (/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (neg.f64 y)))
(/.f64 (neg.f64 (*.f64 x (-.f64 (neg.f64 y) z))) (neg.f64 y))
(/.f64 (*.f64 (neg.f64 x) (-.f64 (neg.f64 y) z)) (neg.f64 y))
(*.f64 (/.f64 x (neg.f64 y)) (+.f64 y z))
(*.f64 x (/.f64 (-.f64 (neg.f64 y) z) y))
(*.f64 x (-.f64 -1 (/.f64 z y)))
(neg.f64 (/.f64 (*.f64 x (-.f64 y (neg.f64 z))) y))
(/.f64 (neg.f64 (*.f64 x (-.f64 (neg.f64 y) z))) (neg.f64 y))
(/.f64 (*.f64 (neg.f64 x) (-.f64 (neg.f64 y) z)) (neg.f64 y))
(*.f64 (/.f64 x (neg.f64 y)) (+.f64 y z))
(*.f64 x (/.f64 (-.f64 (neg.f64 y) z) y))
(*.f64 x (-.f64 -1 (/.f64 z y)))
(/.f64 (*.f64 y (-.f64 x z)) x)
(/.f64 y (/.f64 x (-.f64 x z)))
(*.f64 (/.f64 y x) (-.f64 x z))
(*.f64 (-.f64 x z) (/.f64 y x))
(*.f64 y (-.f64 1 (/.f64 z x)))
(/.f64 (*.f64 z (-.f64 y x)) y)
(/.f64 z (/.f64 y (-.f64 y x)))
(*.f64 (/.f64 z y) (-.f64 y x))
(*.f64 (-.f64 y x) (/.f64 z y))
(*.f64 z (/.f64 (-.f64 y x) y))
(*.f64 z (-.f64 1 (/.f64 x y)))
(/.f64 (*.f64 x (-.f64 z y)) z)
(*.f64 (-.f64 z y) (/.f64 x z))
(/.f64 x (/.f64 z (-.f64 z y)))
(*.f64 x (-.f64 1 (/.f64 y z)))
Symmetry

(negabs x)

Compiler

Compiled 22 to 7 computations (68.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...