bug323 (missed optimization)

Time bar (total: 1.7s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 12 to 9 computations (25% saved)

sample1.6s (94.7%)

Results
915.0ms4051×body1024valid
328.0ms2112×body512valid
171.0ms1687×body256valid
145.0ms406×body2048valid
Bogosity

preprocess88.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
34×fma-def
13×+-commutative
12×*-commutative
10×associate--r+
9×associate-+l-
Problems
255×(acos.f64 (-.f64 1 x))
1×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01368
12660
24060
36660
410360
514460
616760
717660
Stop Event
1×saturated
Calls
Call 1
Inputs
(acos.f64 (-.f64 1 x))
(acos.f64 (-.f64 1 x))
(acos.f64 (-.f64 1 (neg.f64 x)))
(neg.f64 (acos.f64 (-.f64 1 (neg.f64 x))))
Outputs
(acos.f64 (-.f64 1 x))
(acos.f64 (-.f64 1 x))
(acos.f64 (-.f64 1 (neg.f64 x)))
(acos.f64 (+.f64 1 x))
(neg.f64 (acos.f64 (-.f64 1 (neg.f64 x))))
(neg.f64 (acos.f64 (+.f64 1 x)))
Compiler

Compiled 11 to 8 computations (27.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...