Hyperbolic arc-cosine

Time bar (total: 1.1min)

analyze71.0ms (0.1%)

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%100%0%0%0%0%3
16.7%12.5%62.5%0%0%25%0%4
30%18.7%43.7%0%0%37.5%0%5
38.9%21.9%34.4%0%0%43.7%0%6
44.1%23.4%29.7%0%0%46.9%0%7
47%24.2%27.3%0%0%48.4%0%8
48.5%24.6%26.2%0%0%49.2%0%9
49.2%24.8%25.6%0%0%49.6%0%10
49.6%24.9%25.3%0%0%49.8%0%11
49.8%24.9%25.1%0%0%49.9%0%12
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.1min (98.9%)

Results
5.1s8256×0valid
786.0ms8213×0valid-sollya
7.7s7824×1invalid
657.0ms7647×1invalid-sollya
162.0ms399×0invalid
28.0ms390×0invalid-sollya
15.0ms177×1exit-sollya
18.0ms52×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(-5.713110129091217e+276)#f(+nan.0 +nan.0)+nan.0invalidexit10.074847#f
(-1.9059936954842999e+226)#f(+nan.0 +nan.0)+nan.0invalidexit10.096069#f
(-4.9696862960154994e+126)#f(+nan.0 +nan.0)+nan.0invalidexit10.085666#f
(-7.858900800769216e+289)#f(+nan.0 +nan.0)+nan.0invalidexit10.08603899999999999#f
(-4.1199471207769766e+129)#f(+nan.0 +nan.0)+nan.0invalidexit10.089306#f
(-2.1059218125021513e+136)#f(+nan.0 +nan.0)+nan.0invalidexit10.087934#f
(-13319298774.605831)#f(+nan.0 +nan.0)+nan.0invalidexit00.103459#f
(3.45525206120299e+235)543.0405394442049(543.0405394442049 543.0405394442049)+nan.0validexit00.178307#f
(-4.957716545102252e+106)#f(+nan.0 +nan.0)+nan.0invalidexit10.09125599999999999#f
(-1.6919897932709818e+22)#f(+nan.0 +nan.0)+nan.0invalidexit10.078134#f
(-5.712820078685716e+280)#f(+nan.0 +nan.0)+nan.0invalidexit10.09747900000000001#f
(3.034509909334574e+272)628.1063424067864(628.1063424067864 628.1063424067864)+nan.0validexit00.18546900000000002#f
(-1.586496827437286e+304)#f(+nan.0 +nan.0)+nan.0invalidexit10.088912#f
(1.4107888557364734e+287)661.8792178899484(661.8792178899484 661.8792178899484)+nan.0validexit00.191694#f
(1.1823037823836412e+96)221.90878100104433(221.90878100104433 221.90878100104433)+nan.0validexit00.092823#f
(-5.241339223393674e+128)#f(+nan.0 +nan.0)+nan.0invalidexit10.09428#f
(-4.619137144641023e+158)#f(+nan.0 +nan.0)+nan.0invalidexit10.088001#f
(-1.041333358273479e+199)#f(+nan.0 +nan.0)+nan.0invalidexit10.11444#f
(-8.149545764493711e+87)#f(+nan.0 +nan.0)+nan.0invalidexit10.089405#f
(-2.4266267683211723e+179)#f(+nan.0 +nan.0)+nan.0invalidexit10.072157#f
(-6.7014292625580575e+233)#f(+nan.0 +nan.0)+nan.0invalidexit10.048047#f
(-46016739.99508253)#f(+nan.0 +nan.0)+nan.0invalidexit00.071226#f
(-7.204920119654694e+276)#f(+nan.0 +nan.0)+nan.0invalidexit10.092692#f
(-7.65273641959442e+249)#f(+nan.0 +nan.0)+nan.0invalidexit10.09417299999999999#f
(-2068922.5293271237)#f(+nan.0 +nan.0)+nan.0invalidexit00.07188#f
(0.49907274527269996)#f(+nan.0 +nan.0)+nan.0invalidexit00.075861#f
(-1.9051306852472514e+185)#f(+nan.0 +nan.0)+nan.0invalidexit10.111549#f
(-1.6210460073063406e+79)#f(+nan.0 +nan.0)+nan.0invalidexit10.082946#f
(3.1947799408068873e+282)651.1836616142215(651.1836616142215 651.1836616142215)+nan.0validexit00.19276300000000002#f
(-5.1682011843964713e+126)#f(+nan.0 +nan.0)+nan.0invalidexit10.089213#f
(-3.0355482649586584e+204)#f(+nan.0 +nan.0)+nan.0invalidexit10.07813300000000001#f
(-2.8338087953432847e+79)#f(+nan.0 +nan.0)+nan.0invalidexit10.048915999999999994#f
(-1.8946517618665115e+143)#f(+nan.0 +nan.0)+nan.0invalidexit10.049547#f
(7.599273575340281e+232)536.9209414157104(536.9209414157104 536.9209414157104)+nan.0validexit00.176344#f
(-2.668065606076384e+279)#f(+nan.0 +nan.0)+nan.0invalidexit10.10115500000000001#f
(-2.314915165907307e+174)#f(+nan.0 +nan.0)+nan.0invalidexit10.086094#f
(-2.7033557254813203e+257)#f(+nan.0 +nan.0)+nan.0invalidexit10.11097#f
(6.1687644340841186e+147)340.99265441475336(340.99265441475336 340.99265441475336)+nan.0validexit00.18355#f
(-2.3665683131795e+140)#f(+nan.0 +nan.0)+nan.0invalidexit10.088411#f
(5.160237410431958e+285)658.5708812720717(658.5708812720717 658.5708812720717)+nan.0validexit00.167579#f
(-2.2369969437039312e+253)#f(+nan.0 +nan.0)+nan.0invalidexit10.09211#f
(-2.2195811961049866e+216)#f(+nan.0 +nan.0)+nan.0invalidexit10.066028#f
(5.394213099319668e+271)626.3790341126169(626.3790341126169 626.3790341126169)+nan.0validexit00.18409399999999998#f
(3.169440392848631e+156)361.0499767277122(361.0499767277122 361.0499767277122)+nan.0validexit00.152946#f
(3.2138833225412504e+50)116.98988179403783(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.6029755055208103e+99)#f(+nan.0 +nan.0)+nan.0invalidexit10.106975#f
(-1.443315555288178e+305)#f(+nan.0 +nan.0)+nan.0invalidexit10.086597#f
(-1.2172734809803146e+306)#f(+nan.0 +nan.0)+nan.0invalidexit10.04938#f
(-4.194138587105324e+128)#f(+nan.0 +nan.0)+nan.0invalidexit10.109082#f
(-1.673400265238023e+82)#f(+nan.0 +nan.0)+nan.0invalidexit10.06980399999999999#f
(-4.739395940357396e+111)#f(+nan.0 +nan.0)+nan.0invalidexit10.087896#f
(-5.3210939331244925e+146)#f(+nan.0 +nan.0)+nan.0invalidexit10.069884#f
(3.5530077476319377e+224)517.7400025088515(517.7400025088515 517.7400025088515)+nan.0validexit00.126831#f
(-5.061116296327549e+76)#f(+nan.0 +nan.0)+nan.0invalidexit10.067205#f
(-5.408132420801265e+306)#f(+nan.0 +nan.0)+nan.0invalidexit10.07454899999999999#f
(-1.2746475663539524e+168)#f(+nan.0 +nan.0)+nan.0invalidexit10.067134#f
(-6.811567244091847e+235)#f(+nan.0 +nan.0)+nan.0invalidexit10.10081000000000001#f
(3.5269241904909577e+298)688.12393104976(688.12393104976 688.12393104976)+nan.0validexit00.180943#f
(-3.6602372793316734e+133)#f(+nan.0 +nan.0)+nan.0invalidexit10.086794#f
(2.831710603181923e+200)462.251046761837(462.251046761837 462.251046761837)+nan.0validexit00.195828#f
(-5.818184613423378e+126)#f(+nan.0 +nan.0)+nan.0invalidexit10.09499200000000001#f
(-7.027346304034743e+68)#f(+nan.0 +nan.0)+nan.0invalidexit10.118942#f
(-1.9533364110078738e+213)#f(+nan.0 +nan.0)+nan.0invalidexit10.084418#f
(-1.1401009901499709e+23)#f(+nan.0 +nan.0)+nan.0invalidexit10.104779#f
(-4.898212893714292e+112)#f(+nan.0 +nan.0)+nan.0invalidexit10.123699#f
(-5.887311486588316e+228)#f(+nan.0 +nan.0)+nan.0invalidexit10.089081#f
(9.187508125084967e+57)134.15834223012212(134.15834223012212 134.15834223012212)+nan.0validexit00.19264#f
(197498007992776700.0)40.51765207364842(40.51765207364842 40.51765207364842)+nan.0validexit00.166103#f
(-5.084488773448941e+283)#f(+nan.0 +nan.0)+nan.0invalidexit10.085325#f
(-2.6406125853080653e+118)#f(+nan.0 +nan.0)+nan.0invalidexit10.090261#f
(-1.5022422900477495e+47)#f(+nan.0 +nan.0)+nan.0invalidexit10.090542#f
(-4.681157314546356e+152)#f(+nan.0 +nan.0)+nan.0invalidexit10.082433#f
(4.345630294436475e+63)147.2251788493924(147.2251788493924 147.2251788493924)+nan.0validexit00.171464#f
(8.601538466445303e+68)159.42087458286247(159.42087458286247 159.42087458286247)+nan.0validexit00.185419#f
(-7.055527376718558e+52)#f(+nan.0 +nan.0)+nan.0invalidexit10.083689#f
(-4.5823312358175003e+138)#f(+nan.0 +nan.0)+nan.0invalidexit10.082685#f
(-3.9579694052835556e+304)#f(+nan.0 +nan.0)+nan.0invalidexit10.08887400000000001#f
(-5.1206688955795615e+157)#f(+nan.0 +nan.0)+nan.0invalidexit10.11285600000000001#f
(-1.6638219624647916e+91)#f(+nan.0 +nan.0)+nan.0invalidexit10.045803#f
(-1.6640889789875338e+123)#f(+nan.0 +nan.0)+nan.0invalidexit10.048545#f
(5.571342929863491e+150)347.79854725506004(347.79854725506004 347.79854725506004)+nan.0validexit00.183869#f
(-5.673867327568361e+291)#f(+nan.0 +nan.0)+nan.0invalidexit10.08931900000000001#f
(-1.487795516093189e+67)#f(+nan.0 +nan.0)+nan.0invalidexit10.095767#f
(-7.66410443619279e+170)#f(+nan.0 +nan.0)+nan.0invalidexit10.091159#f
(-1.623311903599078e+108)#f(+nan.0 +nan.0)+nan.0invalidexit10.105722#f
(-1.122830964164004e+148)#f(+nan.0 +nan.0)+nan.0invalidexit10.088719#f
(-2.127539320850119e+151)#f(+nan.0 +nan.0)+nan.0invalidexit10.047776#f
(-1.775395405841147e+263)#f(+nan.0 +nan.0)+nan.0invalidexit10.080466#f
(-3.083161653978064e+298)#f(+nan.0 +nan.0)+nan.0invalidexit10.09453700000000001#f
(-9.503893616475673e+59)#f(+nan.0 +nan.0)+nan.0invalidexit10.041616#f
(-4.709088029691297e+301)#f(+nan.0 +nan.0)+nan.0invalidexit10.092866#f
(2.4572263053029514e+186)429.87300767310035(429.87300767310035 429.87300767310035)+nan.0validexit00.174376#f
(9.002058081391544e+205)474.9205444712434(474.9205444712434 474.9205444712434)+nan.0validexit00.20247#f
(-2.031419373276786e+154)#f(+nan.0 +nan.0)+nan.0invalidexit10.07972800000000001#f
(1.168540811694062e+167)385.38061351151987(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.3688848692138566e+98)226.66048273829034(226.66048273829034 226.66048273829034)+nan.0validexit00.140127#f
(-3.9813326343094426e+260)#f(+nan.0 +nan.0)+nan.0invalidexit10.071928#f
(-6.380449015441874e+241)#f(+nan.0 +nan.0)+nan.0invalidexit10.089561#f
(-1.7679093094999708e+105)#f(+nan.0 +nan.0)+nan.0invalidexit10.091425#f
(-9.738906936346962e+48)#f(+nan.0 +nan.0)+nan.0invalidexit10.10018500000000001#f
(-5.417178755676667e+201)#f(+nan.0 +nan.0)+nan.0invalidexit10.07537#f
(-1.5010275255636207e+271)#f(+nan.0 +nan.0)+nan.0invalidexit10.104569#f
(-2.429934099127508e+198)#f(+nan.0 +nan.0)+nan.0invalidexit10.09308#f
(-2.986380888104054e+44)#f(+nan.0 +nan.0)+nan.0invalidexit10.068509#f
(-2.0112369699231712e+105)#f(+nan.0 +nan.0)+nan.0invalidexit00.10094600000000001#f
(-47589208366.0367)#f(+nan.0 +nan.0)+nan.0invalidexit00.066183#f
(-1.0768627562447636e+244)#f(+nan.0 +nan.0)+nan.0invalidexit10.08877199999999999#f
(-2.0937959722935123e+259)#f(+nan.0 +nan.0)+nan.0invalidexit10.09472299999999999#f
(-160128.58775344925)#f(+nan.0 +nan.0)+nan.0invalidexit00.09861199999999999#f
(-1.5579299648318634e+65)#f(+nan.0 +nan.0)+nan.0invalidexit10.092488#f
(-1.3803145412753818e+259)#f(+nan.0 +nan.0)+nan.0invalidexit10.046935#f
(-4.567174255473552e+113)#f(+nan.0 +nan.0)+nan.0invalidexit10.094166#f
(-1.2832202910642497e+197)#f(+nan.0 +nan.0)+nan.0invalidexit10.125354#f
(-1.440683331334437e+155)#f(+nan.0 +nan.0)+nan.0invalidexit10.08671899999999999#f
(4.226918327894032e+174)402.7844265613922(402.7844265613922 402.7844265613922)+nan.0validexit00.170521#f
(-7.2282746331254515e+106)#f(+nan.0 +nan.0)+nan.0invalidexit10.121969#f
(-2.414449486505628e+175)#f(+nan.0 +nan.0)+nan.0invalidexit10.076072#f
(-5.815564730628883e+83)#f(+nan.0 +nan.0)+nan.0invalidexit10.068261#f
(-1.175954050406939e+189)#f(+nan.0 +nan.0)+nan.0invalidexit10.06788#f
(-1.2316803541358222e+53)#f(+nan.0 +nan.0)+nan.0invalidexit10.085493#f
(-5.787581100684537e+181)#f(+nan.0 +nan.0)+nan.0invalidexit10.08150800000000001#f
(3.7037138880904178e+90)209.23514161978846(209.23514161978846 209.23514161978846)+nan.0validexit00.230857#f
(-3.969827291923491e+107)#f(+nan.0 +nan.0)+nan.0invalidexit10.092021#f
(-4.953000138521354e+131)#f(+nan.0 +nan.0)+nan.0invalidexit10.082663#f
(-5.196463324428241e+219)#f(+nan.0 +nan.0)+nan.0invalidexit10.052884#f
(-2.720662983836665e+251)#f(+nan.0 +nan.0)+nan.0invalidexit10.10770800000000001#f
(-4.2788245894290287e+130)#f(+nan.0 +nan.0)+nan.0invalidexit10.091297#f
(-1.2072543164443038e+173)#f(+nan.0 +nan.0)+nan.0invalidexit10.107389#f
(-4.2897961030371695e+46)#f(+nan.0 +nan.0)+nan.0invalidexit10.088977#f
(-3.4414087124389857e+89)#f(+nan.0 +nan.0)+nan.0invalidexit10.110624#f
(-3.184284805578268e+293)#f(+nan.0 +nan.0)+nan.0invalidexit10.111029#f
(-8.740471559144071e+24)#f(+nan.0 +nan.0)+nan.0invalidexit10.088547#f
(-1.1336133161033623e+175)#f(+nan.0 +nan.0)+nan.0invalidexit10.08064299999999999#f
(-7.965705029241513e+46)#f(+nan.0 +nan.0)+nan.0invalidexit10.086415#f
(2.8512491242583095e+119)275.7485304343247(275.7485304343247 275.7485304343247)+nan.0validexit00.190865#f
(-7.234891711417413e+221)#f(+nan.0 +nan.0)+nan.0invalidexit10.12912700000000002#f
(-70195116496456.484)#f(+nan.0 +nan.0)+nan.0invalidexit10.065967#f
(-6.12607027928931e+89)#f(+nan.0 +nan.0)+nan.0invalidexit10.085781#f
(-6.296133524251296e+134)#f(+nan.0 +nan.0)+nan.0invalidexit10.099198#f
(-1.4108069372265803e+240)#f(+nan.0 +nan.0)+nan.0invalidexit10.091159#f
(-1.181854443945968e+172)#f(+nan.0 +nan.0)+nan.0invalidexit10.085478#f
(-3.278211856646066e+222)#f(+nan.0 +nan.0)+nan.0invalidexit10.083262#f
(-1.2437363130762735e+233)#f(+nan.0 +nan.0)+nan.0invalidexit10.063091#f
(-5.442562771091526e+91)#f(+nan.0 +nan.0)+nan.0invalidexit10.087564#f
(-2.3121378690042138e+107)#f(+nan.0 +nan.0)+nan.0invalidexit10.087919#f
(-4.9880185770671284e+252)#f(+nan.0 +nan.0)+nan.0invalidexit10.092822#f
(-7.559002010342556e+284)#f(+nan.0 +nan.0)+nan.0invalidexit10.125838#f
(4.061834365686361e+210)485.63765139509434(485.63765139509434 485.63765139509434)+nan.0validexit00.215427#f
(-2.559411313412248e+150)#f(+nan.0 +nan.0)+nan.0invalidexit10.044099#f
(-2.863877923124352e+116)#f(+nan.0 +nan.0)+nan.0invalidexit10.087026#f
(-4.197101553743469e+78)#f(+nan.0 +nan.0)+nan.0invalidexit10.082761#f
(-1.600310727413536e+170)#f(+nan.0 +nan.0)+nan.0invalidexit10.06197199999999999#f
(-0.9825189484772199)#f(+nan.0 +nan.0)+nan.0invalidexit00.07194600000000001#f
(-6.03769438095619e+217)#f(+nan.0 +nan.0)+nan.0invalidexit10.116649#f
(1.8377518742471874e+254)586.1583038181788(586.1583038181788 586.1583038181788)+nan.0validexit00.159162#f
(-12383081.765762063)#f(+nan.0 +nan.0)+nan.0invalidexit00.070276#f
(-3.110972688535581e+103)#f(+nan.0 +nan.0)+nan.0invalidexit10.090761#f
(-2.0590285466444215e+215)#f(+nan.0 +nan.0)+nan.0invalidexit10.093632#f
(-3.905132094763648e+268)#f(+nan.0 +nan.0)+nan.0invalidexit10.091383#f
(1.3862730334194565e+190)438.51093372460474(438.51093372460474 438.51093372460474)+nan.0validexit00.182519#f
(1.4558291869582042e+128)295.79961471004054(295.79961471004054 295.79961471004054)+nan.0validexit00.179017#f
(-2.703097585325458e+189)#f(+nan.0 +nan.0)+nan.0invalidexit10.096471#f
(-4.1182021122263536e+250)#f(+nan.0 +nan.0)+nan.0invalidexit10.070203#f
(1.5875947068876362e+30)70.23292007826853(70.23292007826853 70.23292007826853)+nan.0validexit00.144007#f
(-9.805707986265212e+87)#f(+nan.0 +nan.0)+nan.0invalidexit10.07919699999999999#f
(-1.0875760030074935e+192)#f(+nan.0 +nan.0)+nan.0invalidexit10.076987#f
(-4.964089933886869e+216)#f(+nan.0 +nan.0)+nan.0invalidexit10.08759600000000001#f
(-8.557948992042029e+169)#f(+nan.0 +nan.0)+nan.0invalidexit10.08722099999999999#f
(-4.624470424962745e+274)#f(+nan.0 +nan.0)+nan.0invalidexit10.066901#f
(-3.2511811533394224e+94)#f(+nan.0 +nan.0)+nan.0invalidexit10.083113#f
(-5.713796397522626e+272)#f(+nan.0 +nan.0)+nan.0invalidexit10.046061#f
(-2.7887501807983414e+185)#f(+nan.0 +nan.0)+nan.0invalidexit10.045343999999999995#f
(-2.958745973208984e+84)#f(+nan.0 +nan.0)+nan.0invalidexit10.122555#f
(1.5832829080733671e+66)153.12326379950565(153.12326379950565 153.12326379950565)+nan.0validexit00.245999#f
(4.007227396457727e+36)84.97431010819166(84.97431010819166 84.97431010819166)+nan.0validexit00.17838199999999999#f
(-2.612933178822797e+208)#f(+nan.0 +nan.0)+nan.0invalidexit10.10858#f
(-5.50050253545018e+242)#f(+nan.0 +nan.0)+nan.0invalidexit10.09454900000000001#f
(-3.8968689219424287e+143)#f(+nan.0 +nan.0)+nan.0invalidexit10.08617499999999999#f
(-2.1136552115687188e+119)#f(+nan.0 +nan.0)+nan.0invalidexit10.112601#f
(1.8742973423820897e+173)399.66860210698604(399.66860210698604 399.66860210698604)+nan.0validexit00.188056#f
(-8.729920119110886e+194)#f(+nan.0 +nan.0)+nan.0invalidexit10.092167#f
(4.468161715272719e+29)68.96509195204682(68.96509195204682 68.96509195204682)+nan.0validexit00.17075#f
(-4.577096152701871e+115)#f(+nan.0 +nan.0)+nan.0invalidexit10.088185#f
(-1.7464608006972663e+114)#f(+nan.0 +nan.0)+nan.0invalidexit10.08435899999999999#f
(-3.5572671468862273e+183)#f(+nan.0 +nan.0)+nan.0invalidexit10.09397#f
(-5436977963500513000.0)#f(+nan.0 +nan.0)+nan.0invalidexit10.105646#f
(-2.7621438260757497e+93)#f(+nan.0 +nan.0)+nan.0invalidexit10.106299#f
(-3.2786660007802296e+272)#f(+nan.0 +nan.0)+nan.0invalidexit10.08440099999999999#f
(7.239382775878001e+47)110.89418250209302(110.89418250209302 110.89418250209302)+nan.0validexit00.174461#f
(-1.4979231908495423e+215)#f(+nan.0 +nan.0)+nan.0invalidexit10.109857#f
(-5.553195979697921e+92)#f(+nan.0 +nan.0)+nan.0invalidexit10.08251599999999999#f
(-4.804336499514716e+220)#f(+nan.0 +nan.0)+nan.0invalidexit10.069065#f
(-2.7021253924972774e+199)#f(+nan.0 +nan.0)+nan.0invalidexit10.091973#f
(-1.035158841533151e+269)#f(+nan.0 +nan.0)+nan.0invalidexit10.116979#f
(-5.6744014698302325e+299)#f(+nan.0 +nan.0)+nan.0invalidexit10.093654#f
(-2.2490963736215895e+136)#f(+nan.0 +nan.0)+nan.0invalidexit10.088282#f
(-6.62461509775762e+164)#f(+nan.0 +nan.0)+nan.0invalidexit10.08962200000000001#f
(1606013.6883059286)14.982412877241465(14.982412877241465 14.982412877241465)+nan.0validexit00.17927300000000002#f
(-1.2697912282019868e+54)#f(+nan.0 +nan.0)+nan.0invalidexit10.09658299999999999#f
(1.6210075169436091e+40)93.27959878029073(93.27959878029073 93.27959878029073)+nan.0validexit00.17044900000000002#f
(-1.6470070683607648e+83)#f(+nan.0 +nan.0)+nan.0invalidexit10.088718#f
(4.414021603558583e+197)455.78719670253633(455.78719670253633 455.78719670253633)+nan.0validexit00.178863#f
(-1.0623813479968265e+208)#f(+nan.0 +nan.0)+nan.0invalidexit10.087967#f
(-8.391820739942894e+253)#f(+nan.0 +nan.0)+nan.0invalidexit10.08282099999999999#f
(-1.2546346744793024e+292)#f(+nan.0 +nan.0)+nan.0invalidexit10.11542100000000001#f
(-1.7867966354829406e+167)#f(+nan.0 +nan.0)+nan.0invalidexit10.088338#f
(-3.243032299635328e+241)#f(+nan.0 +nan.0)+nan.0invalidexit10.102082#f
(-2.4610110181932e+52)#f(+nan.0 +nan.0)+nan.0invalidexit10.0843#f
(-5.928804927134241e+228)#f(+nan.0 +nan.0)+nan.0invalidexit10.084764#f
(-1.1536631868789217e+90)#f(+nan.0 +nan.0)+nan.0invalidexit10.045551#f
(-7.824694845364466e+253)#f(+nan.0 +nan.0)+nan.0invalidexit10.044292000000000005#f
(-1.1600050507322856e+136)#f(+nan.0 +nan.0)+nan.0invalidexit10.07511999999999999#f
(-2.3921077469021097e+296)#f(+nan.0 +nan.0)+nan.0invalidexit10.095747#f
(-6.0208669327905495e+264)#f(+nan.0 +nan.0)+nan.0invalidexit10.111368#f
(-8.443493848562891e+198)#f(+nan.0 +nan.0)+nan.0invalidexit10.126802#f
(3.216030854003959e+100)232.11980442514192(232.11980442514192 232.11980442514192)+nan.0validexit00.115243#f
(-2.1816395333342137e+244)#f(+nan.0 +nan.0)+nan.0invalidexit10.106846#f
(-6.24429004528979e+215)#f(+nan.0 +nan.0)+nan.0invalidexit10.092776#f
(-2.1275105370719905e+75)#f(+nan.0 +nan.0)+nan.0invalidexit10.109508#f
(2.8203398283291523e+122)282.6453859100229(282.6453859100229 282.6453859100229)+nan.0validexit00.143431#f
(-4.4676483144158906e+247)#f(+nan.0 +nan.0)+nan.0invalidexit10.10911799999999999#f
(-4.802359153204254e+148)#f(+nan.0 +nan.0)+nan.0invalidexit10.09010699999999999#f
(-2.4402262828657993e+148)#f(+nan.0 +nan.0)+nan.0invalidexit10.06661299999999999#f
(-3.0650964627272787e+277)#f(+nan.0 +nan.0)+nan.0invalidexit10.08540800000000001#f
(10385515641613.7)30.664580405122557(30.664580405122557 30.664580405122557)+nan.0validexit00.081236#f
(-7.148751293779647e+155)#f(+nan.0 +nan.0)+nan.0invalidexit10.071921#f
(4.123383921154687e+112)259.9993517622254(259.9993517622254 259.9993517622254)+nan.0validexit00.179954#f
(-3.589301648330091e+140)#f(+nan.0 +nan.0)+nan.0invalidexit10.096258#f
(-4.785943514706428e+133)#f(+nan.0 +nan.0)+nan.0invalidexit10.06801#f
Sollya timings
Total time spent in Sollya 1.5s
Bogosity

