Linear.Projection:infinitePerspective from linear-1.19.1.3, A

Time bar (total: 1.4s)

analyze151.0ms (10.5%)

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
37.5%37.4%62.4%0.2%0%0%0%9
37.5%37.4%62.4%0.2%0%0%0%10
37.5%37.4%62.4%0.2%0%0%0%11
48.4%48.3%51.5%0.2%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.2s (80.1%)

Results
1.0s7600×body256valid
115.0ms656×body256infinite
Bogosity

preprocess136.0ms (9.4%)

Algorithm
1×egg-herbie
Rules
748×associate-/r*
507×associate-*r*
499×associate-+r+
431×associate-*r/
358×div-sub
Problems
224×No Errors
25×(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
7×(-.f64 (*.f64 y z) (*.f64 t z))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
060620
1178600
2493592
31872592
47423592
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (*.f64 (neg.f64 x) 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 (neg.f64 y) z) (*.f64 t z)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y (neg.f64 z)) (*.f64 t (neg.f64 z))))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 (neg.f64 t) z)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) 2) (-.f64 (*.f64 y z) (*.f64 t z))))
(neg.f64 (/.f64 (*.f64 x 2) (-.f64 (*.f64 (neg.f64 y) z) (*.f64 t z))))
(neg.f64 (/.f64 (*.f64 x 2) (-.f64 (*.f64 y (neg.f64 z)) (*.f64 t (neg.f64 z)))))
(neg.f64 (/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 (neg.f64 t) z))))
(/.f64 (*.f64 y 2) (-.f64 (*.f64 x z) (*.f64 t z)))
(/.f64 (*.f64 z 2) (-.f64 (*.f64 y x) (*.f64 t x)))
(/.f64 (*.f64 t 2) (-.f64 (*.f64 y z) (*.f64 x z)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 z y) (*.f64 t y)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 t z) (*.f64 y z)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y t) (*.f64 z t)))
Outputs
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
(*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)
(*.f64 (/.f64 x (*.f64 z (-.f64 t y))) -2)
(*.f64 -2 (/.f64 (/.f64 x z) (-.f64 t y)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
(*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)
(*.f64 (/.f64 x (*.f64 z (-.f64 t y))) -2)
(*.f64 -2 (/.f64 (/.f64 x z) (-.f64 t y)))
(/.f64 (*.f64 (neg.f64 x) 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (neg.f64 x) (/.f64 (*.f64 z (-.f64 y t)) 2))
(/.f64 (*.f64 x -2) (*.f64 z (-.f64 y t)))
(/.f64 x (/.f64 z (/.f64 2 (-.f64 t y))))
(*.f64 x (/.f64 2 (*.f64 z (-.f64 t y))))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 (neg.f64 y) z) (*.f64 t z)))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 (neg.f64 y) t)))
(*.f64 (/.f64 x (*.f64 z (-.f64 (neg.f64 y) t))) 2)
(*.f64 (/.f64 x z) (/.f64 -2 (+.f64 y t)))
(*.f64 x (/.f64 -2 (*.f64 z (+.f64 y t))))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y (neg.f64 z)) (*.f64 t (neg.f64 z))))
(/.f64 (neg.f64 x) (/.f64 (*.f64 z (-.f64 y t)) 2))
(/.f64 (*.f64 x -2) (*.f64 z (-.f64 y t)))
(/.f64 x (/.f64 z (/.f64 2 (-.f64 t y))))
(*.f64 x (/.f64 2 (*.f64 z (-.f64 t y))))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 (neg.f64 t) z)))
(/.f64 x (/.f64 (*.f64 z (-.f64 y (neg.f64 t))) 2))
(*.f64 (/.f64 x z) (/.f64 2 (+.f64 y t)))
(/.f64 x (*.f64 (/.f64 z 2) (+.f64 y t)))
(*.f64 2 (/.f64 (/.f64 x z) (+.f64 y t)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) 2) (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
(*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)
(*.f64 (/.f64 x (*.f64 z (-.f64 t y))) -2)
(*.f64 -2 (/.f64 (/.f64 x z) (-.f64 t y)))
(neg.f64 (/.f64 (*.f64 x 2) (-.f64 (*.f64 (neg.f64 y) z) (*.f64 t z))))
(/.f64 x (/.f64 (*.f64 z (-.f64 y (neg.f64 t))) 2))
(*.f64 (/.f64 x z) (/.f64 2 (+.f64 y t)))
(/.f64 x (*.f64 (/.f64 z 2) (+.f64 y t)))
(*.f64 2 (/.f64 (/.f64 x z) (+.f64 y t)))
(neg.f64 (/.f64 (*.f64 x 2) (-.f64 (*.f64 y (neg.f64 z)) (*.f64 t (neg.f64 z)))))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
(*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)
(*.f64 (/.f64 x (*.f64 z (-.f64 t y))) -2)
(*.f64 -2 (/.f64 (/.f64 x z) (-.f64 t y)))
(neg.f64 (/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 (neg.f64 t) z))))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 (neg.f64 y) t)))
(*.f64 (/.f64 x (*.f64 z (-.f64 (neg.f64 y) t))) 2)
(*.f64 (/.f64 x z) (/.f64 -2 (+.f64 y t)))
(*.f64 x (/.f64 -2 (*.f64 z (+.f64 y t))))
(/.f64 (*.f64 y 2) (-.f64 (*.f64 x z) (*.f64 t z)))
(/.f64 y (/.f64 (*.f64 z (-.f64 x t)) 2))
(*.f64 (/.f64 y z) (/.f64 2 (-.f64 x t)))
(*.f64 (/.f64 2 z) (/.f64 y (-.f64 x t)))
(*.f64 y (/.f64 (/.f64 2 z) (-.f64 x t)))
(/.f64 (*.f64 z 2) (-.f64 (*.f64 y x) (*.f64 t x)))
(/.f64 (*.f64 2 z) (*.f64 x (-.f64 y t)))
(/.f64 (/.f64 (*.f64 2 z) x) (-.f64 y t))
(*.f64 (/.f64 2 (-.f64 y t)) (/.f64 z x))
(*.f64 2 (/.f64 z (*.f64 x (-.f64 y t))))
(/.f64 (*.f64 t 2) (-.f64 (*.f64 y z) (*.f64 x z)))
(/.f64 t (/.f64 (*.f64 z (-.f64 y x)) 2))
(*.f64 (/.f64 t z) (/.f64 2 (-.f64 y x)))
(*.f64 (/.f64 2 (-.f64 y x)) (/.f64 t z))
(*.f64 2 (/.f64 (/.f64 t (-.f64 y x)) z))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 z y) (*.f64 t y)))
(/.f64 (*.f64 x 2) (*.f64 y (-.f64 z t)))
(*.f64 (/.f64 x (*.f64 y (-.f64 z t))) 2)
(*.f64 (/.f64 2 (-.f64 z t)) (/.f64 x y))
(*.f64 x (/.f64 2 (*.f64 y (-.f64 z t))))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 t z) (*.f64 y z)))
(/.f64 (neg.f64 x) (/.f64 (*.f64 z (-.f64 y t)) 2))
(/.f64 (*.f64 x -2) (*.f64 z (-.f64 y t)))
(/.f64 x (/.f64 z (/.f64 2 (-.f64 t y))))
(*.f64 x (/.f64 2 (*.f64 z (-.f64 t y))))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y t) (*.f64 z t)))
(/.f64 x (/.f64 (*.f64 t (-.f64 y z)) 2))
(*.f64 (/.f64 x t) (/.f64 2 (-.f64 y z)))
(*.f64 (/.f64 2 (-.f64 y z)) (/.f64 x t))
(*.f64 (/.f64 2 t) (/.f64 x (-.f64 y z)))
Symmetry

(negabs x)

(negabs z)

Compiler

Compiled 37 to 14 computations (62.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...