Hyperbolic secant

Time bar (total: 8.3min)

analyze53.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
100%100%0%0%0%0%0%2
Compiler

Compiled 10 to 8 computations (20% saved)

sample8.3min (100%)

Results
1.8s7358×0valid
2.5s7218×0valid-sollya
690.0ms139×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(-12968686.147896873)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(8.212990932395415e+245)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1289272.3231893722)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(58298414.398446746)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.0631138812717587e+164)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.4866947952775253e+307)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.0374870964426179e+179)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.2686484588561338e+200)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.6434719117678452e+138)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.9823918961763554e+45)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.7779721561886624e+76)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.0214596657363786e+114)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-8.401899062933427e+90)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.2057337867534679e+121)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.740270557745447e+143)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.785243230167252e+250)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(8.929221649801228e+207)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.3475336121915638e+235)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-501598.2160201979)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(8.493868973278027e+306)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.532792904237774e+80)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3301905.368686433)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.043100584335687e+222)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.756598287338865e+271)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.2799664059864591e+244)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(821973.8370471384)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.8056988550247003e+112)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.8089790041771342e+176)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-64294197.193575196)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(51969620.03438338)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(470526.1883239904)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(6884231.579787789)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.4229013699886366e+199)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-231238604.38800535)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1029651735386.7433)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.354084022551336e+162)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.1057128838649825e+188)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.3980841662366652e+270)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-9779727.82941919)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.9074287717425682e+74)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.970301007463624e+115)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(15323453109320.979)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(29211742.495621692)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.036356505516702e+266)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-712530973.1184533)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3882167.292128772)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.574876058157779e+300)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-9.364447599508398e+265)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-781251.2960330602)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-8.8820833238008e+142)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.4423063222338562e+279)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.9164206506895966e+291)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.716647500416742e+237)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(168045202.48022965)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.0080169830193543e+251)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.189417994172413e-218)1.0(1.0 1.0)+nan.0validexit00.15868300000000002#f
(-180999073.14713556)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.1435492093199443e+196)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(8586754394433622.0)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(249643615637.6593)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.4376499369118416e+159)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.8989988587336894e+262)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.838889621565169e+53)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.64737320029695e+249)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.874566080474414e+117)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(6990844628594766000.0)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.2548809830899667e+190)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.5465877427029098e+74)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.407988920665837e+148)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.6589323019114015e+211)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.0337536036982457e+300)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.2823429236867182e+40)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-6.044162541010486e+238)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-6.073325014190607e+147)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-9665858.754556907)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.8566733069785045e+67)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.2093164158892336e+275)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.792746929650601e+33)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.281656569714018e+216)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.387875143878675e+236)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.324998086001094e+168)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.6205867642218975e+223)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-903386.2837750077)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.076177059787152e+111)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-8.447543611701557e+300)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(9.895896365531326e+128)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.9841341334045638e+195)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.0088415694323857e+161)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.840352643004012e+257)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(6.524552727915126e+101)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.9343298871355127e+243)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(9.541263276782743e+176)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.8707149291771637e+142)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.126623233509889e+215)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.8628190357974746e+178)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.8092035679927027e+267)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-8.658675320701605e+221)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.700925852081396e+221)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.935488223575176e+91)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-553472364.5689846)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.6486449212011374e+154)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.3701356161154753e+178)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-9.736551586587134e+297)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.8230332602437205e+121)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.924138451295523e+239)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.91769412876229e+253)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-12241773.592932846)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.0229777277115069e+278)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(6.680608397508657e+218)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.7250403279770974e+256)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.492416934574579e+156)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.5932076088234882e+248)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.3972367699354948e+31)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1990897403574.7239)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.4741159087830993e+284)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-223793916.10890767)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1676884.318078721)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-71960749.23143779)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(59094928.34915862)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(11506002.546273656)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(9.649547824242346e+100)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-276230254.46212506)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-252328.43190590708)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-741813334.4620131)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-9311119.109628525)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.124433922513283e+305)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.3404060352156906e+51)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.4249209279491637e+135)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-171417.14981444675)0.0(0.0 0.0)+nan.0validexit04.414585000000001#f
(7.685196870122846e+93)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5327577.31912101)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.8253271848818652e+263)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(8.791703791336613e+254)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1963765.637956941)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(361696.15241779404)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(357439.369184126)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-58497179.31868679)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.44971262238214e+99)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.908792856804521e+296)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
Sollya timings
Total time spent in Sollya 3.2s

end0.0ms (0%)

Profiling

Loading profile data...