preprocess547.0ms (0.8%)

Algorithm
egg-herbie
Rules
653×distribute-lft-out
621×distribute-rgt-out--
518×unsub-neg
473×sub-neg
450×distribute-rgt-out
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019140
148132
283132
3179132
4416132
5923132
61685132
73206132
84236132
94890132
105182132
115490132
125640132
135713132
145924132
156691132
166872132
Stop Event
node limit
Calls
Call 1
Inputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) #s(literal 1 binary64)))))
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) #s(literal 1 binary64))))))
Outputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))))
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) #s(literal 1 binary64)))))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (fma.f64 x x #s(literal -1 binary64)))))
(log.f64 (-.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x))
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) #s(literal 1 binary64))))))
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))))))
(neg.f64 (log.f64 (-.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) x)))
Compiler

Compiled 10 to 7 computations (30% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
53.1%
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
Compiler

Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0%)

Algorithm
egg-herbie
Rules
1-exp
+-commutative
unsub-neg
sub-neg
neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01236
12036
22436
32736
43036
53336
Stop Event
saturated
Calls
Call 1
Inputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
Outputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) #s(literal -1 binary64)))))

soundness0.0ms (0%)

Stop Event
fuel
Compiler

Compiled 10 to 7 computations (30% saved)

preprocess130.0ms (0.2%)

Compiler

Compiled 40 to 28 computations (30% saved)

end0.0ms (0%)

Profiling

Loading profile data...