NMSE Section 6.1 mentioned, A

Time bar (total: 2.4s)

analyze31.0ms (1.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%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.7%92.5%6.2%0.1%0%0%1.2%9
93.7%92.5%6.2%0.1%0%0%1.2%10
96.8%94.9%3.1%0.1%0%0%1.9%11
96.8%94.9%3.1%0.1%0%0%1.9%12
Compiler

Compiled 32 to 26 computations (18.8% saved)

sample2.0s (85.8%)

Results
581.0ms3508×body256infinite
580.0ms1230×body1024valid
475.0ms2761×body256valid
168.0ms622×body512valid
125.0ms960×body256unsamplable
89.0ms121×body2048valid
4.0ms10×body1024infinite
1.0ms4×body512infinite
Bogosity

preprocess308.0ms (12.9%)

Algorithm
1×egg-herbie
Rules
630×times-frac
544×fma-def
436×associate-/l*
381×associate-/r*
372×+-commutative
Problems
183×No Errors
73×(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
069785
1210721
2630666
31916658
47946658
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) (neg.f64 x))))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) (neg.f64 x)))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 (neg.f64 eps))) (exp.f64 (neg.f64 (*.f64 (-.f64 1 (neg.f64 eps)) x)))) (*.f64 (-.f64 (/.f64 1 (neg.f64 eps)) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 (neg.f64 eps)) x))))) 2)
(neg.f64 (/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) (neg.f64 x))))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) (neg.f64 x)))))) 2))
(neg.f64 (/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 (neg.f64 eps))) (exp.f64 (neg.f64 (*.f64 (-.f64 1 (neg.f64 eps)) x)))) (*.f64 (-.f64 (/.f64 1 (neg.f64 eps)) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 (neg.f64 eps)) x))))) 2))
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 x)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 x) eps)))) (*.f64 (-.f64 (/.f64 1 x) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 x) eps))))) 2)
Outputs
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) (neg.f64 x)))) (*.f64 (+.f64 (/.f64 1 eps) -1) (exp.f64 (*.f64 (+.f64 1 eps) (neg.f64 x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x)) (*.f64 (+.f64 (/.f64 1 eps) -1) (pow.f64 (exp.f64 (+.f64 (neg.f64 eps) -1)) x))) 2)
(/.f64 (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) 2)
(/.f64 (fma.f64 (-.f64 1 (/.f64 -1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) (neg.f64 x)))) (*.f64 (+.f64 (/.f64 1 eps) -1) (exp.f64 (*.f64 (+.f64 1 eps) (neg.f64 x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x)) (*.f64 (+.f64 (/.f64 1 eps) -1) (pow.f64 (exp.f64 (+.f64 (neg.f64 eps) -1)) x))) 2)
(/.f64 (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) 2)
(/.f64 (fma.f64 (-.f64 1 (/.f64 -1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) (neg.f64 x))))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) (neg.f64 x)))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) (neg.f64 (neg.f64 x))))) (*.f64 (+.f64 (/.f64 1 eps) -1) (exp.f64 (*.f64 (+.f64 1 eps) (neg.f64 (neg.f64 x)))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (-.f64 1 eps)) x)) (*.f64 (+.f64 (/.f64 1 eps) -1) (pow.f64 (exp.f64 (+.f64 1 eps)) x))) 2)
(/.f64 (fma.f64 (exp.f64 (fma.f64 eps x x)) (+.f64 1 (/.f64 -1 eps)) (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (-.f64 1 eps)) x))) 2)
(/.f64 (fma.f64 (-.f64 1 (/.f64 -1 eps)) (pow.f64 (exp.f64 (-.f64 1 eps)) x) (*.f64 (exp.f64 (fma.f64 eps x x)) (+.f64 1 (/.f64 -1 eps)))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 (neg.f64 eps))) (exp.f64 (neg.f64 (*.f64 (-.f64 1 (neg.f64 eps)) x)))) (*.f64 (-.f64 (/.f64 1 (neg.f64 eps)) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 (neg.f64 eps)) x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) (neg.f64 x)))) (*.f64 (+.f64 (/.f64 1 eps) -1) (exp.f64 (*.f64 (+.f64 1 eps) (neg.f64 x))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x)) (*.f64 (+.f64 (/.f64 1 eps) -1) (pow.f64 (exp.f64 (+.f64 (neg.f64 eps) -1)) x))) 2)
(/.f64 (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) 2)
(/.f64 (fma.f64 (-.f64 1 (/.f64 -1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) 2)
(neg.f64 (/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) (neg.f64 x))))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) (neg.f64 x)))))) 2))
(/.f64 (neg.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) (neg.f64 (neg.f64 x))))) (*.f64 (+.f64 (/.f64 1 eps) -1) (exp.f64 (*.f64 (+.f64 1 eps) (neg.f64 (neg.f64 x))))))) 2)
(/.f64 (neg.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (-.f64 1 eps)) x)) (*.f64 (+.f64 (/.f64 1 eps) -1) (pow.f64 (exp.f64 (+.f64 1 eps)) x)))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 (/.f64 1 eps) -1) (exp.f64 (fma.f64 eps x x))) (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (-.f64 1 eps)) x))) 2)
(*.f64 -1/2 (fma.f64 (-.f64 1 (/.f64 -1 eps)) (pow.f64 (exp.f64 (-.f64 1 eps)) x) (*.f64 (exp.f64 (fma.f64 eps x x)) (+.f64 1 (/.f64 -1 eps)))))
(neg.f64 (/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 (neg.f64 eps))) (exp.f64 (neg.f64 (*.f64 (-.f64 1 (neg.f64 eps)) x)))) (*.f64 (-.f64 (/.f64 1 (neg.f64 eps)) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 (neg.f64 eps)) x))))) 2))
(neg.f64 (/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 (neg.f64 eps))) (exp.f64 (*.f64 (-.f64 1 (neg.f64 eps)) (neg.f64 x)))) (*.f64 (exp.f64 (*.f64 (-.f64 1 eps) (neg.f64 x))) (+.f64 (/.f64 1 (neg.f64 eps)) -1))) 2))
(neg.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (exp.f64 (+.f64 (neg.f64 eps) -1)) x) (+.f64 1 (/.f64 -1 eps))) (*.f64 (pow.f64 (exp.f64 (+.f64 eps -1)) x) (+.f64 (/.f64 -1 eps) -1))) 2))
(/.f64 (-.f64 (*.f64 (pow.f64 (exp.f64 x) (+.f64 eps -1)) (+.f64 (/.f64 -1 eps) -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) 2)
(*.f64 -1/2 (fma.f64 (-.f64 1 (/.f64 -1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 x)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 x) eps)))) (*.f64 (-.f64 (/.f64 1 x) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 x) eps))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 x)) (exp.f64 (*.f64 (-.f64 1 x) (neg.f64 eps)))) (*.f64 (+.f64 (/.f64 1 x) -1) (exp.f64 (*.f64 (+.f64 1 x) (neg.f64 eps))))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 x)) (pow.f64 (exp.f64 (+.f64 -1 x)) eps)) (*.f64 (+.f64 (/.f64 1 x) -1) (pow.f64 (exp.f64 (+.f64 (neg.f64 x) -1)) eps))) 2)
(/.f64 (fma.f64 (+.f64 1 (/.f64 1 x)) (pow.f64 (exp.f64 eps) (+.f64 x -1)) (/.f64 (+.f64 1 (/.f64 -1 x)) (exp.f64 (fma.f64 eps x eps)))) 2)
Symmetry

(abs eps)

Compiler

Compiled 144 to 107 computations (25.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...