ENA, Section 1.4, Exercise 4a

Time bar (total: 8.8s)

analyze2.0ms (0%)

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

Compiled 15 to 10 computations (33.3% saved)

sample8.4s (96%)

Results
7.1s4293×body2048valid
1.0s2105×body1024valid
175.0ms1037×body512valid
84.0ms821×body256valid
Bogosity

preprocess354.0ms (4%)

Algorithm
1×egg-herbie
Rules
252×fma-def
196×associate-/r*
175×associate-*r*
161×associate-*r/
132×associate-/l*
Problems
112×No Errors
84×(-.f64 x (sin.f64 x))
60×(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
016136
136130
280124
3217120
4606120
51564120
61933120
72569120
82659120
92683120
102707120
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))
(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))
(/.f64 (-.f64 (neg.f64 x) (sin.f64 (neg.f64 x))) (tan.f64 (neg.f64 x)))
(neg.f64 (/.f64 (-.f64 (neg.f64 x) (sin.f64 (neg.f64 x))) (tan.f64 (neg.f64 x))))
Outputs
(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))
(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))
(/.f64 (-.f64 (neg.f64 x) (sin.f64 (neg.f64 x))) (tan.f64 (neg.f64 x)))
(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))
(neg.f64 (/.f64 (-.f64 (neg.f64 x) (sin.f64 (neg.f64 x))) (tan.f64 (neg.f64 x))))
(/.f64 (neg.f64 (-.f64 (neg.f64 x) (neg.f64 (sin.f64 x)))) (neg.f64 (tan.f64 x)))
(/.f64 (neg.f64 (fma.f64 -1 x (sin.f64 x))) (neg.f64 (tan.f64 x)))
(/.f64 (-.f64 x (sin.f64 x)) (neg.f64 (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (tan.f64 x))
Symmetry

(abs x)

Compiler

Compiled 18 to 6 computations (66.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...