Hyperbolic arc-(co)tangent

Time bar (total: 4.3s)

analyze8.0ms (0.2%)

Algorithm
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 14 to 12 computations (14.3% saved)

sample4.3s (99.4%)

Results
2.7s4089×body1024valid
812.0ms2078×body512valid
421.0ms442×body2048valid
339.0ms1647×body256valid
1.0msbody256invalid
Bogosity

preprocess18.0ms (0.4%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...