arccos

Time bar (total: 1.3s)

analyze4.0ms (0.3%)

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
0%0%75%0%0%25%0%3
40%25%37.5%0%0%37.5%0%4
66.7%37.5%18.7%0%0%43.7%0%5
82.4%43.7%9.4%0%0%46.9%0%6
90.9%46.9%4.7%0%0%48.4%0%7
95.4%48.4%2.3%0%0%49.2%0%8
97.7%49.2%1.2%0%0%49.6%0%9
98.8%49.6%0.6%0%0%49.8%0%10
99.4%49.8%0.3%0%0%49.9%0%11
99.7%49.9%0.1%0%0%49.9%0%12
Compiler

Compiled 13 to 11 computations (15.4% saved)

sample1.1s (84.2%)

Results
1.1s8256×body256valid
1.0ms11×body256invalid
Bogosity

preprocess197.0ms (15.5%)

Algorithm
1×egg-herbie
Rules
275×fma-def
184×associate-+r+
161×associate-*r*
151×associate-+l+
144×associate-+l-
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
022164
150156
282156
3153156
4375156
5919156
61743156
72351156
82972156
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 (neg.f64 x)) (+.f64 1 (neg.f64 x))))))
(neg.f64 (*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 (neg.f64 x)) (+.f64 1 (neg.f64 x)))))))
Outputs
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 (neg.f64 x)) (+.f64 1 (neg.f64 x))))))
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 (neg.f64 x)) (-.f64 1 x)))))
(*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
(neg.f64 (*.f64 2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 (neg.f64 x)) (+.f64 1 (neg.f64 x)))))))
(*.f64 -2 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 (neg.f64 x)) (-.f64 1 x)))))
(*.f64 (atan.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) -2)
Compiler

Compiled 46 to 35 computations (23.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...