bug500, discussion (missed optimization)

Time bar (total: 9.9s)

analyze112.0ms (1.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
25%25%75%0%0%0%0%3
37.5%37.5%62.5%0%0%0%0%4
43.8%43.7%56.2%0%0%0%0%5
46.9%46.9%53.1%0%0%0%0%6
48.4%48.4%51.5%0%0%0%0%7
49.2%49.2%50.8%0%0%0%0%8
50.4%50.4%49.6%0%0%0%0%9
51%51%49%0%0%0%0%10
51.3%51.2%48.7%0%0%0%0%11
51.3%51.3%48.7%0%0%0%0%12
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample9.5s (96.7%)

Results
5.0s7716×body8192exit
3.4s4195×body2048valid
779.0ms1998×body1024valid
244.0ms1085×body512valid
127.0ms978×body256valid
Bogosity

preprocess213.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
558×fma-def
490×associate-+r-
369×distribute-lft-neg-in
352×distribute-rgt-neg-in
339×associate-+l-
Problems
133×No Errors
123×(log.f64 (/.f64 (sinh.f64 x) x))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01496
13596
28196
322296
472688
5340988
Stop Event
1×node limit
Calls
Call 1
Inputs
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x)))
(neg.f64 (log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x))))
Outputs
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 x) x))
(log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x)))
(log.f64 (/.f64 (sinh.f64 x) x))
(neg.f64 (log.f64 (/.f64 (sinh.f64 (neg.f64 x)) (neg.f64 x))))
(-.f64 (log.f64 (neg.f64 x)) (log.f64 (sinh.f64 (neg.f64 x))))
(-.f64 (log.f64 x) (log.f64 (sinh.f64 x)))
Symmetry

(abs x)

Compiler

Compiled 14 to 5 computations (64.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...