sintan (problem 3.4.5)

Time bar (total: 43.8s)

analyze555.0ms (1.3%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%49.9%50.1%0%0%0%0
0%0%49.9%50.1%0%0%0%1
0%0%49.9%50.1%0%0%0%2
0%0%49.9%50.1%0%0%0%3
0%0%49.9%50.1%0%0%0%4
0%0%49.9%50.1%0%0%0%5
0%0%49.9%50.1%0%0%0%6
0%0%49.9%50.1%0%0%0%7
0%0%49.9%50.1%0%0%0%8
0%0%49.9%50.1%0%0%0%9
0%0%49.9%50.1%0%0%0%10
0%0%49.9%50.1%0%0%0%11
0%0%49.9%50.1%0%0%0%12
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample43.1s (98.4%)

Results
7.2s4123×2valid
197.0ms3732×2valid-sollya
1.2s2676×1valid
141.0ms2674×1valid-sollya
2.0s1359×3valid
46.0ms887×3valid-sollya
35.0ms472×3exit-sollya
23.0ms391×2exit-sollya
8.0ms98×0valid-sollya
16.0ms98×0valid
5.0ms1exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(1.3913397830375527e-281)-0.5(-inf.0 0.0)+nan.0validexit30.06307#f
(-2.291248785683314e-275)-0.5(-inf.0 0.0)+nan.0validexit30.088243#f
(3.1400208565839423e-271)-0.5(-inf.0 0.0)+nan.0validexit30.040691#f
(-4.1093835873154515e-247)-0.5(-inf.0 0.0)+nan.0validexit20.041582999999999995#f
(7.392341048714803e-239)-0.5(-inf.0 0.0)+nan.0validexit20.039783#f
(3.3494131402946983e-246)-0.5(-inf.0 0.0)+nan.0validexit20.039255000000000005#f
(-2.9335053761137103e-308)-0.5(-inf.0 0.0)+nan.0validexit30.042467#f
(-4.4620560815906345e-208)-0.5(-inf.0 0.0)+nan.0validexit20.076202#f
(-3.344470779173591e-236)-0.5(-inf.0 0.0)+nan.0validexit20.042948#f
(-7.834781028510947e-261)-0.5(-inf.0 0.0)+nan.0validexit20.06730599999999999#f
(-6.84146599359675e-292)-0.5(-inf.0 0.0)+nan.0validexit30.041066000000000005#f
(8.859770727119462e-239)-0.5(-inf.0 0.0)+nan.0validexit20.11192999999999999#f
(1.0791228311455145e-296)-0.5(-inf.0 0.0)+nan.0validexit30.039043#f
(-2.678984465183271e-234)-0.5(-inf.0 0.0)+nan.0validexit20.040172#f
(6.997021079002918e-274)-0.5(-inf.0 0.0)+nan.0validexit30.062601#f
(-9.677195095760136e-309)-0.5(-inf.0 0.0)+nan.0validexit30.040324#f
(7.03037496354179e-227)-0.5(-inf.0 0.0)+nan.0validexit20.087158#f
(1.3021839672700163e-237)-0.5(-inf.0 0.0)+nan.0validexit20.07476500000000001#f
(-8.220817562561248e-282)-0.5(-inf.0 0.0)+nan.0validexit30.04031#f
(-2.048258696347932e-305)-0.5(-inf.0 0.0)+nan.0validexit30.039852#f
(-9.254181015749607e-213)-0.5(-inf.0 0.0)+nan.0validexit20.061173000000000005#f
(-1.3545895762112106e-279)-0.5(-inf.0 0.0)+nan.0validexit30.07291500000000001#f
(-1.5499875846969743e-216)-0.5(-inf.0 0.0)+nan.0validexit20.06543299999999999#f
(8.899130045888948e-288)-0.5(-inf.0 0.0)+nan.0validexit30.062098#f
(1.5446386124789867e-250)-0.5(-inf.0 0.0)+nan.0validexit20.06319499999999999#f
(-2.1442668834094981e-271)-0.5(-inf.0 0.0)+nan.0validexit30.041331#f
(-3.63163081801398e-257)-0.5(-inf.0 0.0)+nan.0validexit20.066196#f
(4.947137198985687e-235)-0.5(-inf.0 0.0)+nan.0validexit20.061408000000000004#f
(3.3453403675507427e-252)-0.5(-inf.0 0.0)+nan.0validexit20.060917#f
(-3.0310069599393787e-218)-0.5(-inf.0 0.0)+nan.0validexit20.13620200000000002#f
(-2.133709679161195e-240)-0.5(-inf.0 0.0)+nan.0validexit20.041932#f
(6.012077009456974e-261)-0.5(-inf.0 0.0)+nan.0validexit30.040419000000000004#f
(2.3341461298709462e-250)-0.5(-inf.0 0.0)+nan.0validexit20.038550999999999995#f
(2.6468591615547612e-198)-0.5(-inf.0 0.0)+nan.0validexit20.039888#f
(-5.210352334364871e-297)-0.5(-inf.0 0.0)+nan.0validexit30.04103#f
(-1.6876439286896233e-225)-0.5(-inf.0 0.0)+nan.0validexit20.040804#f
(1.8318591398307116e-290)-0.5(-inf.0 0.0)+nan.0validexit30.06418499999999999#f
(2.7366048759815498e-242)-0.5(-inf.0 0.0)+nan.0validexit20.060955999999999996#f
(-4.833877465908632e-296)-0.5(-inf.0 0.0)+nan.0validexit30.040894#f
(2.5321668189263673e-207)-0.5(-inf.0 0.0)+nan.0validexit20.041095#f
(4.122393157738725e-262)-0.5(-inf.0 0.0)+nan.0validexit30.062778#f
(-2.949195427021594e-254)-0.5(-inf.0 0.0)+nan.0validexit20.041709#f
(1.0533640410849301e-255)-0.5(-inf.0 0.0)+nan.0validexit20.060081999999999997#f
(-9.10203663433243e-230)-0.5(-inf.0 0.0)+nan.0validexit20.065152#f
(-1.2320942401245755e-287)-0.5(-inf.0 0.0)+nan.0validexit30.039887#f
(5.632776271730299e-259)-0.5(-inf.0 0.0)+nan.0validexit20.040019#f
(-3.0357065200181525e-280)-0.5(-inf.0 0.0)+nan.0validexit30.039145#f
(9.19473984713965e-306)-0.5(-inf.0 0.0)+nan.0validexit30.038716#f
(-1.0911975896497893e-232)-0.5(-inf.0 0.0)+nan.0validexit20.040123#f
(6.28704062870593e-275)-0.5(-inf.0 0.0)+nan.0validexit30.038130000000000004#f
(1.307848746463903e-238)-0.5(-inf.0 0.0)+nan.0validexit20.063525#f
(3.2102965350789734e-292)-0.5(-inf.0 0.0)+nan.0validexit30.039891#f
(3.6071507963078217e-277)-0.5(-inf.0 0.0)+nan.0validexit30.039195#f
(-3.6787398197930014e-248)-0.5(-inf.0 0.0)+nan.0validexit20.09536#f
(2.4954301374600467e-284)-0.5(-inf.0 0.0)+nan.0validexit30.063804#f
(1.747110600733194e-252)-0.5(-inf.0 0.0)+nan.0validexit20.039438#f
(1.3586784682020165e-300)-0.5(-inf.0 0.0)+nan.0validexit30.039532#f
(-3.757323489717737e-283)-0.5(-inf.0 0.0)+nan.0validexit30.06378199999999999#f
(-1.5843974112558051e-251)-0.5(-inf.0 0.0)+nan.0validexit20.040456#f
(9.255881436885217e-206)-0.5(-inf.0 0.0)+nan.0validexit20.039922#f
(9.447477779627556e-237)-0.5(-inf.0 0.0)+nan.0validexit20.037934#f
(-1.2816699030183743e-239)-0.5(-inf.0 0.0)+nan.0validexit20.064448#f
(-1.247711626823084e-303)-0.5(-inf.0 0.0)+nan.0validexit30.066966#f
(4.238055886951325e-245)-0.5(-inf.0 0.0)+nan.0validexit20.038912999999999996#f
(1.2305749866456224e-202)-0.5(-inf.0 0.0)+nan.0validexit20.041153999999999996#f
(-3.362372940515277e-297)-0.5(-inf.0 0.0)+nan.0validexit30.038435000000000004#f
(5.516274660111384e-270)-0.5(-inf.0 0.0)+nan.0validexit30.040442#f
(8.750910689211565e-303)-0.5(-inf.0 0.0)+nan.0validexit30.061253999999999996#f
(5.171557740991104e-256)-0.5(-inf.0 0.0)+nan.0validexit20.061327000000000007#f
(2.459722648484508e-225)-0.5(-inf.0 0.0)+nan.0validexit20.065877#f
(-1.4441253324101326e-240)-0.5(-inf.0 0.0)+nan.0validexit20.03992#f
(1.3136216772835144e-268)-0.5(-inf.0 0.0)+nan.0validexit30.039403#f
(-1.8116025955638408e-283)-0.5(-inf.0 0.0)+nan.0validexit30.040723999999999996#f
(-2.6284679995207825e-297)-0.5(-inf.0 0.0)+nan.0validexit30.064032#f
(-2.6966836710314474e-275)-0.5(-inf.0 0.0)+nan.0validexit30.041269#f
(-1.1788157966347422e-279)-0.5(-inf.0 0.0)+nan.0validexit30.040618999999999995#f
(2.381088610311082e-294)-0.5(-inf.0 0.0)+nan.0validexit30.09073400000000001#f
(3.74341057386451e-258)-0.5(-inf.0 0.0)+nan.0validexit20.038095#f
(-8.88500835972611e-234)-0.5(-inf.0 0.0)+nan.0validexit20.044369#f
(-1.6852188361698457e-241)-0.5(-inf.0 0.0)+nan.0validexit20.040651#f
(-1.0242643238296359e-292)-0.5(-inf.0 0.0)+nan.0validexit30.039244#f
(3.694350858590584e-306)-0.5(-inf.0 0.0)+nan.0validexit30.064803#f
(-9.500828613727278e-221)-0.5(-inf.0 0.0)+nan.0validexit20.08417100000000001#f
(-5.841739900401838e-306)-0.5(-inf.0 0.0)+nan.0validexit30.040562#f
(3.3719738736018893e-246)-0.5(-inf.0 0.0)+nan.0validexit20.03987#f
(1.1543262236011013e-272)-0.5(-inf.0 0.0)+nan.0validexit30.034909#f
(3.891681195498173e-241)-0.5(-inf.0 0.0)+nan.0validexit20.038666#f
(-1.6509283954587658e-248)-0.5(-inf.0 0.0)+nan.0validexit20.063379#f
(-6.131257814489538e-277)-0.5(-inf.0 0.0)+nan.0validexit30.043472#f
(-2.9252474807927945e-211)-0.5(-inf.0 0.0)+nan.0validexit20.083616#f
(1.491303015932306e-293)-0.5(-inf.0 0.0)+nan.0validexit30.06844700000000001#f
(-6.219419747041508e-222)-0.5(-inf.0 0.0)+nan.0validexit20.089852#f
(1.4437878041858358e-301)-0.5(-inf.0 0.0)+nan.0validexit30.039046#f
(3.626459068175123e-283)-0.5(-inf.0 0.0)+nan.0validexit30.038711999999999996#f
(-2.9758330724265285e-292)-0.5(-inf.0 0.0)+nan.0validexit30.041814000000000004#f
(-2.2215430826913597e-239)-0.5(-inf.0 0.0)+nan.0validexit20.049069#f
(-1.1587227264098402e-201)-0.5(-inf.0 0.0)+nan.0validexit20.065319#f
(1.0132468539460032e-282)-0.5(-inf.0 0.0)+nan.0validexit30.038775000000000004#f
(1.017914068016104e-247)-0.5(-inf.0 0.0)+nan.0validexit20.039799999999999995#f
(1.1707334835733645e-235)-0.5(-inf.0 0.0)+nan.0validexit20.039283000000000005#f
(3.9008340836652727e-236)-0.5(-inf.0 0.0)+nan.0validexit20.038175#f
(5.3868859552446596e-241)-0.5(-inf.0 0.0)+nan.0validexit20.038828999999999995#f
(-9.55235536955985e-258)-0.5(-inf.0 0.0)+nan.0validexit20.074353#f
(-2.537191720697184e-252)-0.5(-inf.0 0.0)+nan.0validexit20.040554#f
(1.4053459822071971e-239)-0.5(-inf.0 0.0)+nan.0validexit20.041642#f
(-1.3056352744504e-264)-0.5(-inf.0 0.0)+nan.0validexit30.040977#f
(1.4671312756256815e-265)-0.5(-inf.0 0.0)+nan.0validexit30.041571#f
(2.1204919943367558e-290)-0.5(-inf.0 0.0)+nan.0validexit30.037465#f
(-2.6729954775395734e-294)-0.5(-inf.0 0.0)+nan.0validexit30.038485#f
(8.659326566294083e-256)-0.5(-inf.0 0.0)+nan.0validexit20.039801#f
(-1.7034245390386007e-252)-0.5(-inf.0 0.0)+nan.0validexit20.090115#f
(-6.020563465297223e-249)-0.5(-inf.0 0.0)+nan.0validexit20.06397800000000001#f
(1.7277099175141252e-205)-0.5(-inf.0 0.0)+nan.0validexit20.055406#f
(-1.1636681112024878e-266)-0.5(-inf.0 0.0)+nan.0validexit30.095265#f
(-8.049778434839298e-242)-0.5(-inf.0 0.0)+nan.0validexit20.063736#f
(-1.345893097083993e-298)-0.5(-inf.0 0.0)+nan.0validexit30.06465399999999999#f
(-3.1441653845675395e-241)-0.5(-inf.0 0.0)+nan.0validexit20.061340000000000006#f
(-1.0943740311882365e-262)-0.5(-inf.0 0.0)+nan.0validexit30.064583#f
(1.9226491423125005e-295)-0.5(-inf.0 0.0)+nan.0validexit30.03972199999999999#f
(-5.031931288186105e-304)-0.5(-inf.0 0.0)+nan.0validexit30.042587#f
(1.4330170435223908e-199)-0.5(-inf.0 0.0)+nan.0validexit20.040274000000000004#f
(-3.0396283584034425e-248)-0.5(-inf.0 0.0)+nan.0validexit20.040471#f
(1.0090836603421681e-224)-0.5(-inf.0 0.0)+nan.0validexit20.060598#f
(1.2776806375440023e-243)-0.5(-inf.0 0.0)+nan.0validexit20.039466#f
(1.755238724658646e-301)-0.5(-inf.0 0.0)+nan.0validexit30.040003000000000004#f
(-8.295402563484818e-283)-0.5(-inf.0 0.0)+nan.0validexit30.080862#f
(-9.126985767629454e-247)-0.5(-inf.0 0.0)+nan.0validexit20.041206#f
(1.1740419420457274e-257)-0.5(-inf.0 0.0)+nan.0validexit20.039261000000000004#f
(1.5263511108822915e-266)-0.5(-inf.0 0.0)+nan.0validexit30.040188#f
(1.2851794706409814e-292)-0.5(-inf.0 0.0)+nan.0validexit30.07705000000000001#f
(-8.229659946443766e-275)-0.5(-inf.0 0.0)+nan.0validexit30.0422#f
(4.112071161153284e-276)-0.5(-inf.0 0.0)+nan.0validexit30.039527#f
(7.634392390506447e-300)-0.5(-inf.0 0.0)+nan.0validexit30.054676#f
(1.8558523959137324e-269)-0.5(-inf.0 0.0)+nan.0validexit30.039188#f
(2.4274176261476855e-235)-0.5(-inf.0 0.0)+nan.0validexit20.067256#f
(5.9421046826447465e-307)-0.5(-inf.0 0.0)+nan.0validexit30.038744#f
(-1.4660875124815325e-263)-0.5(-inf.0 0.0)+nan.0validexit30.040615000000000005#f
(-1.529121873985734e-300)-0.5(-inf.0 0.0)+nan.0validexit30.040584999999999996#f
(2.743851706965903e-236)-0.5(-inf.0 0.0)+nan.0validexit20.076074#f
(-4.095802420364512e-298)-0.5(-inf.0 0.0)+nan.0validexit30.067291#f
(-2.5000963535757347e-259)-0.5(-inf.0 0.0)+nan.0validexit20.106116#f
(4.438567889368663e-263)-0.5(-inf.0 0.0)+nan.0validexit30.064067#f
(-1.9979360661966155e-225)-0.5(-inf.0 0.0)+nan.0validexit20.073804#f
(5.365456327620004e-234)-0.5(-inf.0 0.0)+nan.0validexit20.055843000000000004#f
(-1.3894252177446535e-265)-0.5(-inf.0 0.0)+nan.0validexit30.040913#f
(-2.8023047025746917e-239)-0.5(-inf.0 0.0)+nan.0validexit20.041721#f
(-7.676112845516046e-272)-0.5(-inf.0 0.0)+nan.0validexit30.041764#f
(-5.437493435019719e-285)-0.5(-inf.0 0.0)+nan.0validexit30.041134000000000004#f
(5.100432610719616e-308)-0.5(-inf.0 0.0)+nan.0validexit30.040527#f
(-6.337882602115297e-275)-0.5(-inf.0 0.0)+nan.0validexit30.040631#f
(-3.908516475730635e-207)-0.5(-inf.0 0.0)+nan.0validexit20.093862#f
(-5.7084861091125195e-255)-0.5(-inf.0 0.0)+nan.0validexit20.041302#f
(-1.296541793833018e-270)-0.5(-inf.0 0.0)+nan.0validexit30.06679600000000001#f
(4.301404830944232e-240)-0.5(-inf.0 0.0)+nan.0validexit20.040361#f
(-8.883705883564366e-269)-0.5(-inf.0 0.0)+nan.0validexit30.040742#f
(2.2995012026624865e-284)-0.5(-inf.0 0.0)+nan.0validexit30.038809#f
(-8.479554398124167e-231)-0.5(-inf.0 0.0)+nan.0validexit20.041019#f
(-1.5040797129742862e-231)-0.5(-inf.0 0.0)+nan.0validexit20.0779#f
(-1.7792642687965581e-304)-0.5(-inf.0 0.0)+nan.0validexit30.039569#f
(-5.214612755354611e-227)-0.5(-inf.0 0.0)+nan.0validexit20.055366#f
(-1.4616203513314045e-223)-0.5(-inf.0 0.0)+nan.0validexit20.069522#f
(-1.8583842149328893e-269)-0.5(-inf.0 0.0)+nan.0validexit30.042255#f
(1.880733470897537e-294)-0.5(-inf.0 0.0)+nan.0validexit30.041287#f
(-1.1113924487647974e-268)-0.5(-inf.0 0.0)+nan.0validexit30.040161999999999996#f
(-1.1981779922389649e-295)-0.5(-inf.0 0.0)+nan.0validexit30.041734#f
(8.113379297194184e-197)-0.5(-inf.0 0.0)+nan.0validexit20.038756#f
(1.8440554959592989e-295)-0.5(-inf.0 0.0)+nan.0validexit30.039396#f
(6.272030662261132e-152)-0.5(-inf.0 0.0)+nan.0validexit20.038946999999999996#f
(-1.305445885755377e-261)-0.5(-inf.0 0.0)+nan.0validexit30.039768000000000005#f
(1.8309153021139052e-274)-0.5(-inf.0 0.0)+nan.0validexit30.075448#f
(-1.55945003309493e-239)-0.5(-inf.0 0.0)+nan.0validexit20.040707999999999994#f
(7.437456805916612e-233)-0.5(-inf.0 0.0)+nan.0validexit20.059645000000000004#f
(1.5591132787491818e-264)-0.5(-inf.0 0.0)+nan.0validexit30.038725#f
(4.1446416009752086e-300)-0.5(-inf.0 0.0)+nan.0validexit30.06335500000000001#f
(5.345478842013124e-280)-0.5(-inf.0 0.0)+nan.0validexit30.039068#f
(9.9586007732804e-215)-0.5(-inf.0 0.0)+nan.0validexit20.120895#f
(7.048121408037324e-243)-0.5(-inf.0 0.0)+nan.0validexit20.063781#f
(-1.6924417589270714e-259)-0.5(-inf.0 0.0)+nan.0validexit20.040812999999999995#f
(8.119345846879582e-278)-0.5(-inf.0 0.0)+nan.0validexit30.06458900000000001#f
(4.448530481988544e-245)-0.5(-inf.0 0.0)+nan.0validexit20.040319#f
(4.7530953437098163e-265)-0.5(-inf.0 0.0)+nan.0validexit30.078166#f
(6.722381775452332e-241)-0.5(-inf.0 0.0)+nan.0validexit20.07231#f
(2.9131556710212732e-267)-0.5(-inf.0 0.0)+nan.0validexit30.038902#f
(5.50811729279814e-270)-0.5(-inf.0 0.0)+nan.0validexit30.060940999999999995#f
(9.175265577565955e-158)-0.5(-inf.0 0.0)+nan.0validexit20.06185999999999999#f
(-2.698447394448435e-221)-0.5(-inf.0 0.0)+nan.0validexit20.07295#f
(-2.198643017476633e-271)-0.5(-inf.0 0.0)+nan.0validexit30.046153#f
(1.4133960182393473e-297)-0.5(-inf.0 0.0)+nan.0validexit30.040721#f
(-5.833254961188646e-252)-0.5(-inf.0 0.0)+nan.0validexit20.040449#f
(-2.603706595263783e-288)-0.5(-inf.0 0.0)+nan.0validexit30.041262#f
(-7.071380898500807e-288)-0.5(-inf.0 0.0)+nan.0validexit30.07028#f
(-2.2824626272682712e-306)-0.5(-inf.0 0.0)+nan.0validexit30.03995#f
(1.9625507140754952e-258)-0.5(-inf.0 0.0)+nan.0validexit20.036205#f
(-6.19962315395614e-277)-0.5(-inf.0 0.0)+nan.0validexit30.040330000000000005#f
(-1.3856410941849098e-288)-0.5(-inf.0 0.0)+nan.0validexit30.06322#f
(-1.839475083819162e-262)-0.5(-inf.0 0.0)+nan.0validexit30.04139#f
(-4.808737236287261e-276)-0.5(-inf.0 0.0)+nan.0validexit30.041907#f
(5.562276422119326e-254)-0.5(-inf.0 0.0)+nan.0validexit20.039332#f
(-1.0867067853502659e-252)-0.5(-inf.0 0.0)+nan.0validexit20.040059#f
(-8.318070332868736e-262)-0.5(-inf.0 0.0)+nan.0validexit30.092538#f
(4.793033606896385e-282)-0.5(-inf.0 0.0)+nan.0validexit30.060966#f
(4.1623362707114303e-247)-0.5(-inf.0 0.0)+nan.0validexit20.039214#f
(1.969423811776439e-265)-0.5(-inf.0 0.0)+nan.0validexit30.03908#f
(1.331695641796998e-295)-0.5(-inf.0 0.0)+nan.0validexit30.040546#f
(-7.2220190839233115e-255)-0.5(-inf.0 0.0)+nan.0validexit20.041374#f
(2.5949474794662433e-276)-0.5(-inf.0 0.0)+nan.0validexit30.041060000000000006#f
(8.407171097607047e-245)-0.5(-inf.0 0.0)+nan.0validexit20.062653#f
(1.1529665516533167e-280)-0.5(-inf.0 0.0)+nan.0validexit30.039001#f
(-3.548874888190576e-227)-0.5(-inf.0 0.0)+nan.0validexit20.066032#f
(7.807133921569406e-304)-0.5(-inf.0 0.0)+nan.0validexit30.040928#f
(1.3603936706564202e-233)-0.5(-inf.0 0.0)+nan.0validexit20.039592#f
(2.426401865396349e-270)-0.5(-inf.0 0.0)+nan.0validexit30.039352#f
(1.659596388184377e-259)-0.5(-inf.0 0.0)+nan.0validexit20.038611#f
(-8.999182318977386e-273)-0.5(-inf.0 0.0)+nan.0validexit30.037784000000000005#f
(2.6847295514624274e-236)-0.5(-inf.0 0.0)+nan.0validexit20.040683000000000004#f
(-4.009958136258274e-299)-0.5(-inf.0 0.0)+nan.0validexit30.057627000000000005#f
(3.0632542073173185e-247)-0.5(-inf.0 0.0)+nan.0validexit20.038564#f
(1.9332199673198882e-297)-0.5(-inf.0 0.0)+nan.0validexit30.038486#f
(2.7006615879472732e-266)-0.5(-inf.0 0.0)+nan.0validexit30.038533#f
(7.061460723877958e-236)-0.5(-inf.0 0.0)+nan.0validexit20.038904#f
(2.0691695553168904e-265)-0.5(-inf.0 0.0)+nan.0validexit30.039198#f
(-5.814904144818073e-293)-0.5(-inf.0 0.0)+nan.0validexit30.039731#f
(2.05420464631848e-274)-0.5(-inf.0 0.0)+nan.0validexit30.04139#f
(-3.7047836869974373e-270)-0.5(-inf.0 0.0)+nan.0validexit30.041241#f
(-6.4591359935518626e-285)-0.5(-inf.0 0.0)+nan.0validexit30.041289#f
(3.5089339555860386e-268)-0.5(-inf.0 0.0)+nan.0validexit30.038121#f
(3.545035315231783e-232)-0.5(-inf.0 0.0)+nan.0validexit20.040239#f
(1.9781091234800237e-305)-0.5(-inf.0 0.0)+nan.0validexit30.037534#f
(-2.717556590275282e-253)-0.5(-inf.0 0.0)+nan.0validexit20.039273999999999996#f
(6.379791487612494e-260)-0.5(-inf.0 0.0)+nan.0validexit20.068066#f
(9.606267350949034e-263)-0.5(-inf.0 0.0)+nan.0validexit30.037999#f
(1.1687971602341386e-278)-0.5(-inf.0 0.0)+nan.0validexit30.037742#f
(-9.476788500483439e-304)-0.5(-inf.0 0.0)+nan.0validexit30.04289#f
(5.425537851407002e-271)-0.5(-inf.0 0.0)+nan.0validexit30.039477#f
(6.429035873771668e-282)-0.5(-inf.0 0.0)+nan.0validexit30.037999#f
(-1.891773010781326e-268)-0.5(-inf.0 0.0)+nan.0validexit30.06453400000000001#f
(3.01715934878914e-301)-0.5(-inf.0 0.0)+nan.0validexit30.054033000000000005#f
(-1.5534889224279328e-263)-0.5(-inf.0 0.0)+nan.0validexit30.040604#f
(6.35300730342591e-263)-0.5(-inf.0 0.0)+nan.0validexit30.053748000000000004#f
(2.511449842256889e-218)-0.5(-inf.0 0.0)+nan.0validexit20.066249#f
(-2.174988308008003e-237)-0.5(-inf.0 0.0)+nan.0validexit20.063471#f
(-1.9018461542923085e-242)-0.5(-inf.0 0.0)+nan.0validexit20.070734#f
(1.5688779796562922e-305)-0.5(-inf.0 0.0)+nan.0validexit30.06219#f
(-1.0023524806732577e-230)-0.5(-inf.0 0.0)+nan.0validexit20.040068000000000006#f
(-7.621333903114261e-268)-0.5(-inf.0 0.0)+nan.0validexit30.054493#f
(-2.412484935956617e-285)-0.5(-inf.0 0.0)+nan.0validexit30.039592999999999996#f
(-1.2361148511813473e-216)-0.5(-inf.0 0.0)+nan.0validexit20.054511#f
(5.1104548749616674e-269)-0.5(-inf.0 0.0)+nan.0validexit30.041562#f
(-2.8096288826893427e-273)-0.5(-inf.0 0.0)+nan.0validexit30.040436#f
(-2.5377687160956862e-287)-0.5(-inf.0 0.0)+nan.0validexit30.042977#f
(-5.072202532984624e-271)-0.5(-inf.0 0.0)+nan.0validexit30.07142#f
(-5.614478304283747e-197)-0.5(-inf.0 0.0)+nan.0validexit20.137045#f
(-6.369829992420189e-223)-0.5(-inf.0 0.0)+nan.0validexit20.083984#f
(-7.55994788002237e-243)-0.5(-inf.0 0.0)+nan.0validexit20.041196#f
(6.922275848280893e-271)-0.5(-inf.0 0.0)+nan.0validexit30.06679600000000001#f
(4.418636281449483e-261)-0.5(-inf.0 0.0)+nan.0validexit30.039084#f
(1.126555247044138e-231)-0.5(-inf.0 0.0)+nan.0validexit20.06845499999999999#f
(3.9022269819386123e-209)-0.5(-inf.0 0.0)+nan.0validexit20.061073#f
(7.067256234126616e-246)-0.5(-inf.0 0.0)+nan.0validexit20.07070499999999999#f
(-3.6951564289441846e-259)-0.5(-inf.0 0.0)+nan.0validexit20.067021#f
(-4.831420475170521e-251)-0.5(-inf.0 0.0)+nan.0validexit20.040253000000000004#f
(-1.2957834897873318e-248)-0.5(-inf.0 0.0)+nan.0validexit20.039529#f
(-1.5837043938673524e-298)-0.5(-inf.0 0.0)+nan.0validexit30.064161#f
(-1.8127401215105496e-300)-0.5(-inf.0 0.0)+nan.0validexit30.039544#f
(-4.936138738006964e-263)-0.5(-inf.0 0.0)+nan.0validexit30.065107#f
(-2.0257500009272556e-288)-0.5(-inf.0 0.0)+nan.0validexit30.07653700000000001#f
(5.987991471347357e-298)-0.5(-inf.0 0.0)+nan.0validexit30.061675999999999995#f
(-3.5811240432976173e-258)-0.5(-inf.0 0.0)+nan.0validexit20.079388#f
(-1.437910274082808e-280)-0.5(-inf.0 0.0)+nan.0validexit30.077523#f
(-1.8995836043790488e-254)-0.5(-inf.0 0.0)+nan.0validexit20.064278#f
(-1.104653052407504e-245)-0.5(-inf.0 0.0)+nan.0validexit20.09344300000000001#f
(2.7697898354435554e-249)-0.5(-inf.0 0.0)+nan.0validexit20.045725#f
(-1.060300097376271e-212)-0.5(-inf.0 0.0)+nan.0validexit20.06408599999999999#f
(-3.1001420462606365e-264)-0.5(-inf.0 0.0)+nan.0validexit30.041073#f
(-2.6221585890192248e-239)-0.5(-inf.0 0.0)+nan.0validexit20.066052#f
(1.3772816515777322e-274)-0.5(-inf.0 0.0)+nan.0validexit30.07666899999999999#f
(1.0560100720073308e-280)-0.5(-inf.0 0.0)+nan.0validexit30.038664000000000004#f
(5.092492116584783e-244)-0.5(-inf.0 0.0)+nan.0validexit20.06187#f
(-1.4918481107816436e-259)-0.5(-inf.0 0.0)+nan.0validexit20.080647#f
(-7.602047365327902e-273)-0.5(-inf.0 0.0)+nan.0validexit30.063371#f
(-3.6667119782089024e-240)-0.5(-inf.0 0.0)+nan.0validexit20.040989#f
(1.537552780584197e-231)-0.5(-inf.0 0.0)+nan.0validexit20.049885#f
(2.422857358330392e-292)-0.5(-inf.0 0.0)+nan.0validexit30.03981#f
(7.0196987679542566e-270)-0.5(-inf.0 0.0)+nan.0validexit30.040238#f
(-3.081158852582576e-247)-0.5(-inf.0 0.0)+nan.0validexit20.044902#f
(8.388452465052945e-243)-0.5(-inf.0 0.0)+nan.0validexit20.086808#f
(-3.522248809523213e-287)-0.5(-inf.0 0.0)+nan.0validexit30.040426000000000004#f
(1.7635745068926767e-231)-0.5(-inf.0 0.0)+nan.0validexit20.042276#f
(3.554822647062349e-230)-0.5(-inf.0 0.0)+nan.0validexit20.039717#f
(1.2339682035831179e-238)-0.5(-inf.0 0.0)+nan.0validexit20.053811#f
(-3.647584511465153e-247)-0.5(-inf.0 0.0)+nan.0validexit20.040964#f
(-5.529878533127759e-307)-0.5(-inf.0 0.0)+nan.0validexit30.055821#f
(1.4619489387071724e-240)-0.5(-inf.0 0.0)+nan.0validexit20.07466099999999999#f
(1.3337023083486774e-294)-0.5(-inf.0 0.0)+nan.0validexit30.065586#f
(1.1761243442779316e-288)-0.5(-inf.0 0.0)+nan.0validexit30.038567#f
(-1.5099618089241837e-259)-0.5(-inf.0 0.0)+nan.0validexit20.07341#f
(2.0501138820040838e-300)-0.5(-inf.0 0.0)+nan.0validexit30.039317000000000005#f
(3.440605406773514e-294)-0.5(-inf.0 0.0)+nan.0validexit30.03995#f
(-2.4956088068468384e-249)-0.5(-inf.0 0.0)+nan.0validexit20.040935#f
(1.206196462188345e-282)-0.5(-inf.0 0.0)+nan.0validexit30.039111#f
(-1.501721375541548e-193)-0.5(-inf.0 0.0)+nan.0validexit20.067651#f
(1.8489115110944221e-301)-0.5(-inf.0 0.0)+nan.0validexit30.063944#f
(-8.84182542288861e-275)-0.5(-inf.0 0.0)+nan.0validexit30.064276#f
(6.727031832029131e-302)-0.5(-inf.0 0.0)+nan.0validexit30.04164#f
(-4.7579571575762364e-278)-0.5(-inf.0 0.0)+nan.0validexit30.06488200000000001#f
(3.7101973644998495e-305)-0.5(-inf.0 0.0)+nan.0validexit30.058041#f
(-7.540168079090735e-294)-0.5(-inf.0 0.0)+nan.0validexit30.041264#f
(8.212371016632604e-272)-0.5(-inf.0 0.0)+nan.0validexit30.043164999999999995#f
(-1.9028355967860577e-297)-0.5(-inf.0 0.0)+nan.0validexit30.047484#f
(-1.3737948257031888e-265)-0.5(-inf.0 0.0)+nan.0validexit30.041953000000000004#f
(1.0429387585981064e-306)-0.5(-inf.0 0.0)+nan.0validexit30.038277#f
(-1.2767610537090766e-243)-0.5(-inf.0 0.0)+nan.0validexit20.040071999999999997#f
(1.7851782136206732e-254)-0.5(-inf.0 0.0)+nan.0validexit20.039624#f
(7.669941464808547e-268)-0.5(-inf.0 0.0)+nan.0validexit30.038906#f
(-1.1593800098655754e-223)-0.5(-inf.0 0.0)+nan.0validexit20.04062#f
(-5.0016508977041755e-256)-0.5(-inf.0 0.0)+nan.0validexit20.038142#f
(-1.1290471816572228e-202)-0.5(-inf.0 0.0)+nan.0validexit20.045561#f
(-2.889229889051012e-300)-0.5(-inf.0 0.0)+nan.0validexit30.069312#f
(-2.3413181234252874e-285)-0.5(-inf.0 0.0)+nan.0validexit30.04009#f
(6.604148339270803e-305)-0.5(-inf.0 0.0)+nan.0validexit30.042256#f
(-9.42876754974465e-280)-0.5(-inf.0 0.0)+nan.0validexit30.041597999999999996#f
(1.7580855957477237e-250)-0.5(-inf.0 0.0)+nan.0validexit20.039731999999999996#f
(7.534167520373422e-260)-0.5(-inf.0 0.0)+nan.0validexit20.040295#f
(-8.50995565792527e-288)-0.5(-inf.0 0.0)+nan.0validexit30.06813300000000001#f
(6.430811049920247e-252)-0.5(-inf.0 0.0)+nan.0validexit20.038003#f
(-6.723147202778282e-282)-0.5(-inf.0 0.0)+nan.0validexit30.055635#f
(6.669598213161294e-301)-0.5(-inf.0 0.0)+nan.0validexit30.116646#f
(2.6423618541184377e-291)-0.5(-inf.0 0.0)+nan.0validexit30.06766399999999999#f
(2.2357615913521886e-270)-0.5(-inf.0 0.0)+nan.0validexit30.044886999999999996#f
(-3.6702814618051373e-274)-0.5(-inf.0 0.0)+nan.0validexit30.069755#f
(-4.6333285096927216e-231)-0.5(-inf.0 0.0)+nan.0validexit20.065062#f
(-1.7451570122618928e-233)-0.5(-inf.0 0.0)+nan.0validexit20.041001#f
(-6.605253859828676e-294)-0.5(-inf.0 0.0)+nan.0validexit30.042796999999999995#f
(2.425089361917527e-299)-0.5(-inf.0 0.0)+nan.0validexit30.040722#f
(-7.8096622803861e-235)-0.5(-inf.0 0.0)+nan.0validexit20.040855#f
(-5.539389364107714e-253)-0.5(-inf.0 0.0)+nan.0validexit20.040828#f
(-3.988181076511723e-304)-0.5(-inf.0 0.0)+nan.0validexit30.042166999999999996#f
(1.967216217535722e-204)-0.5(-inf.0 0.0)+nan.0validexit20.046086#f
(1.586321021096935e-284)-0.5(-inf.0 0.0)+nan.0validexit30.063595#f
(-7.179197112998865e-260)-0.5(-inf.0 0.0)+nan.0validexit20.06420000000000001#f
(-6.292584226813443e-234)-0.5(-inf.0 0.0)+nan.0validexit20.084956#f
(1.3109064292735946e-285)-0.5(-inf.0 0.0)+nan.0validexit30.061882#f
(-8.567138714863773e-270)-0.5(-inf.0 0.0)+nan.0validexit30.070391#f
(6.726921160691616e-244)-0.5(-inf.0 0.0)+nan.0validexit20.038849#f
(1.4495614266679006e-257)-0.5(-inf.0 0.0)+nan.0validexit20.039063#f
(-2.598603824773172e-268)-0.5(-inf.0 0.0)+nan.0validexit30.041010000000000005#f
(-1.749881238451682e-211)-0.5(-inf.0 0.0)+nan.0validexit20.041687#f
(-6.1012336413224155e-297)-0.5(-inf.0 0.0)+nan.0validexit30.041865#f
(-5.228990394325382e-257)-0.5(-inf.0 0.0)+nan.0validexit20.039607#f
(1.202443673193194e-257)-0.5(-inf.0 0.0)+nan.0validexit20.037886#f
(-3.9544171215846933e-243)-0.5(-inf.0 0.0)+nan.0validexit20.041406000000000005#f
(-3.756580899063847e-263)-0.5(-inf.0 0.0)+nan.0validexit30.043733#f
(-1.8139743019397768e-236)-0.5(-inf.0 0.0)+nan.0validexit20.040605#f
(4.1117828359508627e-255)-0.5(-inf.0 0.0)+nan.0validexit20.038338#f
(1.1135296762826098e-200)-0.5(-inf.0 0.0)+nan.0validexit20.04145#f
(-2.47265095386839e-269)-0.5(-inf.0 0.0)+nan.0validexit30.07642#f
(2.676574139196629e-289)-0.5(-inf.0 0.0)+nan.0validexit30.037614#f
(1.0260820485412941e-221)-0.5(-inf.0 0.0)+nan.0validexit20.12331500000000001#f
(5.588744574441187e-223)-0.5(-inf.0 0.0)+nan.0validexit20.041439000000000004#f
(-4.51138718953183e-297)-0.5(-inf.0 0.0)+nan.0validexit30.041954#f
(2.5379734333085495e-287)-0.5(-inf.0 0.0)+nan.0validexit30.067559#f
(3.4771766615179904e-212)-0.5(-inf.0 0.0)+nan.0validexit20.11745599999999999#f
(1.2902086677097255e-303)-0.5(-inf.0 0.0)+nan.0validexit30.040308000000000004#f
(-2.345185159681906e-242)-0.5(-inf.0 0.0)+nan.0validexit20.039399#f
(6.7479126773303e-258)-0.5(-inf.0 0.0)+nan.0validexit20.039347999999999994#f
(-1.6663624846815429e-270)-0.5(-inf.0 0.0)+nan.0validexit30.04117#f
(-7.811631251990625e-292)-0.5(-inf.0 0.0)+nan.0validexit30.039801#f
(-1.7814017639385827e-222)-0.5(-inf.0 0.0)+nan.0validexit20.072675#f
(-5.60558249547875e-299)-0.5(-inf.0 0.0)+nan.0validexit30.069948#f
(1.3275371646221314e-266)-0.5(-inf.0 0.0)+nan.0validexit30.078345#f
(-6.529034087395029e-259)-0.5(-inf.0 0.0)+nan.0validexit20.068662#f
(2.694329559112841e-224)-0.5(-inf.0 0.0)+nan.0validexit20.074889#f
(3.495536997957103e-153)-0.5(-inf.0 0.0)+nan.0validexit20.038847#f
(8.303803156271231e-224)-0.5(-inf.0 0.0)+nan.0validexit20.07768299999999999#f
(-1.542875247960031e-304)-0.5(-inf.0 0.0)+nan.0validexit30.06820999999999999#f
(2.5795796845779362e-222)-0.5(-inf.0 0.0)+nan.0validexit20.078507#f
(-5.907235824478711e-305)-0.5(-inf.0 0.0)+nan.0validexit30.068175#f
(1.3294395773577688e-272)-0.5(-inf.0 0.0)+nan.0validexit30.038702#f
(-4.295617006592288e-204)-0.5(-inf.0 0.0)+nan.0validexit20.041578000000000004#f
(2.725616846221406e-283)-0.5(-inf.0 0.0)+nan.0validexit30.075473#f
(-1.1287799219726427e-283)-0.5(-inf.0 0.0)+nan.0validexit30.041022#f
(-1.0248100200635457e-265)-0.5(-inf.0 0.0)+nan.0validexit30.06451100000000001#f
(6.879914760467034e-303)-0.5(-inf.0 0.0)+nan.0validexit30.045052#f
(-6.883813902268669e-251)-0.5(-inf.0 0.0)+nan.0validexit20.084888#f
(-5.951511726424798e-258)-0.5(-inf.0 0.0)+nan.0validexit20.054909#f
(5.489156899207405e-227)-0.5(-inf.0 0.0)+nan.0validexit20.059218999999999994#f
(-2.901113272897922e-245)-0.5(-inf.0 0.0)+nan.0validexit20.065444#f
(-4.473081752453025e-235)-0.5(-inf.0 0.0)+nan.0validexit20.065134#f
(-7.730751421444472e-303)-0.5(-inf.0 0.0)+nan.0validexit30.051817999999999996#f
(6.038736653634832e-273)-0.5(-inf.0 0.0)+nan.0validexit30.038037999999999995#f
(1.5679911341474467e-298)-0.5(-inf.0 0.0)+nan.0validexit30.046216#f
(1.8963105917623243e-263)-0.5(-inf.0 0.0)+nan.0validexit30.061401000000000004#f
(-2.6146268276254806e-291)-0.5(-inf.0 0.0)+nan.0validexit30.063655#f
(3.6519035347000837e-284)-0.5(-inf.0 0.0)+nan.0validexit30.038936#f
(4.3524715319468827e-250)-0.5(-inf.0 0.0)+nan.0validexit20.038627999999999996#f
(-6.800334887702074e-250)-0.5(-inf.0 0.0)+nan.0validexit20.044137#f
(2.001049812641274e-269)-0.5(-inf.0 0.0)+nan.0validexit30.039413#f
(-2.272549837720704e-240)-0.5(-inf.0 0.0)+nan.0validexit20.100757#f
(4.350777329498594e-269)-0.5(-inf.0 0.0)+nan.0validexit30.061153#f
(1.8691623500466376e-243)-0.5(-inf.0 0.0)+nan.0validexit20.043661#f
(2.5461163496824734e-214)-0.5(-inf.0 0.0)+nan.0validexit20.040278999999999995#f
(-8.262664294369177e-271)-0.5(-inf.0 0.0)+nan.0validexit30.071937#f
(-1.8802344494416324e-303)-0.5(-inf.0 0.0)+nan.0validexit30.041888#f
(1.2107585953183101e-269)-0.5(-inf.0 0.0)+nan.0validexit30.059942999999999996#f
(8.359676983019594e-249)-0.5(-inf.0 0.0)+nan.0validexit20.038969#f
(-1.4561205560623438e-304)-0.5(-inf.0 0.0)+nan.0validexit30.041155000000000004#f
(-7.86783023326008e-201)-0.5(-inf.0 0.0)+nan.0validexit20.04428#f
(-4.8200355102886577e-275)-0.5(-inf.0 0.0)+nan.0validexit30.055226000000000004#f
(-1.6147247418082316e-245)-0.5(-inf.0 0.0)+nan.0validexit20.073962#f
(4.1153551003092115e-266)-0.5(-inf.0 0.0)+nan.0validexit30.039345#f
(7.572834893984102e-290)-0.5(-inf.0 0.0)+nan.0validexit30.041544#f
(-1.0269337674414485e-287)-0.5(-inf.0 0.0)+nan.0validexit30.041116#f
(5.6792401019359e-205)-0.5(-inf.0 0.0)+nan.0validexit20.06454700000000001#f
(3.752579216022937e-266)-0.5(-inf.0 0.0)+nan.0validexit30.039669#f
(-5.107445700888766e-297)-0.5(-inf.0 0.0)+nan.0validexit30.040313#f
(-1.2423693748791724e-263)-0.5(-inf.0 0.0)+nan.0validexit30.089815#f
(-4.8766760953415575e-247)-0.5(-inf.0 0.0)+nan.0validexit20.040704000000000004#f
(3.99359805060424e-302)-0.5(-inf.0 0.0)+nan.0validexit30.03939#f
(1.931392597198509e-292)-0.5(-inf.0 0.0)+nan.0validexit30.063232#f
(-5.440918891065172e-233)-0.5(-inf.0 0.0)+nan.0validexit20.041173#f
(1.4526997973549596e-290)-0.5(-inf.0 0.0)+nan.0validexit30.03958#f
(1.463818117917799e-262)-0.5(-inf.0 0.0)+nan.0validexit30.044824#f
(-2.3645409689966064e-300)-0.5(-inf.0 0.0)+nan.0validexit30.040618999999999995#f
(6.042492800405719e-229)-0.5(-inf.0 0.0)+nan.0validexit20.061327000000000007#f
(5.672408793207792e-307)-0.5(-inf.0 0.0)+nan.0validexit30.060658000000000004#f
(2.2400738444120706e-246)-0.5(-inf.0 0.0)+nan.0validexit20.064471#f
(1.8890173164120757e-299)-0.5(-inf.0 0.0)+nan.0validexit30.062417999999999994#f
(7.70405993979783e-276)-0.5(-inf.0 0.0)+nan.0validexit30.039013#f
(1.0218929895322643e-226)-0.5(-inf.0 0.0)+nan.0validexit20.039753#f
(-2.7721768662190856e-283)-0.5(-inf.0 0.0)+nan.0validexit30.040612999999999996#f
(1.6831546087306384e-248)-0.5(-inf.0 0.0)+nan.0validexit20.057266#f
(-1.4076787221111137e-287)-0.5(-inf.0 0.0)+nan.0validexit30.053848#f
(-4.177347181105849e-307)-0.5(-inf.0 0.0)+nan.0validexit30.064694#f
(-9.018617448356494e-261)-0.5(-inf.0 0.0)+nan.0validexit30.062181999999999994#f
(-7.859746263160774e-258)-0.5(-inf.0 0.0)+nan.0validexit20.039931#f
(-3.3411290414841583e-265)-0.5(-inf.0 0.0)+nan.0validexit30.072618#f
(1.5553537524601067e-243)-0.5(-inf.0 0.0)+nan.0validexit20.061952999999999994#f
(-1.1871386977546335e-287)-0.5(-inf.0 0.0)+nan.0validexit30.040866#f
(-8.053584478308982e-297)-0.5(-inf.0 0.0)+nan.0validexit30.038622#f
(-8.817729046813069e-259)-0.5(-inf.0 0.0)+nan.0validexit20.041506#f
(3.942717974260524e-258)-0.5(-inf.0 0.0)+nan.0validexit20.039048000000000006#f
(-3.0410925819027813e-255)-0.5(-inf.0 0.0)+nan.0validexit20.042962#f
(7.586186523293586e-286)-0.5(-inf.0 0.0)+nan.0validexit30.132906#f
(1.1082935318288654e-248)-0.5(-inf.0 0.0)+nan.0validexit20.03958#f
(-3.191676882883521e-192)-0.5(-inf.0 0.0)+nan.0validexit20.040339#f
(-5.366022801084865e-304)-0.5(-inf.0 0.0)+nan.0validexit30.06565599999999999#f
(1.7134986457311153e-291)-0.5(-inf.0 0.0)+nan.0validexit30.053637000000000004#f
(-5.335414885394583e-289)-0.5(-inf.0 0.0)+nan.0validexit30.049879#f
(-7.874690664377979e-230)-0.5(-inf.0 0.0)+nan.0validexit20.149891#f
(-2.0135242388127795e-249)-0.5(-inf.0 0.0)+nan.0validexit20.069312#f
(-1.3883956506286573e-246)-0.5(-inf.0 0.0)+nan.0validexit20.039493#f
(-7.4539956042208e-294)-0.5(-inf.0 0.0)+nan.0validexit30.04399599999999999#f
(9.532091995599895e-284)-0.5(-inf.0 0.0)+nan.0validexit30.06719599999999999#f
(-1.4299759959446577e-259)-0.5(-inf.0 0.0)+nan.0validexit20.065027#f
(-7.269499412678626e-301)-0.5(-inf.0 0.0)+nan.0validexit30.040633999999999997#f
(4.393255143389103e-301)-0.5(-inf.0 0.0)+nan.0validexit30.040623#f
(1.834671929790629e-292)-0.5(-inf.0 0.0)+nan.0validexit30.07765799999999999#f
(1.9242700880171392e-293)-0.5(-inf.0 0.0)+nan.0validexit30.071231#f
(-1.8784982582344607e-193)-0.5(-inf.0 0.0)+nan.0validexit20.06428#f
(1.038314118013429e-308)-0.5(-inf.0 0.0)+nan.0validexit30.062459999999999995#f
(-1.871630821576105e-271)-0.5(-inf.0 0.0)+nan.0validexit30.066102#f
(-2.8835555019642473e-258)-0.5(-inf.0 0.0)+nan.0validexit20.063266#f
(-3.3041737872819966e-234)-0.5(-inf.0 0.0)+nan.0validexit20.066276#f
(2.659020576827131e-281)-0.5(-inf.0 0.0)+nan.0validexit30.059151999999999996#f
(-3.052790972665021e-248)-0.5(-inf.0 0.0)+nan.0validexit20.040561#f
(1.4425563987237856e-199)-0.5(-inf.0 0.0)+nan.0validexit20.040232#f
(1.0495425877787767e-268)-0.5(-inf.0 0.0)+nan.0validexit30.077944#f
(1.2498685899224382e-297)-0.5(-inf.0 0.0)+nan.0validexit30.039254#f
(-4.2890504089366394e-284)-0.5(-inf.0 0.0)+nan.0validexit30.083928#f
(6.684807699970551e-223)-0.5(-inf.0 0.0)+nan.0validexit20.082955#f
(-3.358138127533335e-233)-0.5(-inf.0 0.0)+nan.0validexit20.040979#f
(2.5155535756749404e-258)-0.5(-inf.0 0.0)+nan.0validexit20.039043#f
(-8.069414405145281e-271)-0.5(-inf.0 0.0)+nan.0validexit30.08094699999999999#f
(8.241321292254718e-291)-0.5(-inf.0 0.0)+nan.0validexit30.040103#f
(1.2267364489296427e-285)-0.5(-inf.0 0.0)+nan.0validexit30.042705#f
(-2.9752379631913945e-249)-0.5(-inf.0 0.0)+nan.0validexit20.045951#f
(-5.126446194242868e-242)-0.5(-inf.0 0.0)+nan.0validexit20.044087#f
(-2.327972760831905e-249)-0.5(-inf.0 0.0)+nan.0validexit20.038748000000000005#f
(-2.1249224747765066e-253)-0.5(-inf.0 0.0)+nan.0validexit20.068767#f
(1.3413025271896819e-294)-0.5(-inf.0 0.0)+nan.0validexit30.041100000000000005#f
(1.2378074138151136e-264)-0.5(-inf.0 0.0)+nan.0validexit30.06386399999999999#f
(-2.573194746064007e-256)-0.5(-inf.0 0.0)+nan.0validexit20.04245#f
(5.0293396625101425e-288)-0.5(-inf.0 0.0)+nan.0validexit30.03899#f
(5.515017475072817e-281)-0.5(-inf.0 0.0)+nan.0validexit30.038689#f
(-1.6027621637443018e-264)-0.5(-inf.0 0.0)+nan.0validexit30.041576999999999996#f
(1.989345774064802e-252)-0.5(-inf.0 0.0)+nan.0validexit20.040174#f
(-2.4445239721751934e-276)-0.5(-inf.0 0.0)+nan.0validexit30.075534#f
(-1.0946579029367466e-294)-0.5(-inf.0 0.0)+nan.0validexit30.048282000000000005#f
(3.033913422616392e-227)-0.5(-inf.0 0.0)+nan.0validexit20.052851#f
(-7.752036874401891e-240)-0.5(-inf.0 0.0)+nan.0validexit20.043203#f
(-5.015902855757013e-262)-0.5(-inf.0 0.0)+nan.0validexit30.040278#f
(7.270457107293352e-268)-0.5(-inf.0 0.0)+nan.0validexit30.07299#f
(-8.388872864415012e-232)-0.5(-inf.0 0.0)+nan.0validexit20.064694#f
(-7.02445648705367e-205)-0.5(-inf.0 0.0)+nan.0validexit20.095762#f
(-6.5617131879236555e-258)-0.5(-inf.0 0.0)+nan.0validexit20.040612999999999996#f
(-2.1094619082085188e-307)-0.5(-inf.0 0.0)+nan.0validexit30.040583#f
(4.9309497910342244e-241)-0.5(-inf.0 0.0)+nan.0validexit20.076777#f
(1.0651061022954028e-268)-0.5(-inf.0 0.0)+nan.0validexit30.03916#f
(-1.5152078532624206e-244)-0.5(-inf.0 0.0)+nan.0validexit20.046633#f
(1.42795243962355e-276)-0.5(-inf.0 0.0)+nan.0validexit30.038645#f
(-4.188621845932689e-260)-0.5(-inf.0 0.0)+nan.0validexit20.041019999999999994#f
(1.6210997736950438e-246)-0.5(-inf.0 0.0)+nan.0validexit20.061001#f
(-8.883719834941972e-264)-0.5(-inf.0 0.0)+nan.0validexit30.066357#f
(-4.3006080967876346e-290)-0.5(-inf.0 0.0)+nan.0validexit30.040985#f
(5.512665799487724e-267)-0.5(-inf.0 0.0)+nan.0validexit30.039164#f
(8.914509288226e-237)-0.5(-inf.0 0.0)+nan.0validexit20.039118#f
(2.402727283457206e-285)-0.5(-inf.0 0.0)+nan.0validexit30.06521099999999999#f
(1.2602567805703162e-237)-0.5(-inf.0 0.0)+nan.0validexit20.040713#f
(-2.8057507651727983e-240)-0.5(-inf.0 0.0)+nan.0validexit20.039942#f
(-1.9067549717975858e-283)-0.5(-inf.0 0.0)+nan.0validexit30.040451999999999995#f
(-3.0816562140083676e-260)-0.5(-inf.0 0.0)+nan.0validexit20.040438999999999996#f
(-3.752112744715388e-207)-0.5(-inf.0 0.0)+nan.0validexit20.07153899999999999#f
(4.0773094932604594e-257)-0.5(-inf.0 0.0)+nan.0validexit20.039831#f
(-1.0879422184743677e-239)-0.5(-inf.0 0.0)+nan.0validexit20.068913#f
(1.1553288386216652e-155)-0.5(-inf.0 0.0)+nan.0validexit20.063217#f
(2.4077101050115006e-241)-0.5(-inf.0 0.0)+nan.0validexit20.07001800000000001#f
(3.290610295267898e-263)-0.5(-inf.0 0.0)+nan.0validexit30.039923#f
(-3.722971749793628e-243)-0.5(-inf.0 0.0)+nan.0validexit20.042642#f
(-2.2381236092590006e-297)-0.5(-inf.0 0.0)+nan.0validexit30.042357#f
(2.797767996011218e-304)-0.5(-inf.0 0.0)+nan.0validexit30.040841999999999996#f
(-8.689264113270437e-281)-0.5(-inf.0 0.0)+nan.0validexit30.042120000000000005#f
(1.6322629695402628e-254)-0.5(-inf.0 0.0)+nan.0validexit20.039441#f
(2.7972055651764867e-276)-0.5(-inf.0 0.0)+nan.0validexit30.040413#f
(8.753759649004525e-261)-0.5(-inf.0 0.0)+nan.0validexit30.040267#f
(1.0166217376419868e-233)-0.5(-inf.0 0.0)+nan.0validexit20.064416#f
(-1.9237841828188336e-219)-0.5(-inf.0 0.0)+nan.0validexit20.07084#f
(-2.3222403170576195e-280)-0.5(-inf.0 0.0)+nan.0validexit30.040051#f
(-1.849306497503297e-300)-0.5(-inf.0 0.0)+nan.0validexit30.045887000000000004#f
(-6.996808251158147e-307)-0.5(-inf.0 0.0)+nan.0validexit30.043515#f
(-1.3650806753029526e-205)-0.5(-inf.0 0.0)+nan.0validexit20.048593#f
(2.923613528785647e-201)-0.5(-inf.0 0.0)+nan.0validexit20.065525#f
(-1.7925329255580872e-290)-0.5(-inf.0 0.0)+nan.0validexit30.037354000000000005#f
(-2.5307493067194693e-252)-0.5(-inf.0 0.0)+nan.0validexit20.094988#f
(-6.495304724091063e-304)-0.5(-inf.0 0.0)+nan.0validexit30.088837#f
(3.1739462704346476e-292)-0.5(-inf.0 0.0)+nan.0validexit30.059025#f
(7.92445435540865e-285)-0.5(-inf.0 0.0)+nan.0validexit30.039088000000000005#f
(7.509931790868065e-271)-0.5(-inf.0 0.0)+nan.0validexit30.066307#f
(5.481967670001464e-250)-0.5(-inf.0 0.0)+nan.0validexit20.061104000000000006#f
(-1.3614000508457001e-244)-0.5(-inf.0 0.0)+nan.0validexit20.07369500000000001#f
(-8.819940084284829e-269)-0.5(-inf.0 0.0)+nan.0validexit30.040447000000000004#f
(-1.645570434364429e-304)-0.5(-inf.0 0.0)+nan.0validexit30.046519#f
(1.0152622569482091e-206)-0.5(-inf.0 0.0)+nan.0validexit20.059106#f
(4.531175508650696e-278)-0.5(-inf.0 0.0)+nan.0validexit30.074412#f
(6.711322598296649e-214)-0.5(-inf.0 0.0)+nan.0validexit20.062046#f
(4.457742982490211e-265)-0.5(-inf.0 0.0)+nan.0validexit30.039370999999999996#f
(-2.0679084226055678e-299)-0.5(-inf.0 0.0)+nan.0validexit30.056119999999999996#f
(-4.4605959765528717e-241)-0.5(-inf.0 0.0)+nan.0validexit20.102119#f
(-4.557885309912016e-275)-0.5(-inf.0 0.0)+nan.0validexit30.04151#f
(-7.5727550682525855e-283)-0.5(-inf.0 0.0)+nan.0validexit30.040191000000000004#f
(2.134756701769691e-257)-0.5(-inf.0 0.0)+nan.0validexit20.038935#f
(-1.3904732690990739e-297)-0.5(-inf.0 0.0)+nan.0validexit30.066538#f
(-8.89155056363518e-294)-0.5(-inf.0 0.0)+nan.0validexit30.040586000000000004#f
(-6.936508907483119e-236)-0.5(-inf.0 0.0)+nan.0validexit20.039696#f
(-1.9428360945081052e-205)-0.5(-inf.0 0.0)+nan.0validexit20.041315#f
(3.35749513027246e-126)-0.5(-inf.0 0.0)+nan.0validexit20.037628#f
(-2.9673399034215656e-226)-0.5(-inf.0 0.0)+nan.0validexit20.040187#f
(1.081893702658975e-278)-0.5(-inf.0 0.0)+nan.0validexit30.06127200000000001#f
(-1.376460455135127e-73)-0.5(-inf.0 0.0)+nan.0validexit10.070548#f
(9.077478469671069e-206)-0.5(-inf.0 0.0)+nan.0validexit20.039285#f
(1.4467162024009657e-245)-0.5(-inf.0 0.0)+nan.0validexit20.049024#f
(1.246371701084332e-297)-0.5(-inf.0 0.0)+nan.0validexit30.038362#f
(-3.7381799854241423e-264)-0.5(-inf.0 0.0)+nan.0validexit30.067854#f
(-2.091186833927146e-268)-0.5(-inf.0 0.0)+nan.0validexit30.040259#f
(2.2806547768961626e-272)-0.5(-inf.0 0.0)+nan.0validexit30.051122999999999995#f
(-3.140196214078904e-198)-0.5(-inf.0 0.0)+nan.0validexit20.053704#f
(-8.933015042668783e-206)-0.5(-inf.0 0.0)+nan.0validexit20.044572#f
(-1.0185319324651025e-277)-0.5(-inf.0 0.0)+nan.0validexit30.06804#f
(3.164170094196501e-305)-0.5(-inf.0 0.0)+nan.0validexit30.043745#f
(3.9105197978198445e-307)-0.5(-inf.0 0.0)+nan.0validexit30.038940999999999996#f
(2.710807179461567e-275)-0.5(-inf.0 0.0)+nan.0validexit30.039765#f
(-5.152236330678787e-308)-0.5(-inf.0 0.0)+nan.0validexit30.042703#f
(-3.5687693855089688e-248)-0.5(-inf.0 0.0)+nan.0validexit20.042323#f
(-2.950854649220473e-230)-0.5(-inf.0 0.0)+nan.0validexit20.069136#f
(2.201154260409114e-296)-0.5(-inf.0 0.0)+nan.0validexit30.055623#f
(1.6586884861559693e-284)-0.5(-inf.0 0.0)+nan.0validexit30.039985#f
(-8.877253734740599e-240)-0.5(-inf.0 0.0)+nan.0validexit20.042161#f
(-1.5716964441997415e-256)-0.5(-inf.0 0.0)+nan.0validexit20.063289#f
(1.897692458482276e-246)-0.5(-inf.0 0.0)+nan.0validexit20.039248#f
(3.1483203933663657e-263)-0.5(-inf.0 0.0)+nan.0validexit30.055847#f
(-1.0127738754090778e-306)-0.5(+nan.0 +nan.0)+nan.0validexit35.0#f
(2.655330695820625e-232)-0.5(-inf.0 0.0)+nan.0validexit20.092627#f
(-9.15215935436823e-262)-0.5(-inf.0 0.0)+nan.0validexit30.063401#f
(-7.398536082423855e-146)-0.5(-inf.0 0.0)+nan.0validexit20.079528#f
(-1.0702908516611343e-238)-0.5(-inf.0 0.0)+nan.0validexit20.045273#f
(1.091881898282329e-306)-0.5(-inf.0 0.0)+nan.0validexit30.042985#f
(-1.8472069547139746e-271)-0.5(-inf.0 0.0)+nan.0validexit30.040666#f
(-8.371830133496056e-257)-0.5(-inf.0 0.0)+nan.0validexit20.061982#f
(-1.757259285062285e-298)-0.5(-inf.0 0.0)+nan.0validexit30.044376000000000006#f
(-1.4893251537057263e-205)-0.5(-inf.0 0.0)+nan.0validexit20.08781#f
(-4.677603151248543e-198)-0.5(-inf.0 0.0)+nan.0validexit20.09936400000000001#f
(-6.664554133437116e-296)-0.5(-inf.0 0.0)+nan.0validexit30.041599#f
(2.2988991263081613e-276)-0.5(-inf.0 0.0)+nan.0validexit30.078748#f
(-1.1608393277481742e-290)-0.5(-inf.0 0.0)+nan.0validexit30.065164#f
(1.9916035622988278e-265)-0.5(-inf.0 0.0)+nan.0validexit30.040361#f
(-2.0329183679835253e-275)-0.5(-inf.0 0.0)+nan.0validexit30.064206#f
(-5.707584602429481e-139)-0.5(-inf.0 0.0)+nan.0validexit20.061440999999999996#f
(-5.362100786217803e-294)-0.5(-inf.0 0.0)+nan.0validexit30.040755#f
(-3.042923480465185e-284)-0.5(-inf.0 0.0)+nan.0validexit30.079138#f
(-1.0369183203141728e-286)-0.5(-inf.0 0.0)+nan.0validexit30.10600899999999999#f
(-6.9288126616658926e-251)-0.5(-inf.0 0.0)+nan.0validexit20.064117#f
(5.858791428086076e-248)-0.5(-inf.0 0.0)+nan.0validexit20.07860900000000001#f
(-6.983742217365904e-306)-0.5(-inf.0 0.0)+nan.0validexit30.040367#f
(-1.053782299148971e-245)-0.5(-inf.0 0.0)+nan.0validexit20.09406199999999999#f
(-2.8561646691051833e-280)-0.5(-inf.0 0.0)+nan.0validexit30.041647#f
(-9.870759147815545e-247)-0.5(-inf.0 0.0)+nan.0validexit20.040372#f
(1.639153096819268e-305)-0.5(-inf.0 0.0)+nan.0validexit30.06888899999999999#f
(-8.29176681313301e-224)-0.5(-inf.0 0.0)+nan.0validexit20.110599#f
(-6.993231705966288e-308)-0.5(-inf.0 0.0)+nan.0validexit30.093914#f
(-7.792580835701816e-262)-0.5(-inf.0 0.0)+nan.0validexit30.070021#f
(4.183943779341508e-289)-0.5(-inf.0 0.0)+nan.0validexit30.039684000000000004#f
(-6.77611315257737e-258)-0.5(-inf.0 0.0)+nan.0validexit20.039480999999999995#f
(1.8447454176264913e-254)-0.5(-inf.0 0.0)+nan.0validexit20.03933#f
(-1.8303085605184553e-301)-0.5(-inf.0 0.0)+nan.0validexit30.12943000000000002#f
(1.610903024922035e-279)-0.5(-inf.0 0.0)+nan.0validexit30.039941000000000004#f
(-3.1567464128769756e-304)-0.5(-inf.0 0.0)+nan.0validexit30.048945#f
(8.811217254600058e-302)-0.5(+nan.0 +nan.0)+nan.0validexit35.0#f
(-2.555665489469153e-234)-0.5(-inf.0 0.0)+nan.0validexit20.041399#f
(-4.490557244946597e-283)-0.5(-inf.0 0.0)+nan.0validexit30.041849#f
(8.579492651975031e-223)-0.5(-inf.0 0.0)+nan.0validexit20.06805800000000001#f
(2.478076492714454e-277)-0.5(-inf.0 0.0)+nan.0validexit30.068496#f
(1.9264318466685055e-278)-0.5(-inf.0 0.0)+nan.0validexit30.059506#f
(2.1343881300656826e-257)-0.5(-inf.0 0.0)+nan.0validexit20.073674#f
(4.780819620038945e-155)-0.5(-inf.0 0.0)+nan.0validexit20.042756999999999996#f
(-3.5749600730471513e-305)-0.5(-inf.0 0.0)+nan.0validexit30.043173#f
(1.4434539354718287e-204)-0.5(-inf.0 0.0)+nan.0validexit20.052223#f
(-2.9124474417752637e-217)-0.5(-inf.0 0.0)+nan.0validexit20.077057#f
(-6.705424729269519e-267)-0.5(-inf.0 0.0)+nan.0validexit30.040244#f
(-1.373757582204838e-294)-0.5(-inf.0 0.0)+nan.0validexit30.066722#f
(-6.08645354392826e-286)-0.5(-inf.0 0.0)+nan.0validexit30.05961#f
(-1.4537318714407212e-266)-0.5(-inf.0 0.0)+nan.0validexit30.040264#f
(-2.742849831027318e-277)-0.5(-inf.0 0.0)+nan.0validexit30.040669#f
(-1.1816999090430331e-242)-0.5(-inf.0 0.0)+nan.0validexit20.040896999999999996#f
(-1.723567746918127e-308)-0.5(-inf.0 0.0)+nan.0validexit30.06550600000000001#f
(-4.6942975144135846e-256)-0.5(-inf.0 0.0)+nan.0validexit20.078557#f
(3.83706279758123e-290)-0.5(-inf.0 0.0)+nan.0validexit30.070256#f
(-2.7387182829953876e-269)-0.5(-inf.0 0.0)+nan.0validexit30.09208#f
(-1.1942751694903073e-204)-0.5(-inf.0 0.0)+nan.0validexit20.093453#f
(5.765844877312458e-204)-0.5(-inf.0 0.0)+nan.0validexit20.083288#f
(2.0935400498274443e-296)-0.5(-inf.0 0.0)+nan.0validexit30.09547699999999999#f
(-6.5711025809032785e-251)-0.5(-inf.0 0.0)+nan.0validexit20.040157000000000005#f
(-1.29515606224002e-299)-0.5(-inf.0 0.0)+nan.0validexit30.064359#f
(4.852794769320056e-306)-0.5(-inf.0 0.0)+nan.0validexit30.058219#f
(6.90856702996423e-245)-0.5(-inf.0 0.0)+nan.0validexit20.078873#f
(-1.4795038049821393e-254)-0.5(-inf.0 0.0)+nan.0validexit20.04187#f
(1.2471155077963963e-260)-0.5(-inf.0 0.0)+nan.0validexit20.038554#f
(-1.6940103234267153e-150)-0.5(-inf.0 0.0)+nan.0validexit20.063704#f
(3.5374281213535717e-292)-0.5(-inf.0 0.0)+nan.0validexit30.039534#f
(4.422860864713151e-245)-0.5(-inf.0 0.0)+nan.0validexit20.038687#f
(-1.0491420298203043e-249)-0.5(-inf.0 0.0)+nan.0validexit20.061877#f
(5.985142824858837e-199)-0.5(-inf.0 0.0)+nan.0validexit20.075402#f
(-1.7451661233350054e-221)-0.5(-inf.0 0.0)+nan.0validexit20.09577200000000001#f
(-2.910214924420879e-264)-0.5(-inf.0 0.0)+nan.0validexit30.065243#f
(-8.768103914034745e-215)-0.5(-inf.0 0.0)+nan.0validexit20.07628#f
(5.273334207313437e-267)-0.5(-inf.0 0.0)+nan.0validexit30.03905#f
(1.0363004800337866e-279)-0.5(-inf.0 0.0)+nan.0validexit30.039245#f
(-1.2906406713544125e-290)-0.5(-inf.0 0.0)+nan.0validexit30.044226#f
(1.9454724432730456e-264)-0.5(-inf.0 0.0)+nan.0validexit30.038531#f
(-4.233052508102512e-238)-0.5(-inf.0 0.0)+nan.0validexit20.10042899999999999#f
(-7.854831566025763e-250)-0.5(-inf.0 0.0)+nan.0validexit20.052338#f
(2.7559671352062873e-275)-0.5(-inf.0 0.0)+nan.0validexit30.057179#f
(2.53679910945456e-201)-0.5(-inf.0 0.0)+nan.0validexit20.043311#f
(1.9820269730555433e-223)-0.5(-inf.0 0.0)+nan.0validexit20.06767#f
(1.6602115344782852e-274)-0.5(-inf.0 0.0)+nan.0validexit30.067581#f
(-1.7864585426347278e-292)-0.5(-inf.0 0.0)+nan.0validexit30.0816#f
(3.421884882466033e-211)-0.5(-inf.0 0.0)+nan.0validexit20.06677#f
(-3.256531562116353e-292)-0.5(-inf.0 0.0)+nan.0validexit30.041708#f
(2.2078308493132553e-300)-0.5(-inf.0 0.0)+nan.0validexit30.054837#f
(6.872469858551693e-292)-0.5(-inf.0 0.0)+nan.0validexit30.040854#f
(-2.4120021113501362e-229)-0.5(-inf.0 0.0)+nan.0validexit20.092445#f
(-3.5298751432387884e-237)-0.5(-inf.0 0.0)+nan.0validexit20.080498#f
(3.013808334531206e-255)-0.5(-inf.0 0.0)+nan.0validexit20.08473499999999999#f
(-2.685945654269668e-232)-0.5(-inf.0 0.0)+nan.0validexit20.045998000000000004#f
(-1.5319070138680908e-260)-0.5(-inf.0 0.0)+nan.0validexit20.040268#f
(-8.564836451018464e-291)-0.5(-inf.0 0.0)+nan.0validexit30.0745#f
(8.648525553990244e-308)-0.5(-inf.0 0.0)+nan.0validexit30.043736000000000004#f
(-2.375402252862031e-278)-0.5(-inf.0 0.0)+nan.0validexit30.040403#f
(2.283275203239817e-238)-0.5(-inf.0 0.0)+nan.0validexit20.063435#f
(-1.6289265545147723e-288)-0.5(-inf.0 0.0)+nan.0validexit30.040139#f
(5.815829920369908e-280)-0.5(-inf.0 0.0)+nan.0validexit30.057581#f
(-6.097955902151481e-263)-0.5(-inf.0 0.0)+nan.0validexit30.064218#f
(5.572577180339858e-288)-0.5(-inf.0 0.0)+nan.0validexit30.064395#f
(1.3468351022918836e-284)-0.5(-inf.0 0.0)+nan.0validexit30.091616#f
(2.1998707413211985e-304)-0.5(-inf.0 0.0)+nan.0validexit30.039369999999999995#f
(3.53008209596505e-279)-0.5(-inf.0 0.0)+nan.0validexit30.039592999999999996#f
(1.6562816508443017e-288)-0.5(-inf.0 0.0)+nan.0validexit30.075669#f
(-2.8070632414301525e-296)-0.5(-inf.0 0.0)+nan.0validexit30.05935#f
(-5.35704678326144e-281)-0.5(-inf.0 0.0)+nan.0validexit30.044078#f
(-1.2800742569788181e-244)-0.5(-inf.0 0.0)+nan.0validexit20.040999#f
(-3.932378508290664e-283)-0.5(-inf.0 0.0)+nan.0validexit30.039193000000000006#f
(-9.61687536593763e-294)-0.5(-inf.0 0.0)+nan.0validexit30.041962#f
(-5.574643039641647e-238)-0.5(-inf.0 0.0)+nan.0validexit20.08543999999999999#f
(3.7121338569996164e-282)-0.5(-inf.0 0.0)+nan.0validexit30.076309#f
(3.6601267212167524e-249)-0.5(-inf.0 0.0)+nan.0validexit20.061314#f
(-3.7917740937831516e-281)-0.5(-inf.0 0.0)+nan.0validexit30.044876#f
(-8.783435682443077e-246)-0.5(-inf.0 0.0)+nan.0validexit20.067616#f
(-8.506669162747362e-240)-0.5(-inf.0 0.0)+nan.0validexit20.042112#f
(-8.927744392133667e-268)-0.5(-inf.0 0.0)+nan.0validexit30.040868#f
(4.468293931304795e-244)-0.5(-inf.0 0.0)+nan.0validexit20.08264400000000001#f
(-1.2095046855328459e-303)-0.5(-inf.0 0.0)+nan.0validexit30.08061399999999999#f
(6.392852432102693e-293)-0.5(-inf.0 0.0)+nan.0validexit30.038325000000000005#f
(1.4598606093431861e-233)-0.5(-inf.0 0.0)+nan.0validexit20.040804#f
(4.864274806626153e-241)-0.5(-inf.0 0.0)+nan.0validexit20.042904000000000005#f
(7.285648864479719e-272)-0.5(-inf.0 0.0)+nan.0validexit30.040288#f
(5.9474457677348035e-270)-0.5(-inf.0 0.0)+nan.0validexit30.083809#f
(2.8225419973424436e-226)-0.5(-inf.0 0.0)+nan.0validexit20.06866599999999999#f
(-2.2856160745537247e-221)-0.5(-inf.0 0.0)+nan.0validexit20.07766999999999999#f
(-1.1486830844347232e-278)-0.5(-inf.0 0.0)+nan.0validexit30.04020700000000001#f
(4.326114042294443e-222)-0.5(-inf.0 0.0)+nan.0validexit20.03989#f
(-2.5454150483631563e-244)-0.5(-inf.0 0.0)+nan.0validexit20.040922#f
(1.1648078673370695e-238)-0.5(-inf.0 0.0)+nan.0validexit20.043717#f
(2.7963404467838694e-273)-0.5(-inf.0 0.0)+nan.0validexit30.039327#f
(-1.0455995703476816e-292)-0.5(-inf.0 0.0)+nan.0validexit30.04058#f
(-3.783183943812852e-229)-0.5(-inf.0 0.0)+nan.0validexit20.043155000000000006#f
(2.0133635427762193e-288)-0.5(-inf.0 0.0)+nan.0validexit30.039153#f
(-2.980693361221171e-308)-0.5(-inf.0 0.0)+nan.0validexit30.046386#f
(1.9545095813104173e-248)-0.5(-inf.0 0.0)+nan.0validexit20.038461#f
(-1.1689562477579635e-202)-0.5(-inf.0 0.0)+nan.0validexit20.040645999999999995#f
(1.5328997090579523e-289)-0.5(-inf.0 0.0)+nan.0validexit30.041347#f
(-4.3517086897816085e-243)-0.5(-inf.0 0.0)+nan.0validexit20.040671#f
(-6.222297953698997e-283)-0.5(-inf.0 0.0)+nan.0validexit30.06278199999999999#f
(-5.571172017877159e-292)-0.5(-inf.0 0.0)+nan.0validexit30.085896#f
(2.1838273373222973e-292)-0.5(-inf.0 0.0)+nan.0validexit30.092395#f
(1.4823377367912663e-252)-0.5(-inf.0 0.0)+nan.0validexit20.061211999999999996#f
(-9.892977548643716e-282)-0.5(-inf.0 0.0)+nan.0validexit30.128128#f
(1.9744884883912568e-230)-0.5(-inf.0 0.0)+nan.0validexit20.053068000000000004#f
(-1.4747825921497635e-206)-0.5(-inf.0 0.0)+nan.0validexit20.063002#f
(3.629541812742989e-294)-0.5(-inf.0 0.0)+nan.0validexit30.085785#f
(5.101481778934663e-233)-0.5(-inf.0 0.0)+nan.0validexit20.080407#f
(-6.980676780641489e-276)-0.5(-inf.0 0.0)+nan.0validexit30.06319#f
(-6.520910600666922e-214)-0.5(-inf.0 0.0)+nan.0validexit20.041634000000000004#f
(-4.484087485596357e-230)-0.5(-inf.0 0.0)+nan.0validexit20.070244#f
(4.00201869637863e-253)-0.5(-inf.0 0.0)+nan.0validexit20.060486000000000005#f
(8.424990356712163e-293)-0.5(-inf.0 0.0)+nan.0validexit30.039325#f
(-7.938234233316325e-265)-0.5(-inf.0 0.0)+nan.0validexit30.039582#f
(-5.705559296361899e-247)-0.5(-inf.0 0.0)+nan.0validexit20.114821#f
(1.1604488233404165e-293)-0.5(-inf.0 0.0)+nan.0validexit30.121366#f
(1.725604702182701e-230)-0.5(-inf.0 0.0)+nan.0validexit20.08587199999999999#f
(-3.641825823381354e-238)-0.5(-inf.0 0.0)+nan.0validexit20.107023#f
(4.630081601258115e-267)-0.5(-inf.0 0.0)+nan.0validexit30.094458#f
(-2.0181701574207763e-268)-0.5(-inf.0 0.0)+nan.0validexit30.040228999999999994#f
(4.7581817324422275e-269)-0.5(-inf.0 0.0)+nan.0validexit30.062166#f
(3.858149713242461e-253)-0.5(-inf.0 0.0)+nan.0validexit20.039554#f
(-3.343495934996592e-195)-0.5(-inf.0 0.0)+nan.0validexit20.039685#f
(7.351285550227032e-287)-0.5(-inf.0 0.0)+nan.0validexit30.062446999999999996#f
(-1.5285293516796197e-270)-0.5(-inf.0 0.0)+nan.0validexit30.075001#f
(8.065070613783651e-244)-0.5(-inf.0 0.0)+nan.0validexit20.073546#f
(-8.835885172128188e-290)-0.5(-inf.0 0.0)+nan.0validexit30.041032000000000006#f
(-1.2515991456388907e-260)-0.5(-inf.0 0.0)+nan.0validexit20.07981099999999999#f
(-3.0916877349979905e-308)-0.5(-inf.0 0.0)+nan.0validexit30.06533#f
(-1.0966613459892396e-258)-0.5(-inf.0 0.0)+nan.0validexit20.06853400000000001#f
(-2.6435625551089262e-226)-0.5(-inf.0 0.0)+nan.0validexit20.10001800000000001#f
(-9.320199860703012e-247)-0.5(-inf.0 0.0)+nan.0validexit20.06221#f
(5.029124666563586e-271)-0.5(-inf.0 0.0)+nan.0validexit30.07009800000000001#f
(-2.822975741426444e-219)-0.5(-inf.0 0.0)+nan.0validexit20.07575499999999999#f
(9.915351478967832e-224)-0.5(-inf.0 0.0)+nan.0validexit20.063932#f
(3.098368369636043e-251)-0.5(-inf.0 0.0)+nan.0validexit20.065631#f
(-3.036526090442108e-265)-0.5(-inf.0 0.0)+nan.0validexit30.040997#f
(-2.784540193782165e-302)-0.5(-inf.0 0.0)+nan.0validexit30.065695#f
(-2.4519629531209753e-295)-0.5(-inf.0 0.0)+nan.0validexit30.06386800000000001#f
(8.396908831634906e-269)-0.5(-inf.0 0.0)+nan.0validexit30.048872000000000006#f
(-2.07005690443963e-279)-0.5(-inf.0 0.0)+nan.0validexit30.062514#f
(3.141467409548851e-305)-0.5(-inf.0 0.0)+nan.0validexit30.050349000000000005#f
(3.6804119356607912e-242)-0.5(-inf.0 0.0)+nan.0validexit20.043528#f
(3.8604710121276177e-283)-0.5(-inf.0 0.0)+nan.0validexit30.039387#f
(1.7138185052043945e-274)-0.5(-inf.0 0.0)+nan.0validexit30.077737#f
(-1.3813024926750026e-264)-0.5(-inf.0 0.0)+nan.0validexit30.042265000000000004#f
(-1.7323487349245405e-298)-0.5(-inf.0 0.0)+nan.0validexit30.040639999999999996#f
(4.992113295573988e-198)-0.5(-inf.0 0.0)+nan.0validexit20.040066#f
(8.328010560519881e-178)-0.5(-inf.0 0.0)+nan.0validexit20.084301#f
(-2.5148303707857995e-251)-0.5(-inf.0 0.0)+nan.0validexit20.040263#f
(1.2422350755768308e-211)-0.5(-inf.0 0.0)+nan.0validexit20.063296#f
(2.2941709789693245e-279)-0.5(-inf.0 0.0)+nan.0validexit30.040876#f
(-2.1362646749964454e-298)-0.5(-inf.0 0.0)+nan.0validexit30.065246#f
(-9.89001786952068e-278)-0.5(-inf.0 0.0)+nan.0validexit30.040544#f
(-1.2950710044469003e-266)-0.5(-inf.0 0.0)+nan.0validexit30.040787000000000004#f
(1.0292729718272148e-306)-0.5(-inf.0 0.0)+nan.0validexit30.039525#f
(-2.423126024615716e-244)-0.5(-inf.0 0.0)+nan.0validexit20.039938#f
(-2.9356626967438374e-234)-0.5(-inf.0 0.0)+nan.0validexit20.070879#f
(1.1846214893849375e-254)-0.5(-inf.0 0.0)+nan.0validexit20.039361#f
(-1.0191403277167207e-230)-0.5(-inf.0 0.0)+nan.0validexit20.08153#f
(2.856492232003531e-300)-0.5(-inf.0 0.0)+nan.0validexit30.050595#f
(-1.945746788076335e-268)-0.5(-inf.0 0.0)+nan.0validexit30.041998#f
(-5.6481459715780035e-236)-0.5(-inf.0 0.0)+nan.0validexit20.101192#f
(4.0392237191466724e-284)-0.5(-inf.0 0.0)+nan.0validexit30.034967#f
(-1.3023098618086789e-303)-0.5(-inf.0 0.0)+nan.0validexit30.041671999999999994#f
(-4.204162275073048e-245)-0.5(-inf.0 0.0)+nan.0validexit20.040803#f
(1.74981530975717e-302)-0.5(-inf.0 0.0)+nan.0validexit30.039763#f
(-2.5291301927961575e-222)-0.5(-inf.0 0.0)+nan.0validexit20.044526#f
(2.1981441830420448e-237)-0.5(-inf.0 0.0)+nan.0validexit20.069674#f
(-1.9181215561616612e-263)-0.5(-inf.0 0.0)+nan.0validexit30.041336#f
(3.1107907380782146e-272)-0.5(-inf.0 0.0)+nan.0validexit30.039665#f
(7.1156011650429e-287)-0.5(-inf.0 0.0)+nan.0validexit30.039039#f
(5.10468346259401e-309)-0.5(-inf.0 0.0)+nan.0validexit30.040299999999999996#f
(-3.680469691060798e-287)-0.5(-inf.0 0.0)+nan.0validexit30.041999999999999996#f
(3.7951319298070213e-259)-0.5(-inf.0 0.0)+nan.0validexit20.038522999999999995#f
(-2.4848810070202772e-284)-0.5(-inf.0 0.0)+nan.0validexit30.064694#f
(1.636997009138012e-221)-0.5(-inf.0 0.0)+nan.0validexit20.06132#f
(5.7037412970934906e-223)-0.5(-inf.0 0.0)+nan.0validexit20.062967#f
(1.4580372991392553e-227)-0.5(-inf.0 0.0)+nan.0validexit20.055719#f
(7.654889111256049e-257)-0.5(-inf.0 0.0)+nan.0validexit20.038430000000000006#f
(3.074418233950691e-282)-0.5(-inf.0 0.0)+nan.0validexit30.08838700000000001#f
(9.410133221980521e-229)-0.5(-inf.0 0.0)+nan.0validexit20.068271#f
(-3.572064334490023e-274)-0.5(-inf.0 0.0)+nan.0validexit30.04043#f
(1.2765850881388959e-278)-0.5(-inf.0 0.0)+nan.0validexit30.08080999999999999#f
(2.084579179045434e-241)-0.5(-inf.0 0.0)+nan.0validexit20.03873600000000001#f
(2.6812200541839675e-277)-0.5(-inf.0 0.0)+nan.0validexit30.039546#f
(-1.5410523507462594e-268)-0.5(-inf.0 0.0)+nan.0validexit30.040883#f
(6.723517684532672e-270)-0.5(-inf.0 0.0)+nan.0validexit30.039698#f
(4.818615778882038e-250)-0.5(-inf.0 0.0)+nan.0validexit20.038421#f
(-3.5037501720909635e-296)-0.5(-inf.0 0.0)+nan.0validexit30.06749000000000001#f
(-6.929590438600757e-285)-0.5(-inf.0 0.0)+nan.0validexit30.063327#f
(-1.4783835959900286e-261)-0.5(-inf.0 0.0)+nan.0validexit30.042337#f
(-3.7729463573580894e-288)-0.5(-inf.0 0.0)+nan.0validexit30.040088#f
(3.4554058258568e-244)-0.5(-inf.0 0.0)+nan.0validexit20.040184#f
(3.5092983020916366e-227)-0.5(-inf.0 0.0)+nan.0validexit20.061171#f
(-5.355263672456883e-222)-0.5(-inf.0 0.0)+nan.0validexit20.132168#f
(1.3080294512756225e-257)-0.5(-inf.0 0.0)+nan.0validexit20.039329#f
(1.421932501884982e-261)-0.5(-inf.0 0.0)+nan.0validexit30.038800999999999995#f
(-1.77977891537764e-301)-0.5(-inf.0 0.0)+nan.0validexit30.100092#f
(-5.3274684904902795e-280)-0.5(-inf.0 0.0)+nan.0validexit30.040633#f
(-1.1396544463055966e-296)-0.5(-inf.0 0.0)+nan.0validexit30.041597999999999996#f
(2.3473882544837027e-272)-0.5(-inf.0 0.0)+nan.0validexit30.038494#f
(-2.4039941289082302e-247)-0.5(-inf.0 0.0)+nan.0validexit20.07682#f
(8.419534695666735e-243)-0.5(-inf.0 0.0)+nan.0validexit20.043442999999999996#f
(2.6400689201585768e-269)-0.5(-inf.0 0.0)+nan.0validexit30.072905#f
(-2.1553900555609543e-291)-0.5(-inf.0 0.0)+nan.0validexit30.084823#f
(1.971047557147798e-285)-0.5(-inf.0 0.0)+nan.0validexit30.039541#f
(5.8428455206501944e-276)-0.5(-inf.0 0.0)+nan.0validexit30.039891#f
(5.904904566622145e-273)-0.5(-inf.0 0.0)+nan.0validexit30.061822#f
(-3.1246628388396463e-287)-0.5(-inf.0 0.0)+nan.0validexit30.12407900000000001#f
(-9.863022404956784e-284)-0.5(-inf.0 0.0)+nan.0validexit30.095251#f
(-3.9750803738678706e-266)-0.5(-inf.0 0.0)+nan.0validexit30.040975#f
(1.1510690704920326e-248)-0.5(-inf.0 0.0)+nan.0validexit20.059435999999999996#f
(-2.4247798685107625e-286)-0.5(-inf.0 0.0)+nan.0validexit30.041419#f
(1.2889350101290363e-277)-0.5(-inf.0 0.0)+nan.0validexit30.08653#f
(-2.841262009614108e-292)-0.5(-inf.0 0.0)+nan.0validexit30.062683#f
(7.38050119637251e-308)-0.5(-inf.0 0.0)+nan.0validexit30.042574999999999995#f
(3.739704061844881e-253)-0.5(-inf.0 0.0)+nan.0validexit20.065732#f
(-3.299515060824999e-274)-0.5(-inf.0 0.0)+nan.0validexit30.042801#f
(3.672647491174073e-278)-0.5(-inf.0 0.0)+nan.0validexit30.058650999999999995#f
(-8.904537392170359e-144)-0.5(-inf.0 0.0)+nan.0validexit20.080486#f
(-9.708256630332009e-255)-0.5(-inf.0 0.0)+nan.0validexit20.058592#f
(2.8227979609790132e-297)-0.5(-inf.0 0.0)+nan.0validexit30.064386#f
(1.2627049068231287e-272)-0.5(-inf.0 0.0)+nan.0validexit30.038584999999999994#f
(-2.813882399637063e-151)-0.5(-inf.0 0.0)+nan.0validexit20.07431800000000001#f
(1.0081529166461174e-250)-0.5(-inf.0 0.0)+nan.0validexit20.08338899999999999#f
(1.8915112034968053e-240)-0.5(-inf.0 0.0)+nan.0validexit20.08537299999999999#f
(8.48578657268663e-277)-0.5(-inf.0 0.0)+nan.0validexit30.059077#f
(-4.164615539485373e-291)-0.5(-inf.0 0.0)+nan.0validexit30.041463#f
(1.5196972833893254e-298)-0.5(-inf.0 0.0)+nan.0validexit30.040062#f
(1.1113067843607534e-260)-0.5(-inf.0 0.0)+nan.0validexit20.059512999999999996#f
(-5.386397197726532e-256)-0.5(-inf.0 0.0)+nan.0validexit20.041743999999999996#f
(3.320724713847118e-301)-0.5(-inf.0 0.0)+nan.0validexit30.040791999999999995#f
(-2.399580405194232e-297)-0.5(-inf.0 0.0)+nan.0validexit30.077193#f
(-6.568196736396455e-208)-0.5(-inf.0 0.0)+nan.0validexit20.086413#f
(-1.5131261263386698e-289)-0.5(-inf.0 0.0)+nan.0validexit30.119193#f
(2.2475671402069825e-267)-0.5(-inf.0 0.0)+nan.0validexit30.041943999999999995#f
(1.9761329514855102e-94)-0.5(+nan.0 +nan.0)+nan.0validexit15.0#f
(-9.730513792257311e-224)-0.5(-inf.0 0.0)+nan.0validexit20.086865#f
(4.2254978527991737e-265)-0.5(-inf.0 0.0)+nan.0validexit30.044078#f
(-7.202708960178436e-289)-0.5(-inf.0 0.0)+nan.0validexit30.0816#f
(3.647953985086817e-200)-0.5(-inf.0 0.0)+nan.0validexit20.039452#f
(2.000978756506265e-299)-0.5(-inf.0 0.0)+nan.0validexit30.074008#f
(1.591558773594348e-240)-0.5(-inf.0 0.0)+nan.0validexit20.07365999999999999#f
(-1.2760890663159654e-285)-0.5(-inf.0 0.0)+nan.0validexit30.065905#f
Sollya timings
Total time spent in Sollya 454.0ms
Bogosity

preprocess113.0ms (0.3%)

Algorithm
egg-herbie
Rules
213×fma-define
158×fma-neg
62×times-frac
43×unsub-neg
39×associate-*l*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
018176
142164
294156
3266156
4572156
5888156
61045156
71083156
81144156
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps))))
(neg.f64 (/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps)))))
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
(neg.f64 (/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (-.f64 (neg.f64 eps) (tan.f64 (neg.f64 eps)))))
(/.f64 (-.f64 (neg.f64 eps) (sin.f64 (neg.f64 eps))) (neg.f64 (-.f64 (neg.f64 eps) (neg.f64 (tan.f64 eps)))))
(/.f64 (fma.f64 #s(literal -1 binary64) eps (sin.f64 eps)) (neg.f64 (fma.f64 #s(literal -1 binary64) eps (tan.f64 eps))))
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 (tan.f64 eps) eps))
Symmetry

(abs eps)

Compiler

Compiled 10 to 6 computations (40% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
1.6%
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Compiler

Compiled 20 to 12 computations (40% saved)

simplify4.0ms (0%)

Algorithm
egg-herbie
Rules
sub-neg
+-commutative
*-commutative
neg-sub0
neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01139
11539
22339
32739
42939
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))
Outputs
(/.f64 (-.f64 eps (sin.f64 eps)) (-.f64 eps (tan.f64 eps)))

soundness1.0ms (0%)

Stop Event
fuel
Compiler

Compiled 10 to 6 computations (40% saved)

preprocess42.0ms (0.1%)

Remove

(abs eps)

Compiler

Compiled 156 to 92 computations (41% saved)

end0.0ms (0%)

Profiling

Loading profile data...