Kahan p13 Example 1

Time bar (total: 1.5s)

analyze3.0ms (0.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
75%75%25%0%0%0%0%3
87.5%87.5%12.5%0%0%0%0%4
93.8%93.7%6.2%0%0%0%0%5
96.9%96.8%3.1%0%0%0%0%6
98.4%98.4%1.6%0%0%0%0%7
99.2%99.2%0.8%0%0%0%0%8
99.6%99.6%0.4%0%0%0%0%9
99.8%99.8%0.2%0%0%0%0%10
99.9%99.9%0.1%0%0%0%0%11
100%99.9%0%0%0%0%0%12
Compiler

Compiled 37 to 29 computations (21.6% saved)

sample1.3s (87.6%)

Results
1.3s8256×body256valid
Bogosity

preprocess187.0ms (12.2%)

Algorithm
1×egg-herbie
Rules
612×associate-+l-
526×associate--r+
472×fma-def
406×distribute-lft-in
362×*-commutative
Problems
256×No Errors
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
024544
158480
2144460
3520420
42457416
56446416
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))))
(/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))))
(/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))))))
(neg.f64 (/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t)))))))
Outputs
(/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))))
(/.f64 (+.f64 1 (*.f64 (/.f64 2 (/.f64 (+.f64 1 t) t)) (/.f64 2 (/.f64 (+.f64 1 t) t)))) (+.f64 2 (*.f64 (/.f64 2 (/.f64 (+.f64 1 t) t)) (/.f64 2 (/.f64 (+.f64 1 t) t)))))
(/.f64 (fma.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)) 1) (fma.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)) 2))
(/.f64 (+.f64 1 (*.f64 (/.f64 (/.f64 (*.f64 t 4) (+.f64 1 t)) (+.f64 1 t)) t)) (+.f64 2 (*.f64 (/.f64 (/.f64 (*.f64 t 4) (+.f64 1 t)) (+.f64 1 t)) t)))
(/.f64 (fma.f64 (*.f64 t (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t))) t 1) (fma.f64 (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t)) (*.f64 t t) 2))
(/.f64 (fma.f64 t (*.f64 t (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t))) 1) (fma.f64 (*.f64 t t) (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t)) 2))
(/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))))
(/.f64 (+.f64 1 (*.f64 (/.f64 2 (/.f64 (+.f64 1 t) t)) (/.f64 2 (/.f64 (+.f64 1 t) t)))) (+.f64 2 (*.f64 (/.f64 2 (/.f64 (+.f64 1 t) t)) (/.f64 2 (/.f64 (+.f64 1 t) t)))))
(/.f64 (fma.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)) 1) (fma.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)) 2))
(/.f64 (+.f64 1 (*.f64 (/.f64 (/.f64 (*.f64 t 4) (+.f64 1 t)) (+.f64 1 t)) t)) (+.f64 2 (*.f64 (/.f64 (/.f64 (*.f64 t 4) (+.f64 1 t)) (+.f64 1 t)) t)))
(/.f64 (fma.f64 (*.f64 t (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t))) t 1) (fma.f64 (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t)) (*.f64 t t) 2))
(/.f64 (fma.f64 t (*.f64 t (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t))) 1) (fma.f64 (*.f64 t t) (/.f64 (/.f64 4 (+.f64 1 t)) (+.f64 1 t)) 2))
(/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))))))
(/.f64 (+.f64 1 (*.f64 (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t))) (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t))))) (+.f64 2 (*.f64 (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t))) (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t))))))
(/.f64 (fma.f64 (/.f64 (*.f64 t -2) (-.f64 1 t)) (/.f64 (*.f64 t -2) (-.f64 1 t)) 1) (fma.f64 (/.f64 (*.f64 t -2) (-.f64 1 t)) (/.f64 (*.f64 t -2) (-.f64 1 t)) 2))
(/.f64 (+.f64 1 (/.f64 (/.f64 (*.f64 t (*.f64 t 4)) (-.f64 1 t)) (-.f64 1 t))) (+.f64 2 (/.f64 (/.f64 (*.f64 t (*.f64 t 4)) (-.f64 1 t)) (-.f64 1 t))))
(/.f64 (+.f64 1 (/.f64 2 (*.f64 (+.f64 1 (/.f64 -1 t)) (+.f64 (/.f64 -1/2 t) 1/2)))) (+.f64 2 (/.f64 2 (*.f64 (+.f64 1 (/.f64 -1 t)) (+.f64 (/.f64 -1/2 t) 1/2)))))
(/.f64 (fma.f64 t (/.f64 -2 (*.f64 (-.f64 1 t) (+.f64 1/2 (/.f64 -1/2 t)))) 1) (fma.f64 t (/.f64 -2 (*.f64 (-.f64 1 t) (+.f64 1/2 (/.f64 -1/2 t)))) 2))
(/.f64 (fma.f64 (/.f64 -2 (-.f64 1 t)) (/.f64 t (+.f64 1/2 (/.f64 -1/2 t))) 1) (fma.f64 t (/.f64 -2 (*.f64 (-.f64 1 t) (+.f64 1/2 (/.f64 -1/2 t)))) 2))
(neg.f64 (/.f64 (+.f64 1 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))))) (+.f64 2 (*.f64 (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t))) (/.f64 (*.f64 2 (neg.f64 t)) (+.f64 1 (neg.f64 t)))))))
(/.f64 (neg.f64 (+.f64 1 (*.f64 (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t))) (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t)))))) (+.f64 2 (*.f64 (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t))) (/.f64 2 (/.f64 (-.f64 1 t) (neg.f64 t))))))
(/.f64 (neg.f64 (fma.f64 (/.f64 (*.f64 t -2) (-.f64 1 t)) (/.f64 (*.f64 t -2) (-.f64 1 t)) 1)) (fma.f64 (/.f64 (*.f64 t -2) (-.f64 1 t)) (/.f64 (*.f64 t -2) (-.f64 1 t)) 2))
(/.f64 (-.f64 -1 (/.f64 (/.f64 (*.f64 t (*.f64 t 4)) (-.f64 1 t)) (-.f64 1 t))) (+.f64 2 (/.f64 (/.f64 (*.f64 t (*.f64 t 4)) (-.f64 1 t)) (-.f64 1 t))))
(/.f64 (+.f64 -1 (/.f64 -2 (*.f64 (+.f64 1 (/.f64 -1 t)) (+.f64 (/.f64 -1/2 t) 1/2)))) (+.f64 2 (/.f64 2 (*.f64 (+.f64 1 (/.f64 -1 t)) (+.f64 (/.f64 -1/2 t) 1/2)))))
(/.f64 (fma.f64 (/.f64 2 (+.f64 1/2 (/.f64 -1/2 t))) (/.f64 t (-.f64 1 t)) -1) (fma.f64 t (/.f64 -2 (*.f64 (-.f64 1 t) (+.f64 1/2 (/.f64 -1/2 t)))) 2))
(/.f64 (fma.f64 (/.f64 2 (-.f64 1 t)) (/.f64 t (+.f64 1/2 (/.f64 -1/2 t))) -1) (fma.f64 t (/.f64 -2 (*.f64 (-.f64 1 t) (+.f64 1/2 (/.f64 -1/2 t)))) 2))
Compiler

Compiled 102 to 77 computations (24.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...