bug500 (missed optimization)

Time bar (total: 1.2s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%50.4%49.6%0%0%0%0
100%50.4%0%49.6%0%0%0%1
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.1s (94.2%)

Results
586.0ms2698×body1024valid
332.0ms3029×body512valid
192.0ms2529×body256valid
Bogosity

preprocess69.0ms (5.8%)

Algorithm
1×egg-herbie
Rules
39×fma-def
13×associate-+r-
13×+-commutative
12×associate-+r+
12×associate--r+
Problems
166×No Errors
90×(-.f64 (sin.f64 x) x)
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01276
12272
25868
314568
419368
521868
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (sin.f64 x) x)
(-.f64 (sin.f64 x) x)
(-.f64 (sin.f64 (neg.f64 x)) (neg.f64 x))
(neg.f64 (-.f64 (sin.f64 (neg.f64 x)) (neg.f64 x)))
Outputs
(-.f64 (sin.f64 x) x)
(-.f64 (sin.f64 x) x)
(-.f64 (sin.f64 (neg.f64 x)) (neg.f64 x))
(-.f64 (neg.f64 (sin.f64 x)) (neg.f64 x))
(+.f64 x (neg.f64 (sin.f64 x)))
(-.f64 x (sin.f64 x))
(neg.f64 (-.f64 (sin.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 (sin.f64 x) x)
Symmetry

(negabs x)

Compiler

Compiled 9 to 4 computations (55.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...