Linear.Projection:perspective from linear-1.19.1.3, B

Time bar (total: 1.2s)

analyze13.0ms (1.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
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
87.5%87.4%12.5%0.1%0%0%0%8
93.8%93.7%6.2%0.1%0%0%0%9
93.8%93.7%6.2%0.1%0%0%0%10
96.9%96.8%3.1%0.1%0%0%0%11
96.9%96.8%3.1%0.1%0%0%0%12
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.0s (89.1%)

Results
1.0s8256×body256valid
Bogosity

preprocess116.0ms (9.9%)

Algorithm
1×egg-herbie
Rules
592×associate-/r*
547×times-frac
524×*-commutative
507×associate-/l*
476×distribute-lft-in
Problems
201×No Errors
55×(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
028291
168267
2224250
3928238
44602217
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
(/.f64 (*.f64 (*.f64 (neg.f64 x) 2) y) (-.f64 (neg.f64 x) y))
(/.f64 (*.f64 (*.f64 x 2) (neg.f64 y)) (-.f64 x (neg.f64 y)))
(neg.f64 (/.f64 (*.f64 (*.f64 (neg.f64 x) 2) y) (-.f64 (neg.f64 x) y)))
(neg.f64 (/.f64 (*.f64 (*.f64 x 2) (neg.f64 y)) (-.f64 x (neg.f64 y))))
(/.f64 (*.f64 (*.f64 y 2) x) (-.f64 y x))
Outputs
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
(/.f64 (*.f64 x (*.f64 2 y)) (-.f64 x y))
(/.f64 (*.f64 2 y) (-.f64 1 (/.f64 y x)))
(*.f64 x (/.f64 -2 (-.f64 1 (/.f64 x y))))
(/.f64 2 (+.f64 (/.f64 -1 x) (/.f64 1 y)))
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
(/.f64 (*.f64 x (*.f64 2 y)) (-.f64 x y))
(/.f64 (*.f64 2 y) (-.f64 1 (/.f64 y x)))
(*.f64 x (/.f64 -2 (-.f64 1 (/.f64 x y))))
(/.f64 2 (+.f64 (/.f64 -1 x) (/.f64 1 y)))
(/.f64 (*.f64 (*.f64 (neg.f64 x) 2) y) (-.f64 (neg.f64 x) y))
(/.f64 (*.f64 2 (neg.f64 x)) (/.f64 (-.f64 (neg.f64 x) y) y))
(*.f64 (/.f64 (*.f64 x -2) (-.f64 (neg.f64 x) y)) y)
(/.f64 x (/.f64 (+.f64 x y) (*.f64 2 y)))
(*.f64 x (/.f64 2 (-.f64 (/.f64 x y) -1)))
(/.f64 -2 (+.f64 (/.f64 -1 y) (/.f64 -1 x)))
(/.f64 (*.f64 (*.f64 x 2) (neg.f64 y)) (-.f64 x (neg.f64 y)))
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x (neg.f64 y)) (neg.f64 y)))
(/.f64 (*.f64 y (*.f64 x -2)) (+.f64 x y))
(/.f64 (*.f64 y -2) (/.f64 (+.f64 x y) x))
(*.f64 2 (/.f64 x (-.f64 -1 (/.f64 x y))))
(/.f64 2 (+.f64 (/.f64 -1 y) (/.f64 -1 x)))
(neg.f64 (/.f64 (*.f64 (*.f64 (neg.f64 x) 2) y) (-.f64 (neg.f64 x) y)))
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x (neg.f64 y)) (neg.f64 y)))
(/.f64 (*.f64 y (*.f64 x -2)) (+.f64 x y))
(/.f64 (*.f64 y -2) (/.f64 (+.f64 x y) x))
(*.f64 2 (/.f64 x (-.f64 -1 (/.f64 x y))))
(/.f64 2 (+.f64 (/.f64 -1 y) (/.f64 -1 x)))
(neg.f64 (/.f64 (*.f64 (*.f64 x 2) (neg.f64 y)) (-.f64 x (neg.f64 y))))
(/.f64 (*.f64 2 (neg.f64 x)) (/.f64 (-.f64 (neg.f64 x) y) y))
(*.f64 (/.f64 (*.f64 x -2) (-.f64 (neg.f64 x) y)) y)
(/.f64 x (/.f64 (+.f64 x y) (*.f64 2 y)))
(*.f64 x (/.f64 2 (-.f64 (/.f64 x y) -1)))
(/.f64 -2 (+.f64 (/.f64 -1 y) (/.f64 -1 x)))
(/.f64 (*.f64 (*.f64 y 2) x) (-.f64 y x))
(/.f64 (*.f64 x (*.f64 2 y)) (-.f64 y x))
(/.f64 x (/.f64 (-.f64 y x) (*.f64 2 y)))
(*.f64 (/.f64 y (+.f64 (/.f64 y x) -1)) 2)
(/.f64 x (+.f64 1/2 (/.f64 x (*.f64 y -2))))
(/.f64 2 (+.f64 (/.f64 -1 y) (/.f64 1 x)))
Compiler

Compiled 26 to 14 computations (46.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...