Maksimov and Kolovsky, Equation (3)

Time bar (total: 1.2min)

analyze2.2s (3.1%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
37.5%37.4%62.4%0.1%0%0%0%6
37.5%37.4%62.4%0.1%0%0%0%7
43.8%43.7%56.2%0.1%0%0%0%8
43.8%43.7%56.2%0.1%0%0%0%9
43.8%43.7%56.2%0.1%0%0%0%10
46.9%46.8%53%0.1%0%0%0%11
46.9%46.8%53%0.1%0%0%0%12
Compiler

Compiled 28 to 18 computations (35.7% saved)

sample1.1min (95.6%)

Results
14.0s8256×0valid
1.5s8023×0valid-sollya
272.0ms233×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(8.349237041253717e-10 -2.830948773064629e+298 1.2126266894708131e-54)-1.5673024570713213e-9(-1.5673024570713213e-9 -1.5673024570713213e-9)+nan.0validexit00.506978#f
(-4.667407636653836e+117 -1.7608713319044573e+85 5.548292261276471e-50)3.7095809425148914e+117(3.7095809425148914e+117 3.7095809425148914e+117)+nan.0validexit00.373841#f
(-5.44582989820643 -5.110830502506519e-105 1.0260827955487112e-280)10.89165979641286(10.89165979641286 10.89165979641286)+nan.0validexit00.319426#f
(-6.608433293055863e-280 -5.774509679231593e-304 3.8179866868231164e-129)3.8179866868231164e-129(3.8179866868231164e-129 3.8179866868231164e-129)+nan.0validexit00.336472#f
(1.114515133416311e-94 8.55098944256511e+128 -7.489752749755485e-43)7.489752749755485e-43(7.489752749755485e-43 7.489752749755485e-43)+nan.0validexit00.411092#f
(-9.153933948348374e+195 -2.972074412188666e-273 8.395878248328437e+127)1.8307867896696748e+196(1.8307867896696748e+196 1.8307867896696748e+196)+nan.0validexit00.36531600000000003#f
(3.435682881196879e-175 -9.812943057255831e-160 -2.532945574169217e-246)-6.871365762393758e-175(-6.871365762393758e-175 -6.871365762393758e-175)+nan.0validexit00.31289700000000004#f
(-4.02300213454004e-61 -3.38877761907477e+274 6.150726851853262e-18)-6.150726851853262e-18(-6.150726851853262e-18 -6.150726851853262e-18)+nan.0validexit00.462956#f
(-4.525195007346524e+171 -1.6327845642145436e-307 1.572463765936828e-230)9.050390014693047e+171(9.050390014693047e+171 9.050390014693047e+171)+nan.0validexit00.169009#f
(-2.8383929264140834e-288 2.1125229476816143e+212 -2.2390945975050694e-5)-2.2390945975050694e-5(-2.2390945975050694e-5 -2.2390945975050694e-5)+nan.0validexit00.42458300000000004#f
(1.7350021491762823e+24 6.134430908287018e-97 -1.4450196579821863e+98)-1.4450196579821863e+98(-1.4450196579821863e+98 -1.4450196579821863e+98)+nan.0validexit00.162241#f
(-1.1136672127940844e+165 1238355821781.6602 3.149878003624106e+121)-1.890268968610393e+165(-1.890268968610393e+165 -1.890268968610393e+165)+nan.0validexit00.17747#f
(-6.037557675877679e-162 5.7373561689125585e-185 2.8509172578472328e+104)2.8509172578472328e+104(2.8509172578472328e+104 2.8509172578472328e+104)+nan.0validexit00.343623#f
(2.481026838105366e-259 6.478732912426005e-120 1.76705524451686e+257)-1.76705524451686e+257(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.978572869150704e+242 -1.0571535665610789e+305 -2.7545933220058187e+63)-2.8796435517705286e+241(-2.8796435517705286e+241 -2.8796435517705286e+241)+nan.0validexit00.476566#f
(-2.4588633446964545e+218 -9.753587549520885e+151 1.0175226726438785e+91)4.08395682538454e+218(4.08395682538454e+218 4.08395682538454e+218)+nan.0validexit00.449064#f
(-1.5578955502499922e+81 -1.964915181456313e-26 -3.0056489154494405e-63)3.1157911004999845e+81(3.1157911004999845e+81 3.1157911004999845e+81)+nan.0validexit00.375483#f
(4.713033515732531e-223 1.119661610603493e+224 1.5208247509960723e+138)-1.5208247509960723e+138(-1.5208247509960723e+138 -1.5208247509960723e+138)+nan.0validexit00.36270399999999997#f
(7.028418792990173e+253 -3.856968754747124e+36 -6.553270723413653e-215)1.3117747314609055e+254(1.3117747314609055e+254 1.3117747314609055e+254)+nan.0validexit00.385126#f
(2.965299994697031e+240 -2.1387226935783387e+31 7.876385081313901e+253)-7.876385081313901e+253(-7.876385081313901e+253 -7.876385081313901e+253)+nan.0validexit00.387187#f
(4.2266727985837197e-225 1.4904485311022706e+280 -1.86415788843289e+26)1.86415788843289e+26(1.86415788843289e+26 1.86415788843289e+26)+nan.0validexit00.415632#f
(-2.410323432821518e+127 4.713704572883968e+25 -6.324280080908624e+218)-6.324280080908624e+218(-6.324280080908624e+218 -6.324280080908624e+218)+nan.0validexit00.39424000000000003#f
(-16449625089943.516 1.0669555125354194e+208 -1.8587979270650643e-243)-28269582795724.86(-28269582795724.86 -28269582795724.86)+nan.0validexit00.30398600000000003#f
(4.4329645840819823e+157 0.23306521822585266 -1.5638951081057783e-117)-8.805798272151397e+157(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.0412297377239457e+201 49626992570838.67 -4.4115536056186706e-225)5.55923660089625e+201(5.55923660089625e+201 5.55923660089625e+201)+nan.0validexit00.388859#f
(1.264741064517449e-155 2.1697578302135726e-236 1.0686678639729804e+89)-1.0686678639729804e+89(-1.0686678639729804e+89 -1.0686678639729804e+89)+nan.0validexit00.377608#f
(-3.287368384431186e+259 -9.711704667321957e-278 -4.929416908181842e+70)6.574736768862372e+259(6.574736768862372e+259 6.574736768862372e+259)+nan.0validexit00.407298#f
(-754.9534696777031 -1.5494524060080878e-152 4.4218984005043075e+126)4.4218984005043075e+126(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.098626939986099e-95 6.629275249731213e+77 -1.8784791380659406e-295)8.831030550810133e-95(8.831030550810133e-95 8.831030550810133e-95)+nan.0validexit00.302824#f
(7.104566017870797e+28 2.3932983913685648e-201 -7.765725607882015e+272)-7.765725607882015e+272(-7.765725607882015e+272 -7.765725607882015e+272)+nan.0validexit00.378568#f
(-8.128023032325675e-266 6.187552611884646e+85 6.002307493572079e-232)-6.002307493572079e-232(-6.002307493572079e-232 -6.002307493572079e-232)+nan.0validexit00.38201#f
(7.090931010725214e+219 -1.4058052289620538e+28 -2.063597473684804e+58)-1.3728150129609106e+220(-1.3728150129609106e+220 -1.3728150129609106e+220)+nan.0validexit00.371146#f
(3.4881106538735416e+271 -9.491696791175199e-265 5.264616570900598e-208)-6.976221307747083e+271(-6.976221307747083e+271 -6.976221307747083e+271)+nan.0validexit00.372581#f
(-9.716348173862256e+191 -2.25104617780148e+288 -2.477368772323195e-195)-1.8861029271950622e+192(-1.8861029271950622e+192 -1.8861029271950622e+192)+nan.0validexit00.579396#f
(2.1671621665860042e+204 -1.759082376455092e-102 -4.099620978869881e+219)-4.099620978869881e+219(-4.099620978869881e+219 -4.099620978869881e+219)+nan.0validexit00.376067#f
(-7.743210419607e+265 -7.688293482653633e+32 -2.311937822194796e+215)-1.3928543347037497e+266(-1.3928543347037497e+266 -1.3928543347037497e+266)+nan.0validexit00.413233#f
(8.846704924457224e+183 -1.3525074106655537e+125 1.3050292809450002e+89)-1.6641737033627696e+184(-1.6641737033627696e+184 -1.6641737033627696e+184)+nan.0validexit00.21876400000000001#f
(-6.02866954964359e-162 -1.7592358196065495e+193 -8.622379397174622e-219)-1.2040449006633617e-161(-1.2040449006633617e-161 -1.2040449006633617e-161)+nan.0validexit00.49119699999999994#f
(-1.5230851819887926e+186 -5.768968049752289e-198 5.481309347671195e+259)5.481309347671195e+259(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.820216428455628e-31 -2.813671143946387e+184 3.05454219767961)3.05454219767961(3.05454219767961 3.05454219767961)+nan.0validexit00.29682#f
(-9.649609509342993e-109 7.080761350738737e-267 7131.364421665304)7131.364421665304(7131.364421665304 7131.364421665304)+nan.0validexit00.316139#f
(6.7320219425436575e+239 -1.6412600228558596e-127 -4.3454159669888337e-305)-1.3464043885087315e+240(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.595817578021403e-48 -1.1133007813522991e+282 1.2125290201510853e-298)2.2601293940374018e-48(2.2601293940374018e-48 2.2601293940374018e-48)+nan.0validexit00.358253#f
(-9.087645679257631e+224 -1.1801218625536552e+113 -3.1455656847131735e-160)-1.379113395587638e+225(-1.379113395587638e+225 -1.379113395587638e+225)+nan.0validexit00.407997#f
(4.789759110877584e-255 -1.428509358642297e+48 2.7032665089118926e+246)2.7032665089118926e+246(2.7032665089118926e+246 2.7032665089118926e+246)+nan.0validexit00.41334899999999997#f
(3.695343737202881e+144 -1.236261548668593e-268 -6.524072540678568e+155)-6.524072540678568e+155(-6.524072540678568e+155 -6.524072540678568e+155)+nan.0validexit00.354547#f
(6.0025706228329715e-174 -1.9970303084259008e+135 -3.5004434028603255e-231)-1.1972825840927402e-174(-1.1972825840927402e-174 -1.1972825840927402e-174)+nan.0validexit00.44939999999999997#f
(-2.3609844596943832e-300 -2.225761479413318e+227 7.912700415525663e-109)-7.912700415525663e-109(-7.912700415525663e-109 -7.912700415525663e-109)+nan.0validexit00.472865#f
(4.7527968042634715e-175 8.28009018015128e+262 6.3091514117803e-108)6.3091514117803e-108(6.3091514117803e-108 6.3091514117803e-108)+nan.0validexit00.489408#f
(-1.4080115601367709e+302 -4.202185125297164e-87 -2.106311950401203e+271)2.8160231202735418e+302(2.8160231202735418e+302 2.8160231202735418e+302)+nan.0validexit00.379415#f
(5.043519269648249e-227 -5.03454296000698e-212 4.0780045253371407e+71)-4.0780045253371407e+71(-4.0780045253371407e+71 -4.0780045253371407e+71)+nan.0validexit00.38316300000000003#f
(-2.7649279836904157e+119 -931383596135748.9 -2.3455098368077205e-224)5.4343638296756086e+119(5.4343638296756086e+119 5.4343638296756086e+119)+nan.0validexit00.342827#f
(1.6901130254153383e+92 2.610823334579152e+262 -1.8221012237047939e-109)-1.0203174966806273e+92(-1.0203174966806273e+92 -1.0203174966806273e+92)+nan.0validexit00.351908#f
(-1.0098302956677007e+281 5.3702009087308295e+268 -1.939308806540713e+30)8.51711830947265e+280(8.51711830947265e+280 8.51711830947265e+280)+nan.0validexit00.488047#f
(-6.868853020796309e-72 7.80943504588117e+27 -2.3645209923936032e+299)2.3645209923936032e+299(2.3645209923936032e+299 2.3645209923936032e+299)+nan.0validexit00.413705#f
(1.0574042462260505e-306 -3.343909274187376e-276 6.2616659108825244e-164)-6.2616659108825244e-164(-6.2616659108825244e-164 -6.2616659108825244e-164)+nan.0validexit00.37536200000000003#f
(9.494004047286515e+126 2.4106216831444736e+299 -2.41875866292837e-260)-3.6516997174070526e+126(-3.6516997174070526e+126 -3.6516997174070526e+126)+nan.0validexit00.5029859999999999#f
(-4.654063618370698e-96 -4.8126726092744583e-82 4.989581382271679e-264)9.308127236741396e-96(9.308127236741396e-96 9.308127236741396e-96)+nan.0validexit00.329648#f
(-1.8643893940931838e+257 -5.023647970830718e+256 -1.2066263525243454e+300)-1.2066263525243454e+300(-1.2066263525243454e+300 -1.2066263525243454e+300)+nan.0validexit00.5799610000000001#f
(1.6866888706457917e-162 -1.2277506990826318e+300 5.943792823015141e-105)5.943792823015141e-105(5.943792823015141e-105 5.943792823015141e-105)+nan.0validexit00.444575#f
(3.556536559019921e-116 3.490181775790504e-52 -1.889530722980972e-262)-7.113073118039842e-116(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.0399911020962938e-64 -2.0335043685122166e-234 -3.5678562654488706e-280)-2.0799822041925876e-64(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.756450882191924e+172 1.5481732739287513e-176 -1.0462677722898849e+211)-1.0462677722898849e+211(-1.0462677722898849e+211 -1.0462677722898849e+211)+nan.0validexit00.34640499999999996#f
(9.169563791936039e-82 9.617667147823911e+135 1.2929793999508454e-120)-1.094713184508783e-81(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.788269402158628e+63 5.738951185350779e+283 -3.18273972805294e-116)9.453325976203252e+63(+nan.0 +nan.0)+nan.0validexit05.0#f
(-8.943467449647425e-240 -1.8012133274585013e+269 -2.2454619715391555e-250)-1.4518014507633523e-239(-1.4518014507633523e-239 -1.4518014507633523e-239)+nan.0validexit00.502322#f
(9.218911077753235e+237 3.2028317523009435e+280 3.2844871584058304e-301)5.799250506459702e+237(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.0388157858487076e+114 1.7587042288599919e+117 3.318074165717961e-251)-1.7963978022949702e+114(-1.7963978022949702e+114 -1.7963978022949702e+114)+nan.0validexit00.43323500000000004#f
(-571065319793146.8 1.1017812241072706e-281 -6.317411475321539e-222)1142130639586293.5(1142130639586293.5 1142130639586293.5)+nan.0validexit00.353389#f
(-6.245665532969456e+219 -2.737059482440602e+259 2.6734275673775977e+48)-1.0496014581850308e+220(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.5249037967492025e-188 7.213104824395056e-70 -5.8497287877508344e+60)5.8497287877508344e+60(5.8497287877508344e+60 5.8497287877508344e+60)+nan.0validexit00.324286#f
(1.8783479293487585e-40 -3.862945759238588e-211 7.148977470964699e+130)-7.148977470964699e+130(-7.148977470964699e+130 -7.148977470964699e+130)+nan.0validexit00.374773#f
(-1.283173797591817e+291 1.6683976426941115e+28 4.393347959761399e-209)8.893169684175077e+290(8.893169684175077e+290 8.893169684175077e+290)+nan.0validexit00.41661299999999996#f
(-7.841223613274572e+228 -1.0871177990344891e-40 -9.954119808303022e+65)1.5682447226549143e+229(1.5682447226549143e+229 1.5682447226549143e+229)+nan.0validexit00.346648#f
(-2.0751838812537627e-140 4.5718940525604905e-123 4.413174717497351e+116)4.413174717497351e+116(4.413174717497351e+116 4.413174717497351e+116)+nan.0validexit00.346356#f
(5.4387611658644555e-45 -3.960747165275843 -2.0551899187413904e-206)4.3316641828200634e-45(4.3316641828200634e-45 4.3316641828200634e-45)+nan.0validexit00.164049#f
(-1.344934422350665e+245 1.595447839978283e-287 5.95699328762265e-136)2.68986884470133e+245(2.68986884470133e+245 2.68986884470133e+245)+nan.0validexit00.368407#f
(-4.4810036698513336e+226 -2.003155700838531e-303 -2.5247419433293477e-5)8.962007339702667e+226(8.962007339702667e+226 8.962007339702667e+226)+nan.0validexit00.170684#f
(-1.783737229758262e+243 4.167982434695485e+29 1.865253767896356e-129)-3.5538684678435956e+243(-3.5538684678435956e+243 -3.5538684678435956e+243)+nan.0validexit00.412679#f
(6.442587199166287e-5 3.5211690558546926e+76 2.329486980547333e+293)-2.329486980547333e+293(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.8429516416386168e-46 -9.193097758157726e+105 6.802052168547017e+111)-6.802052168547017e+111(-6.802052168547017e+111 -6.802052168547017e+111)+nan.0validexit00.331584#f
(-2.585226877287032e-160 1.332746976914657e-263 6.229900788305815e-7)6.229900788305815e-7(6.229900788305815e-7 6.229900788305815e-7)+nan.0validexit00.337881#f
(5.122509306885008e+108 -2.6714684059081774e+78 2.9261280397328e+164)2.9261280397328e+164(2.9261280397328e+164 2.9261280397328e+164)+nan.0validexit00.410616#f
(1.8582874037585003e+119 -2.8093248224245308e-39 2.878785926461404e+134)-2.878785926461404e+134(-2.878785926461404e+134 -2.878785926461404e+134)+nan.0validexit00.368116#f
(-1.07296663307193e-73 6.00366587922326e+39 2.976772565079482e-69)-2.9767725681402824e-69(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.0688147428652567e-78 3.249509778540352e+129 2.691074818933885e+180)-2.691074818933885e+180(-2.691074818933885e+180 -2.691074818933885e+180)+nan.0validexit00.411265#f
(3.9190341061949655e-192 4.878079334712508e-262 -2.129815546549383e-187)-2.1298155479916515e-187(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.674880584641798e-118 -2.880201418417008e+201 -7.525389857805199e+205)7.525389857805199e+205(7.525389857805199e+205 7.525389857805199e+205)+nan.0validexit00.449631#f
(-8.202613491042629e+290 2.5192084139565624e+282 -1.9298398122047308e+183)-1.3212204374321045e+290(-1.3212204374321045e+290 -1.3212204374321045e+290)+nan.0validexit00.5726070000000001#f
(-8.346213955634194e-112 1.7897764139588298e-113 -7.6574946187773e-161)1.6692427911268387e-111(1.6692427911268387e-111 1.6692427911268387e-111)+nan.0validexit00.158519#f
(-1.5409419681941714e+300 -7.572225856158796e+216 7.097678315679442e+306)-7.09767831568008e+306(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.210052752289619e+24 -1.939259881662474e-219 -1.7767606764444331e-196)6.420105504579238e+24(6.420105504579238e+24 6.420105504579238e+24)+nan.0validexit00.24220399999999997#f
(3.1239440741124e+172 8.771868458305465e-38 -2.6269899536173664e-18)-6.2478881482248e+172(-6.2478881482248e+172 -6.2478881482248e+172)+nan.0validexit00.36712#f
(1.2356533347183875e+202 -5.071002049924966e-210 5.300222501708163e+197)-2.4713066700051457e+202(-2.4713066700051457e+202 -2.4713066700051457e+202)+nan.0validexit00.27768299999999996#f
(-8.65084729167612e+246 1.23487574263523e-166 3.4569994479165176e+227)1.730169458335224e+247(1.730169458335224e+247 1.730169458335224e+247)+nan.0validexit00.355925#f
(1.9213799310012632e+150 -6.387634565581735e-203 9.996357766977007e+24)-3.8427598620025264e+150(-3.8427598620025264e+150 -3.8427598620025264e+150)+nan.0validexit00.375812#f
(1.3973034121167308e+164 5.963857641249051e+277 5.1800922277915095e-24)-5.7389366259820686e+163(-5.7389366259820686e+163 -5.7389366259820686e+163)+nan.0validexit00.3955#f
(-3.8231804603701046e-106 9.394660546574359e-254 4.4033169167106435e-119)7.646360920740209e-106(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.625793421482247e+159 -1.8586718111627153e-125 -1.921738067581631e+297)1.921738067581631e+297(1.921738067581631e+297 1.921738067581631e+297)+nan.0validexit00.346647#f
(5.96450635864447e-304 6.819369315504255e+94 3.8470820023877e-290)3.8470820023877e-290(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.383269535513164e-231 -3.0790726605670495e-178 2.2383669118868337e+273)-2.2383669118868337e+273(-2.2383669118868337e+273 -2.2383669118868337e+273)+nan.0validexit00.372058#f
(1.737115536545382e+249 -2.0978262571829636e+91 1.3348771785829497e-110)2.9708028442819804e+249(2.9708028442819804e+249 2.9708028442819804e+249)+nan.0validexit00.44738900000000004#f
(1.8052504249963607e-93 7.80639366405701e+297 -2.2555335318057492e-142)-2.7763865050443756e-93(-2.7763865050443756e-93 -2.7763865050443756e-93)+nan.0validexit00.510803#f
(4.1261391836567264e-125 -6.261108555251622e+130 4.231404949010418e-281)-6.858645916819875e-125(-6.858645916819875e-125 -6.858645916819875e-125)+nan.0validexit00.444704#f
(-1.3516415299238465e+157 6.8636412456233315e+255 3.8650086228452484e+275)-3.8650086228452484e+275(-3.8650086228452484e+275 -3.8650086228452484e+275)+nan.0validexit00.233606#f
(-1.0531039583680729e-141 1.5831210712985341e+109 1.5075773848312553e-299)6.58077988543715e-142(6.58077988543715e-142 6.58077988543715e-142)+nan.0validexit00.37952800000000003#f
(-1.9885103982614825e-107 -5.432013906262082e-196 -5.800327317499194e+221)5.800327317499194e+221(5.800327317499194e+221 5.800327317499194e+221)+nan.0validexit00.339929#f
(-5.22594005885027e-192 -1.7059720248363566e+301 3.371189584506302e+287)-3.371189584506302e+287(-3.371189584506302e+287 -3.371189584506302e+287)+nan.0validexit00.391731#f
(9.181959523375183e-188 2.839519040323275e+104 -6.035936221209347e+89)6.035936221209347e+89(6.035936221209347e+89 6.035936221209347e+89)+nan.0validexit00.396027#f
(1.1320082662172414e+159 4.797361475022485e+282 1.232351365471804e+304)-1.232351365471804e+304(-1.232351365471804e+304 -1.232351365471804e+304)+nan.0validexit00.505645#f
(-1.6577975474434768e-248 -8.024214399426008e+160 1.7652252733904438e+243)1.7652252733904438e+243(1.7652252733904438e+243 1.7652252733904438e+243)+nan.0validexit00.212869#f
(-1.7086561299366905e+128 -9.009867612250052e+274 2.117813481310895e+21)2.800667072515706e+128(+nan.0 +nan.0)+nan.0validexit05.0#f
(-8.068829725749798e+137 -3.5039212447549044e-170 2.3807742146178367e-257)1.6137659451499595e+138(1.6137659451499595e+138 1.6137659451499595e+138)+nan.0validexit00.34996400000000005#f
(1.0588625152900452e+67 -3.135415346223242e-253 4.479862863770559e-154)-2.1177250305800904e+67(-2.1177250305800904e+67 -2.1177250305800904e+67)+nan.0validexit00.372074#f
(-2.3550852721559823e-23 3.0197916429843902e-270 -2.2878542395036917e+226)2.2878542395036917e+226(2.2878542395036917e+226 2.2878542395036917e+226)+nan.0validexit00.259333#f
(3.5851733181994254e+140 -3.3076633134917003e+304 7.459897774007251e-96)7.168942692664242e+140(7.168942692664242e+140 7.168942692664242e+140)+nan.0validexit00.5063519999999999#f
(-3.3563520139199653e-153 -4.2752684403157185e+288 -2.8039789079727264e+187)2.8039789079727264e+187(2.8039789079727264e+187 2.8039789079727264e+187)+nan.0validexit00.409974#f
(2.4097684587723037e-135 -6.643758311098039e-37 1.4434923895250268e-82)-1.4434923895250268e-82(-1.4434923895250268e-82 -1.4434923895250268e-82)+nan.0validexit00.164047#f
(-3.3943395014552927e-254 -6.518434855048527e+175 -3.754102065380607e-217)3.754102065380607e-217(3.754102065380607e-217 3.754102065380607e-217)+nan.0validexit00.24653000000000003#f
(-6.066820210058722e+137 1.986575048983012e+275 8.440815314745025e+133)1.0615646784947576e+138(1.0615646784947576e+138 1.0615646784947576e+138)+nan.0validexit00.389826#f
(2.2299801923985485e+135 -7.15190320452554e+291 -4.0306837106556625e+41)-4.0624192709503584e+135(-4.0624192709503584e+135 -4.0624192709503584e+135)+nan.0validexit00.570624#f
(5.528235628144892e-50 1.4510249845670786e-8 1.2330192222689975e-144)-1.1056471256289784e-49(-1.1056471256289784e-49 -1.1056471256289784e-49)+nan.0validexit00.360592#f
(-7.981021431858229e+159 7.044628611605697e+107 2.0611208895681924e+293)-2.0611208895681924e+293(-2.0611208895681924e+293 -2.0611208895681924e+293)+nan.0validexit00.427892#f
(-1.6134816812583866e-114 2.8665356309414284e-105 -6.902112064738898e+190)6.902112064738898e+190(6.902112064738898e+190 6.902112064738898e+190)+nan.0validexit00.362095#f
(3.453703682609631e-246 -4.02247801179096e+97 1.9269668379271564e-69)1.9269668379271564e-69(1.9269668379271564e-69 1.9269668379271564e-69)+nan.0validexit00.38789500000000005#f
(-8.59232811321908e-176 -7.063384785280482e-113 3.71548506331389e-136)3.71548506331389e-136(3.71548506331389e-136 3.71548506331389e-136)+nan.0validexit00.314651#f
(-9.384526908971236e-207 8.758676120526142e-308 5.375376251214998e+158)5.375376251214998e+158(5.375376251214998e+158 5.375376251214998e+158)+nan.0validexit00.350065#f
(1.5939635545251153e-263 1.3907695261880459e-45 -4.2786147873384304e-231)-4.2786147873384304e-231(-4.2786147873384304e-231 -4.2786147873384304e-231)+nan.0validexit00.330706#f
(-2.526448116805024e+61 -7.954920612122505e+295 -2.7711700814827225e+288)2.7711700814827225e+288(2.7711700814827225e+288 2.7711700814827225e+288)+nan.0validexit00.506321#f
(-1.0854673738819498e-73 -1.6911851931855837e-162 -2.1430840303682557e+176)2.1430840303682557e+176(2.1430840303682557e+176 2.1430840303682557e+176)+nan.0validexit00.384361#f
(4.1822984583715586e-299 -1.260039946097247e+33 -1.5929508769559154e+69)1.5929508769559154e+69(1.5929508769559154e+69 1.5929508769559154e+69)+nan.0validexit00.39318600000000004#f
(-6.350148531255252e+119 2.4768416863365317e-117 -6.495329384007281e-61)1.2700297062510504e+120(1.2700297062510504e+120 1.2700297062510504e+120)+nan.0validexit00.355402#f
(8.433959291447285e+95 -3.0479033303043966e+23 -1.2035084727286378e-51)-1.4714745677560226e+96(-1.4714745677560226e+96 -1.4714745677560226e+96)+nan.0validexit00.386651#f
(65709214531090.03 -1.4035030171028662e-80 4.8452483548724866e-209)-131418429062180.06(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.709667540428134e+74 2.786553819162741e-287 -8.228248523463654e-130)-1.5419335080856267e+75(+nan.0 +nan.0)+nan.0validexit05.0#f
(-14351.246769163317 -9.955988015602161e+212 4.7051852203303506e-35)28697.735941240968(28697.735941240968 28697.735941240968)+nan.0validexit00.33293#f
(7.549345936723838e+65 9.227951269417722e+117 6.016322138529471e+128)-6.016322138529471e+128(-6.016322138529471e+128 -6.016322138529471e+128)+nan.0validexit00.40800899999999996#f
(7.106241308245914e+119 1.0285456565233442e+216 7.527194409370731e+22)-1.1074292602803119e+120(-1.1074292602803119e+120 -1.1074292602803119e+120)+nan.0validexit00.513536#f
(12866068628156467000.0 9.388502443611505e-238 -18405109.552640274)-25732137256312934000.0(-25732137256312934000.0 -25732137256312934000.0)+nan.0validexit00.243886#f
(1.0773728701372313e+295 2.0511688467387816e+56 1.269302982833361e-58)-5.883178128977726e+294(+nan.0 +nan.0)+nan.0validexit05.0#f
(-890580181396145.1 3.0035353101988473e+211 -1.3870911638135303e-209)-280729054544909.03(-280729054544909.03 -280729054544909.03)+nan.0validexit00.5506690000000001#f
(-4.662759943883455e-243 -2.80005138687506e+120 8.880839984590713e+60)8.880839984590713e+60(8.880839984590713e+60 8.880839984590713e+60)+nan.0validexit00.43377#f
(-5.380638723383617e-296 7.558177921471006e+119 -7.255073173271563e-58)7.255073173271563e-58(7.255073173271563e-58 7.255073173271563e-58)+nan.0validexit00.42785300000000004#f
(7.26560970405583e-287 1.728817000726716e+216 4.239909944208104e-249)-4.239909944208104e-249(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.3522697260339919e+104 4.058675856283486e+40 1.0909874873203117e+173)1.0909874873203117e+173(1.0909874873203117e+173 1.0909874873203117e+173)+nan.0validexit00.372757#f
(1.515121212964474e+280 -2.203814296662331e-267 -4.5716266581553775e-69)-3.030242425928948e+280(-3.030242425928948e+280 -3.030242425928948e+280)+nan.0validexit00.329218#f
(-6.0598094976802676e+233 6.84434631549957e-160 -2.0848859814393182e-40)1.2119618995360535e+234(1.2119618995360535e+234 1.2119618995360535e+234)+nan.0validexit00.34305#f
(-4.6337698777514316e+94 2.3184859524878e-23 3.4401020638505866e-254)9.267539755502863e+94(9.267539755502863e+94 9.267539755502863e+94)+nan.0validexit00.396521#f
(-1.1700906824378671e-182 3.0046496558832464e+97 -2.399978210339445e-166)2.399978210339445e-166(+nan.0 +nan.0)+nan.0validexit05.0#f
(7.330214354206199e-89 -4.8024369827884353e+210 -7.073843941478923e+235)7.073843941478923e+235(7.073843941478923e+235 7.073843941478923e+235)+nan.0validexit00.486914#f
(1.5083800809179065e-213 3.6984156558732592e+227 7.205931989785077e-158)-7.205931989785077e-158(-7.205931989785077e-158 -7.205931989785077e-158)+nan.0validexit00.447029#f
(-1.576687816339534e+287 -5.556196856657086e+210 2.1268609966470645e-101)2.7849004844745473e+287(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.0493339619093436e-90 -1.1227365688341515e+138 1.025478071593439e+183)1.025478071593439e+183(1.025478071593439e+183 1.025478071593439e+183)+nan.0validexit00.317463#f
(-9.077719482332986e+46 1.6783314830105028e-75 4.3611258054206254e+129)4.3611258054206254e+129(4.3611258054206254e+129 4.3611258054206254e+129)+nan.0validexit00.352157#f
(-1.280070648143575e+207 -3.703421665299622e-15 -1.6256217115879995e+204)2.5601418124003988e+207(2.5601418124003988e+207 2.5601418124003988e+207)+nan.0validexit00.351916#f
(-7.578904742281972e-206 -7.753524368787224e-95 1.4643770994435517e-167)1.4643770994435517e-167(1.4643770994435517e-167 1.4643770994435517e-167)+nan.0validexit00.505614#f
(-5.590069312568208e-226 2.5083349044648644e-259 7.47767782927352e-292)1.1180138625136416e-225(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.3250425237868117e-138 -5.18071772528031e+75 -1.0290617936195077e-25)-1.0290617936195077e-25(-1.0290617936195077e-25 -1.0290617936195077e-25)+nan.0validexit00.356901#f
(4.560143770538704e-102 4.568877202811461e+75 -1.9586152074284e+261)1.9586152074284e+261(1.9586152074284e+261 1.9586152074284e+261)+nan.0validexit00.38783999999999996#f
(-2.7130971136609845e+102 -2.2486945745639343e+109 1.7185875585642681e+257)-1.7185875585642681e+257(-1.7185875585642681e+257 -1.7185875585642681e+257)+nan.0validexit00.439252#f
(2.5018883308228624e+169 2.5897077553004348e+212 1.935164673529757e+51)-4.187917176217567e+169(-4.187917176217567e+169 -4.187917176217567e+169)+nan.0validexit00.475955#f
(8.40056081086331e+48 5.4633329020722507e-39 1.666944609079822e+24)-1.680112162172662e+49(-1.680112162172662e+49 -1.680112162172662e+49)+nan.0validexit00.351025#f
(9.961726874179662e-75 4.645831786281287e+266 -1.6919431847040883e+70)-1.6919431847040883e+70(-1.6919431847040883e+70 -1.6919431847040883e+70)+nan.0validexit00.47642#f
(-3.3825477900238964e-119 -6.962683714218841e+21 -2.406857970330436e+262)2.406857970330436e+262(2.406857970330436e+262 2.406857970330436e+262)+nan.0validexit00.337306#f
(-5.885799839915116e+79 -4.5151305801411676e+226 3.82084288930525e+211)-3.82084288930525e+211(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.0899236736187181e+154 -5.733186808342337e+170 -2.193990531101684e-227)1.01012263407464e+154(1.01012263407464e+154 1.01012263407464e+154)+nan.0validexit00.452724#f
(4.858314296757014e+48 5.508766877369754e-290 -4.886043380748611e+258)-4.886043380748611e+258(-4.886043380748611e+258 -4.886043380748611e+258)+nan.0validexit00.374007#f
(1.0625154904044547e-94 425140021352906.2 6.409160207536684e+159)6.409160207536684e+159(6.409160207536684e+159 6.409160207536684e+159)+nan.0validexit00.333237#f
(1.4806031237440577e+178 4.5146953908653064e-254 -1.0848477591853333e-299)-2.9612062474881155e+178(-2.9612062474881155e+178 -2.9612062474881155e+178)+nan.0validexit00.19725#f
(-3.8774157313986674e-260 -1.1796811956785884e+306 2.7938264511712366e-211)2.7938264511712366e-211(2.7938264511712366e-211 2.7938264511712366e-211)+nan.0validexit00.48131999999999997#f
(2.5811453078323575e-131 -7.6724767793863e+282 -3.01085840728716e-287)2.9840964019761793e-131(2.9840964019761793e-131 2.9840964019761793e-131)+nan.0validexit00.453247#f
(2.4347874631949116e-80 -3.8154689832856116e-160 -7.742931110588363e-229)-4.869574926389823e-80(-4.869574926389823e-80 -4.869574926389823e-80)+nan.0validexit00.160548#f
(2.7258928227468645e-30 -8.631337704448522e+69 1.1940393684576117e+30)1.1940393684576117e+30(1.1940393684576117e+30 1.1940393684576117e+30)+nan.0validexit00.268772#f
(1.4955137139183099e+237 8.834480916553046e+167 -1.1403355341674385e+150)2.8927015293644153e+237(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.1600188376574038e+185 2.628391155019122e-28 -1.7947117548660003e+247)1.7947117548660003e+247(+nan.0 +nan.0)+nan.0validexit05.0#f
(9.202771380096235e-241 -3.624571541826241e+227 1.9643198330678968e+273)-1.9643198330678968e+273(-1.9643198330678968e+273 -1.9643198330678968e+273)+nan.0validexit00.45668800000000004#f
(-1.287571002618129e+58 1.5086870745768015e+108 9.441929638000925e-169)-2.557456418332046e+58(-2.557456418332046e+58 -2.557456418332046e+58)+nan.0validexit00.41219500000000003#f
(-3.0969930203712897e+288 1.733212321264559e+96 -5629974866546.147)4.433212761305126e+288(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.533098413614212e-294 9.156972883019532e-258 9.317706748751417e+107)-9.317706748751417e+107(-9.317706748751417e+107 -9.317706748751417e+107)+nan.0validexit00.368678#f
(-4.064001729600736e-57 -5.012465144378542e-198 -6.456444466699383e-280)8.128003459201473e-57(8.128003459201473e-57 8.128003459201473e-57)+nan.0validexit00.28479200000000005#f
(-6.022663396958438e-52 -1.163668808047892e-282 -1.8432332386074292e+197)1.8432332386074292e+197(1.8432332386074292e+197 1.8432332386074292e+197)+nan.0validexit00.185335#f
(-4.110374023063994e+229 4.1165660042271254e-215 2.0231600674024657e+109)8.220748046127988e+229(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.3999310296948e+206 -1.287087519471594e+233 2.938138308221928e+28)7.53577357071404e+206(7.53577357071404e+206 7.53577357071404e+206)+nan.0validexit00.228323#f
(1.2212058141618207e+304 1.4127820286171876e+71 2.8141389139271897e-91)-1.7389190641731712e+304(-1.7389190641731712e+304 -1.7389190641731712e+304)+nan.0validexit00.41321100000000005#f
(-8.157849028573603e+39 -1.8714038500034602e-253 -3.573616292439704e+151)3.573616292439704e+151(+nan.0 +nan.0)+nan.0validexit05.0#f
(-5.705608714037447e-132 2.1616029610029752e+255 -1.479064383908957e-288)9.43887271407338e-132(9.43887271407338e-132 9.43887271407338e-132)+nan.0validexit00.5501440000000001#f
(-3.856808518471089e-226 -2.676508766310158e-190 1.6921237163426931e+214)1.6921237163426931e+214(1.6921237163426931e+214 1.6921237163426931e+214)+nan.0validexit00.17677900000000002#f
(-1.8451644460792422e+269 1.039960793655743e+266 7.309693853847975e-174)3.62614459548081e+269(3.62614459548081e+269 3.62614459548081e+269)+nan.0validexit00.488565#f
(-8.588392559733425e-273 6.286398915842709e-278 -4.776323219152372e+153)4.776323219152372e+153(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.6727128938697672e-74 -2.113363807602536e+244 5.014172387102556e-156)-1.0860430686236052e-74(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.7175329345298815e-128 -2.5714556896335913e+51 -0.08067983193887283)-0.08067983193887283(-0.08067983193887283 -0.08067983193887283)+nan.0validexit00.38536499999999996#f
(7.708514210905426e-179 2.385007842386569e+293 2.714582020823147e-104)2.714582020823147e-104(2.714582020823147e-104 2.714582020823147e-104)+nan.0validexit00.49122200000000005#f
(1.4404548820685693e+271 -6.798021235039905e-129 4.711010290997105e+147)-2.8809097641371385e+271(-2.8809097641371385e+271 -2.8809097641371385e+271)+nan.0validexit00.282979#f
(3.412471171492096e-194 1.0577483602940867e+46 -1.71571585900868e-259)7.539283547682822e-196(7.539283547682822e-196 7.539283547682822e-196)+nan.0validexit00.30628#f
(6.389055073022548e-231 1.0266375537457693e+273 2.735222846307637e+189)-2.735222846307637e+189(-2.735222846307637e+189 -2.735222846307637e+189)+nan.0validexit00.506904#f
(2.5027231876246864e-38 -3.839984044084312e-248 -2.6092540749449746e+175)-2.6092540749449746e+175(-2.6092540749449746e+175 -2.6092540749449746e+175)+nan.0validexit00.33699799999999996#f
(-1.0733682571712111e+198 -4.787893229505965e-286 -1.1476885994841502e+188)2.1467365143424222e+198(2.1467365143424222e+198 2.1467365143424222e+198)+nan.0validexit00.392131#f
(-2.9619486104976205e-240 3.7574822796192436e-202 -2.5010043895615776e+264)2.5010043895615776e+264(2.5010043895615776e+264 2.5010043895615776e+264)+nan.0validexit00.370438#f
(1.060572143960269e-214 2.7239118513706537e+56 -2.828264764495673e-221)1.8538265887723233e-214(1.8538265887723233e-214 1.8538265887723233e-214)+nan.0validexit00.349745#f
(-1.2857122758831125e-268 -5.431752994812677e+226 -5.3408624130516295e-138)5.3408624130516295e-138(5.3408624130516295e-138 5.3408624130516295e-138)+nan.0validexit00.43604#f
(1.953834386280729e-27 -4.5813063270774056e+76 -9.880158894050879e+97)-9.880158894050879e+97(-9.880158894050879e+97 -9.880158894050879e+97)+nan.0validexit00.188695#f
(-2.754375163744126e-49 2.241434810396815e+102 -1.0034543714431591e-65)4.739487172353537e-49(4.739487172353537e-49 4.739487172353537e-49)+nan.0validexit00.392425#f
(1.2487200950845874e+145 -4.900598965491818e+56 -4.551519667714619e-56)1.538052365660521e+144(1.538052365660521e+144 1.538052365660521e+144)+nan.0validexit00.356951#f
(-3.1857175688520278e-183 2.009876435526166e+149 -2.0441502926673286e-279)1.7086250850908486e-183(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.358334980477789e+103 -5.663207670355265e+84 -5.285110388227058e+194)-5.285110388227058e+194(-5.285110388227058e+194 -5.285110388227058e+194)+nan.0validexit00.383633#f
(5.0139278156794414e-29 3.1572259758141874e-95 2.9662202565110322e+149)-2.9662202565110322e+149(-2.9662202565110322e+149 -2.9662202565110322e+149)+nan.0validexit00.346509#f
(-7.669380440635539e+87 -1549575545.150048 3.178469570812109e+279)3.178469570812109e+279(3.178469570812109e+279 3.178469570812109e+279)+nan.0validexit00.346124#f
(1465634.686507977 5.112614481583592e-13 2.2014578304606907e+236)-2.2014578304606907e+236(-2.2014578304606907e+236 -2.2014578304606907e+236)+nan.0validexit00.341459#f
(-3.8796927802507535e-183 1.328342119752588e+78 1.7056689080275614e-237)9.840564949536418e-184(9.840564949536418e-184 9.840564949536418e-184)+nan.0validexit00.36181100000000005#f
(-1.4189293186464764e+297 4.79263977758377e-42 4.299879413321697e-291)2.837858637292953e+297(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.5325808977467004e-117 9.864043442365946e-36 3.465219603941216e+190)-3.465219603941216e+190(-3.465219603941216e+190 -3.465219603941216e+190)+nan.0validexit00.258705#f
(-1.3698624493911286e+214 -2.4207574799977905e+135 -1.198126141121505e-58)-2.7382788336868597e+214(-2.7382788336868597e+214 -2.7382788336868597e+214)+nan.0validexit00.225392#f
(1.6470743229876e+285 2.9034190696056932e-232 -278754203446711.72)-3.2941486459752e+285(-3.2941486459752e+285 -3.2941486459752e+285)+nan.0validexit00.26370099999999996#f
(3.3441264596769033e-177 -1.9275206110582494e-158 -1.536928887675177e-133)-1.536928887675177e-133(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.8593046546552856e-183 6.814825211106834e-25 3.0590667242846123e-105)-3.0590667242846123e-105(-3.0590667242846123e-105 -3.0590667242846123e-105)+nan.0validexit00.294259#f
(3.446105937377908e-193 -1.1412459431412857e-279 -5.886237912079467e-91)-5.886237912079467e-91(-5.886237912079467e-91 -5.886237912079467e-91)+nan.0validexit00.36162500000000003#f
(-8.780851071668693e-266 -6.2664793143471066e-276 -1.1308455418654378e-271)1.7561702143341028e-265(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.290912198887448e+143 -2.7512794242479532e+104 2.1093348443802312e-44)-2.430125830677252e+143(-2.430125830677252e+143 -2.430125830677252e+143)+nan.0validexit00.43657100000000004#f
(-4.9639808122870993e+284 -5.9857987167087936e+57 1.4071880830078804e+136)-4.4999239099891494e+284(-4.4999239099891494e+284 -4.4999239099891494e+284)+nan.0validexit00.43682#f
(1.0200251682514518e+152 2.7102078278530617e+188 -1.7559087073799108e+256)-1.7559087073799108e+256(-1.7559087073799108e+256 -1.7559087073799108e+256)+nan.0validexit00.433718#f
(8.10150500860801e-13 -2.2161722877481282e-10 9.479792555747902e+46)-9.479792555747902e+46(-9.479792555747902e+46 -9.479792555747902e+46)+nan.0validexit00.37496300000000005#f
(4.927140848554748e-55 -5.14394400541496e-267 -1.3116683929274608e-180)-9.854281697109496e-55(-9.854281697109496e-55 -9.854281697109496e-55)+nan.0validexit00.363761#f
(4250706.396112229 1.0126567312588088e-194 -6.529888930841505e-165)-8501412.792224457(-8501412.792224457 -8501412.792224457)+nan.0validexit00.20019499999999998#f
(3.3893134291225067e+78 1.6026016014711472e+206 -1.9929878586757777e-130)-4.74324956009592e+78(-4.74324956009592e+78 -4.74324956009592e+78)+nan.0validexit00.33813000000000004#f
(5.0524733494606487e-95 3.1534647292505213e-257 -1.0345785635413123e-5)-1.0345785635413123e-5(+nan.0 +nan.0)+nan.0validexit05.0#f
(4.745925303534417e-73 5.559941039682557e+147 -1.4113221461599422e-121)-2.477744686758464e-73(-2.477744686758464e-73 -2.477744686758464e-73)+nan.0validexit00.418751#f
(-3.553743242558898e-181 -4.570787505311394e+255 1.3373779223722351e+60)1.3373779223722351e+60(1.3373779223722351e+60 1.3373779223722351e+60)+nan.0validexit00.500784#f
(3.5967528808970086e-175 2.2176080722873795e-142 -5.210341317647483e-194)-7.193505761794017e-175(-7.193505761794017e-175 -7.193505761794017e-175)+nan.0validexit00.33451200000000003#f
(4.1749229059528453e+167 1.2746839146052344e+98 -6.792789389115599e-23)1.754315495628788e+167(1.754315495628788e+167 1.754315495628788e+167)+nan.0validexit00.42339899999999997#f
(-5.737202781874551e+160 -3.069407783023452e-269 6.053317980513615e-18)1.1474405563749101e+161(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.0502596073903264e-269 -1.3310714584742056e+57 9.918663135830553e-65)-9.918663135830553e-65(-9.918663135830553e-65 -9.918663135830553e-65)+nan.0validexit00.381128#f
(-1.4254986525441145e+264 -2.682641686289864e-72 7.133174300597306e-86)2.850997305088229e+264(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.959840947257504e+48 -5.787384532897108e+181 -1.657546837497642e+278)-1.657546837497642e+278(-1.657546837497642e+278 -1.657546837497642e+278)+nan.0validexit00.470005#f
Sollya timings
Total time spent in Sollya 1.8s
Bogosity

preprocess573.0ms (0.8%)

Algorithm
egg-herbie
Rules
499×distribute-lft-neg-in
475×fma-neg
405×distribute-rgt-neg-in
340×unsub-neg
306×neg-mul-1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
082992
1202858
2657858
32308858
44451858
57260858
Stop Event
node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 U) (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64))))) #s(literal 2 binary64))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 U) (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) K) (cos.f64 (/.f64 J #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) K) (cos.f64 (/.f64 J #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) U) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 J (*.f64 (*.f64 #s(literal 2 binary64) U) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 U #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 K (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 U #s(literal 2 binary64))))) #s(literal 2 binary64)))))
Outputs
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 #s(literal -2 binary64) J) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J #s(literal 2 binary64)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 #s(literal -2 binary64) (*.f64 J (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 #s(literal -2 binary64) J) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J #s(literal 2 binary64)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 #s(literal -2 binary64) (*.f64 J (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 #s(literal -2 binary64) (neg.f64 J)) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (neg.f64 J)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J (*.f64 #s(literal 2 binary64) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(*.f64 (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 #s(literal -2 binary64) J) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J #s(literal 2 binary64)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 #s(literal -2 binary64) (*.f64 J (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 U) (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 #s(literal -2 binary64) J) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J #s(literal 2 binary64)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 #s(literal -2 binary64) (*.f64 J (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) (neg.f64 J)) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64))))))
(*.f64 (*.f64 #s(literal -2 binary64) J) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J #s(literal 2 binary64)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal -2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 #s(literal -2 binary64) (*.f64 J (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 (neg.f64 K) #s(literal 2 binary64))))) #s(literal 2 binary64))))))
(*.f64 (*.f64 #s(literal -2 binary64) (neg.f64 J)) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (neg.f64 J)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J (*.f64 #s(literal 2 binary64) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(*.f64 (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 U) (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64))))))
(*.f64 (*.f64 #s(literal -2 binary64) (neg.f64 J)) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (neg.f64 J)))) #s(literal 2 binary64))))))
(*.f64 (*.f64 J (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U (*.f64 J #s(literal 2 binary64))) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 J (*.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J (*.f64 #s(literal 2 binary64) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))))))))
(*.f64 (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 J (cos.f64 (/.f64 K #s(literal 2 binary64))))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) K) (cos.f64 (/.f64 J #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) K) (cos.f64 (/.f64 J #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) K) (cos.f64 (/.f64 J #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 J #s(literal 2 binary64))) (*.f64 K #s(literal 2 binary64)))) #s(literal 2 binary64)))))
(*.f64 (*.f64 #s(literal -2 binary64) (*.f64 K (cos.f64 (/.f64 J #s(literal 2 binary64))))) (hypot.f64 #s(literal 1 binary64) (/.f64 U (*.f64 K (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 J #s(literal 2 binary64))))))))
(*.f64 (cos.f64 (/.f64 J #s(literal 2 binary64))) (*.f64 K (*.f64 #s(literal -2 binary64) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 U #s(literal 2 binary64)) (*.f64 K (cos.f64 (/.f64 J #s(literal 2 binary64)))))))))
(*.f64 (cos.f64 (/.f64 J #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal -2 binary64) K) (hypot.f64 #s(literal 1 binary64) (/.f64 (*.f64 U #s(literal 1/2 binary64)) (*.f64 K (cos.f64 (/.f64 J #s(literal 2 binary64))))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) U) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 J (*.f64 (*.f64 #s(literal 2 binary64) U) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 #s(literal -2 binary64) U) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 J (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) U))) #s(literal 2 binary64))))))
(*.f64 (*.f64 #s(literal -2 binary64) U) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 J (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) U))))))
(*.f64 #s(literal -2 binary64) (*.f64 (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 (/.f64 J U) #s(literal 2 binary64)) (cos.f64 (/.f64 K #s(literal 2 binary64))))) (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) U)))
(*.f64 (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 #s(literal -2 binary64) U)) (hypot.f64 #s(literal 1 binary64) (/.f64 (/.f64 J (*.f64 #s(literal 2 binary64) U)) (cos.f64 (/.f64 K #s(literal 2 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 U #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 K (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 U #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 U #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 K (*.f64 (*.f64 J #s(literal 2 binary64)) (cos.f64 (/.f64 U #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 U #s(literal 2 binary64)))) (hypot.f64 #s(literal 1 binary64) (/.f64 K (*.f64 #s(literal 2 binary64) (*.f64 J (cos.f64 (/.f64 U #s(literal 2 binary64))))))))
(*.f64 #s(literal -2 binary64) (*.f64 J (*.f64 (cos.f64 (/.f64 U #s(literal 2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 K (*.f64 J (*.f64 #s(literal 2 binary64) (cos.f64 (/.f64 U #s(literal 2 binary64))))))))))
(*.f64 (*.f64 #s(literal -2 binary64) J) (*.f64 (cos.f64 (*.f64 U #s(literal 1/2 binary64))) (hypot.f64 #s(literal 1 binary64) (/.f64 K (*.f64 J (*.f64 #s(literal 2 binary64) (cos.f64 (*.f64 U #s(literal 1/2 binary64)))))))))
Symmetry

(abs K)

(abs U)

(negabs J)

Compiler

Compiled 27 to 17 computations (37% saved)

eval1.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune38.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
77.2%
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
Compiler

Compiled 54 to 34 computations (37% saved)

simplify24.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative
1-exp
+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02488
13588
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
Outputs
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (*.f64 #s(literal 2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64))))) #s(literal 2 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) J) (cos.f64 (/.f64 K #s(literal 2 binary64)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 U (*.f64 (cos.f64 (/.f64 K #s(literal 2 binary64))) (*.f64 J #s(literal 2 binary64)))) #s(literal 2 binary64)))))

soundness2.0ms (0%)

Stop Event
fuel
Compiler

Compiled 27 to 17 computations (37% saved)

preprocess309.0ms (0.4%)

Remove

(negabs J)

(abs U)

(abs K)

Compiler

Compiled 432 to 272 computations (37% saved)

end0.0ms (0%)

Profiling

Loading profile data...