Toniolo and Linder, Equation (10-)

Time bar (total: 44.3s)

analyze1.2s (2.7%)

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
0%0%99.9%0.1%0%0%0%6
0%0%99.9%0.1%0%0%0%7
0%0%99.9%0.1%0%0%0%8
0%0%99.9%0.1%0%0%0%9
2%2%97.9%0.1%0%0%0%10
2.9%2.9%96.9%0.1%0%0%0%11
3.8%3.8%96.1%0.1%0%0%0%12
Compiler

Compiled 29 to 20 computations (31% saved)

sample42.9s (96.7%)

Results
706.0ms4282×0valid-sollya
1.6s4282×0valid
1.0s1767×1valid
410.0ms1767×1valid-sollya
912.0ms1356×2valid
299.0ms1224×2valid-sollya
722.0ms851×3valid
166.0ms691×3valid-sollya
39.0ms160×3exit-sollya
33.0ms132×2exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(3.5710922454946703e-65 1.2468812081812378e-172 5.00191190569069e-272)+inf.0(+inf.0 +inf.0)+nan.0validexit20.16430399999999998#f
(5.7838605701983455e+184 1.2365693373842985e+238 -2.9459858321872194e-269)+inf.0(+inf.0 +inf.0)+nan.0validexit30.193609#f
(4.39080681573018e+275 -5.369210694367723e+301 -8.437921512867471e-294)+inf.0(+inf.0 +inf.0)+nan.0validexit30.18776299999999999#f
(-2.8755997273980346e-52 1.01236394582868e+270 -1.2199513885068447e-293)-inf.0(-inf.0 -inf.0)+nan.0validexit20.315736#f
(-1.1312830391500866e+242 -9.416943915672637e-147 5.06657032545434e-253)-inf.0(-inf.0 -0.0)+nan.0validexit30.26574200000000003#f
(-5.440029697787867e+96 6.761940556068629e+106 -5.716018746225219e-257)-inf.0(-inf.0 -inf.0)+nan.0validexit30.287431#f
(4.6063966435568453e+33 -2.699910885622001e-262 -1.4045228008662562e-256)+inf.0(6.973920644124649e-94 +inf.0)+nan.0validexit20.25764#f
(1.1770112926401662e+96 2.9296801749863947e-130 6.743919014936831e-237)+inf.0(2.1349787920983334e-56 +inf.0)+nan.0validexit20.167203#f
(1.4624390200121388e+195 6.277332618909358e+119 -1.4225631808252265e-285)+inf.0(1.1484010443683902e+243 +inf.0)+nan.0validexit30.193525#f
(1.631303327786116e+20 1.349385157033666e+273 3.4846184591609504e-218)+inf.0(+inf.0 +inf.0)+nan.0validexit20.18664899999999998#f
(1.3854506051950731e+146 -7.691397247243236e-303 3.0386306875227816e-287)+inf.0(0.0 +inf.0)+nan.0validexit30.285188#f
(62287363842.76933 2.4057538447652625e+172 -1.6293290483994166e-290)+inf.0(+inf.0 +inf.0)+nan.0validexit20.359124#f
(-4.749298339270042e-98 -2.8433798270884225e-36 -2.392676785403779e-283)-inf.0(-inf.0 -inf.0)+nan.0validexit20.414025#f
(-3.792590553782878e+95 -5.633510444658023e+235 1.1204480797685074e-238)-inf.0(-inf.0 -inf.0)+nan.0validexit20.25331699999999996#f
(4.990621639802163e+189 3.948280986596902e+238 -8.793433260389934e-303)+inf.0(+inf.0 +inf.0)+nan.0validexit30.21804199999999999#f
(1.3848702903802357e+171 1.8422325271875064e-205 8.006165766412188e-283)+inf.0(0.0 +inf.0)+nan.0validexit30.16833399999999998#f
(7.803255425628452e+71 1.3908673912883677e+45 6.869342947823051e-246)+inf.0(+inf.0 +inf.0)+nan.0validexit20.304572#f
(-2.731823080632215e-5 -4.2900303939879206e-129 -8.13855726543164e-254)-inf.0(-inf.0 -2.5141310020314147e+282)+nan.0validexit20.424269#f
(2.1589620025616288e+288 -4.3613795064235213e-271 6.969688483860211e-289)+inf.0(0.0 +inf.0)+nan.0validexit30.251805#f
(2.1894192214513986e-21 -1.0121240598106271e-249 5.417756614020346e-237)+inf.0(6.134249816430507e+55 +inf.0)+nan.0validexit20.166103#f
(1.0701109498224352e+88 -1.3539214704268343e-285 -3.893420797199256e-296)+inf.0(1.8203611592562125e-224 +inf.0)+nan.0validexit30.187742#f
(1.115821753208291e+214 -2.137602194712453e-180 -9.169718260524469e-307)+inf.0(0.0 +inf.0)+nan.0validexit30.175906#f
(1.2468791788682655e-88 0.038243339333835474 -6.39451168742385e-278)+inf.0(+inf.0 +inf.0)+nan.0validexit20.186665#f
(2.2062205401266485e+50 -1.2567697614240178e+27 -2.774905052529834e-252)+inf.0(+inf.0 +inf.0)+nan.0validexit20.17458200000000001#f
(-4.0801268464455406e+68 1.688454139887337e-294 6.399866025659679e-241)-8.330121555572535e+304(-inf.0 -1.890320746450441e-294)+nan.0validexit20.169164#f
(-8.497454816037417e-41 -7.045372306145906e-69 1.92434262160542e-277)-inf.0(-inf.0 -inf.0)+nan.0validexit20.244467#f
(1.0744189078273364e+252 1.8363956076552857e-162 1.1854005165161421e-291)+inf.0(0.0 +inf.0)+nan.0validexit30.176006#f
(-3.0551366983021425e+83 -1.1209174020255987e+206 -1.9651288489867437e-249)-inf.0(-inf.0 -inf.0)+nan.0validexit20.228671#f
(1.1843661307487846e+139 -1.9831171050077007e-112 -5.735157255383616e-220)+inf.0(1.327601835370276e-183 +inf.0)+nan.0validexit30.185267#f
(3.259115672390156e+221 -2.109178814257416e+287 -2.5789528617713217e-245)+inf.0(+inf.0 +inf.0)+nan.0validexit30.36033499999999996#f
(-6.219748650316574e+77 1.1193761811930522e-11 7.487344789734451e-190)-inf.0(-inf.0 -1.7135535317827957e+142)+nan.0validexit20.443785#f
(2.399120585490159e+162 1.9264640511609662e-171 -1.435099646971727e-206)+inf.0(0.0 +inf.0)+nan.0validexit30.28658500000000003#f
(3.3812768646074933e+264 -5.862426300791006e+211 -1.2861694596381902e-294)+inf.0(9.913703588777533e+236 +inf.0)+nan.0validexit30.365171#f
(-65037880.88872585 2.954866441988755e-122 2.7394636857712745e-246)-inf.0(-inf.0 -7.80126789096968e+243)+nan.0validexit20.294078#f
(720.686617932656 5.629634409039781e-297 -4.7834233435027544e-268)+inf.0(6.825949901377057e-48 +inf.0)+nan.0validexit20.180896#f
(6.723443765494058e+230 1.832095058631135e+202 3.0412148788337007e-290)+inf.0(+inf.0 +inf.0)+nan.0validexit30.30582#f
(1.3281374407904495e-31 4.4385788852551614e-58 -2.3545066195298252e-250)+inf.0(+inf.0 +inf.0)+nan.0validexit20.176124#f
(1.3663551741401346e+184 -2.2240554067798718e-17 3.923195382834388e-144)+inf.0(2.324022002291635e-280 +inf.0)+nan.0validexit20.173722#f
(5.922011217552132e+84 4.47639715812568e+273 7.362124647545121e-250)+inf.0(+inf.0 +inf.0)+nan.0validexit20.192795#f
(2.9788490305465996e+202 9.810814364182666e+296 -2.3588650148237592e-195)+inf.0(+inf.0 +inf.0)+nan.0validexit30.33595800000000003#f
(2.6032962855737636e+302 -3.672099753247177e-57 4.2542479399395766e-278)+inf.0(0.0 +inf.0)+nan.0validexit30.31172099999999997#f
(1.0590479079093999e+304 -1.0783323434654304e-251 -2.1862779722377698e-290)+inf.0(0.0 +inf.0)+nan.0validexit30.210006#f
(2.952294521426009e+301 3.772311165673114e+88 1.0075882101122979e-271)+inf.0(1.0048229473267876e-166 +inf.0)+nan.0validexit30.311608#f
(4.1271890440485365e+273 -3.757414698356378e-74 2.3498465189965795e-281)+inf.0(0.0 +inf.0)+nan.0validexit30.306247#f
(4.811136082109239e+131 1.7602385438503313e+268 -2.7363096309519708e-133)+inf.0(+inf.0 +inf.0)+nan.0validexit20.189001#f
(-1.1165992280350212e+205 2.530818926145037e-80 5.6660019324633026e-276)-inf.0(-inf.0 -2.643604382934235e-205)+nan.0validexit30.17901#f
(9.833448533277855e+249 -5.0774721639208255e+171 -8.393618881410276e-233)+inf.0(7.099026311432725e+76 +inf.0)+nan.0validexit30.173659#f
(0.00014868796745663154 4.4283506456283714e-58 -6.822461263342297e-302)+inf.0(+inf.0 +inf.0)+nan.0validexit20.29873999999999995#f
(-2.3911529324229006e-21 -2.6020014732947293e+48 -8.652873208946681e-241)-inf.0(-inf.0 -inf.0)+nan.0validexit20.30174599999999996#f
(-1.8626895978133406e+65 -6.657619177884575e-141 9.17221963052285e-273)-inf.0(-inf.0 -1.5037902433832508e+87)+nan.0validexit30.183536#f
(-2.7496533274030953e+131 1.7830264326933883e-143 1.1072756404460074e-268)-inf.0(-inf.0 -2.3008588019934771e-125)+nan.0validexit30.310524#f
(-6.138223252889829e+31 -4.008291729102124e+266 2.938814477712723e-256)-inf.0(-inf.0 -inf.0)+nan.0validexit20.1817#f
(7.508684459301557e+239 -7.930075458755415e-284 -4.4209618082407415e-289)+inf.0(0.0 +inf.0)+nan.0validexit30.181818#f
(-7.805884436905773e+52 -4.781234252809833e+77 -2.4575323097620997e-263)-inf.0(-inf.0 -inf.0)+nan.0validexit20.181284#f
(-5.530064783303266e+98 -3.983547645302363e-45 6.582100587257885e-239)-inf.0(-inf.0 -3.9952141911723385e+110)+nan.0validexit30.168211#f
(4.16247192916825e-62 4.3256756000414575e-261 6.056831818899009e-257)+inf.0(1.304615798917245e+195 +inf.0)+nan.0validexit20.159695#f
(-1.5805290221235564e+223 1.1580336838494692e-52 -1.3939574336806297e-272)-inf.0(-inf.0 -3.2244500769753243e-211)+nan.0validexit30.184829#f
(-2.0986812088105074e-41 9.235872679180903e-170 5.467667679765821e-281)-inf.0(-inf.0 -inf.0)+nan.0validexit20.16845200000000002#f
(5.824438724492668e-51 8.403973680188282e-175 -6.525598223171212e-255)+inf.0(+inf.0 +inf.0)+nan.0validexit20.18402100000000002#f
(5.340823388885328e+145 -1.6654595956074244e+159 -2.609193006831084e-253)+inf.0(+inf.0 +inf.0)+nan.0validexit30.324505#f
(9.845642514894372e+258 -1.6502353180808208e-163 9.537828208109393e-240)+inf.0(0.0 +inf.0)+nan.0validexit30.313133#f
(-7.446532685361875e-44 5.1704526608536143e-8 2.6732282511152868e-269)-inf.0(-inf.0 -inf.0)+nan.0validexit20.284918#f
(-9.828980737035976e-18 2.769447599871375e-118 -4.6913077038702154e-263)-inf.0(-inf.0 -inf.0)+nan.0validexit20.167518#f
(1.9609984041261767e-50 -1.2806051965230344e+122 5.740460776196146e-238)+inf.0(+inf.0 +inf.0)+nan.0validexit20.281872#f
(3.454874806782968e+297 -5.975903707261513e-34 -2.4742470432208474e-294)+inf.0(0.0 +inf.0)+nan.0validexit30.180304#f
(1.0909470156009201e+30 -1.4071645158438296e-176 1.939547070597793e-250)+inf.0(7.478213314374183e+76 +inf.0)+nan.0validexit20.29117299999999996#f
(-3.2300711947704986e+187 5.631662839344377e-154 6.296360609174954e-139)-1.249490102439054e+59(-inf.0 -0.0)+nan.0validexit20.307127#f
(-4.0537030393007164e+145 7.491894011912149e-154 1.4358509901121767e-248)-inf.0(-inf.0 -7.539255063716e-229)+nan.0validexit30.171884#f
(-1.2842906361881535e+206 1.6439322698618482e-302 6.608669867213509e-238)-2.2063697317469965e+139(-inf.0 -0.0)+nan.0validexit30.381923#f
(-1.760204412528953e-92 -1.0414261855010155e+26 4.097081359810687e-296)-inf.0(-inf.0 -inf.0)+nan.0validexit20.214416#f
(3.1211952194107724e+203 1.1878263434861958e-63 7.061671939990173e-244)+inf.0(1.7165155933448154e-231 +inf.0)+nan.0validexit30.171612#f
(7.080823070383725e+186 -3.8443041300734836e+138 -8.001159306569329e-301)+inf.0(+inf.0 +inf.0)+nan.0validexit30.243594#f
(4.345411546484061e+165 -8.810540377672813e-249 -4.1720450631597015e-283)+inf.0(0.0 +inf.0)+nan.0validexit30.402263#f
(3.221304115984431e+50 -3.2958034794625524e-205 -5.602804721004609e-245)+inf.0(1.9095726416550212e-53 +inf.0)+nan.0validexit20.276579#f
(-1.3688737589972382e+54 -7.848985749802394e+209 1.818724657938794e-285)-inf.0(-inf.0 -inf.0)+nan.0validexit30.263523#f
(3.093973116928996e-70 -6.135374422138845e+163 1.3853600121800829e-294)+inf.0(+inf.0 +inf.0)+nan.0validexit20.18359999999999999#f
(-2.977135774774871e+170 -1.0942613128091768e-148 6.065217613975607e-258)-inf.0(-inf.0 -2.2754804752182528e-274)+nan.0validexit30.167187#f
(-1.3461025748320704e+213 -1.3504765661558174e-107 1.3343881880491261e-279)-inf.0(-inf.0 -7.74631199401813e-277)+nan.0validexit30.165076#f
(0.001194249319075613 2.9735947373551985e-84 1.3476889289442029e-297)+inf.0(+inf.0 +inf.0)+nan.0validexit20.388133#f
(1.856132389008297e-60 1.6419062632500024e+186 -1.1386104282612774e-289)+inf.0(+inf.0 +inf.0)+nan.0validexit20.194737#f
(0.0008505818029442413 -2.051932225937002e-131 -7.332104752108575e-307)+inf.0(+inf.0 +inf.0)+nan.0validexit20.326861#f
(1.2931544745770283e+93 9.86957466603005e-131 5.952402274990671e-235)+inf.0(2.345205087806391e-52 +inf.0)+nan.0validexit20.178557#f
(-2.620752978421259e+117 -1.7379923177434156e+154 3.7699720572792076e-149)-inf.0(-inf.0 -2.1780151722893032e+272)+nan.0validexit20.40741#f
(-1.1548412559117195e+232 1.0843919836861665e-284 9.992544233407685e-232)-2.0425654640867758e+124(-inf.0 -0.0)+nan.0validexit30.333657#f
(-9.982039913394196e+283 -1.5847157446738026e+253 2.9270950834910863e-193)-inf.0(-inf.0 -5.43614336175075e+58)+nan.0validexit30.303996#f
(-1.3308186278437073e+276 1.4926477528115483e-127 2.8315681716267443e-219)-inf.0(-inf.0 -0.0)+nan.0validexit30.443409#f
(7.960660690464723e+126 -2.1315871912649862e+95 -3.777735943599908e-281)+inf.0(+inf.0 +inf.0)+nan.0validexit30.187423#f
(1.6512563326439634e+204 -2.9545299736499788e-109 -2.186273036981405e-154)4.627801314760409e+193(0.0 +inf.0)+nan.0validexit30.32792699999999997#f
(7.165568533730084e-53 1.1528820190996077e-166 -1.4894981170834414e-304)+inf.0(+inf.0 +inf.0)+nan.0validexit20.291449#f
(2.0663432088595606e-8 4.477934391339964e-113 -8.170310101524914e-239)+inf.0(6.280449422365614e+293 +inf.0)+nan.0validexit20.165122#f
(-6.358660343486634e+70 6.101259181737269e-298 2.9230004452306714e-307)-inf.0(-inf.0 -3.1261083497291187e-175)+nan.0validexit30.28005199999999997#f
(3.945526766155582e+64 -3.90143741030565e+126 -2.1612257132383755e-243)+inf.0(+inf.0 +inf.0)+nan.0validexit20.179204#f
(95696661012.29126 1.898572847759245e+65 -1.1730357867302999e-209)+inf.0(+inf.0 +inf.0)+nan.0validexit20.371965#f
(-1.1479615282777575e+131 7.253758545944463e-37 -1.555753097565338e-290)-inf.0(-inf.0 -2.6508341872861984e+133)+nan.0validexit30.169326#f
(-113427961916931.11 -1.2200955603234516e+244 5.384948716359382e-224)-inf.0(-inf.0 -inf.0)+nan.0validexit20.298286#f
(6.749683035591013e-20 1.1267307096452336e-13 2.5435304325657784e-239)+inf.0(+inf.0 +inf.0)+nan.0validexit20.2803#f
(3.457309584495608e+171 2.070939336483517e-125 -5.9879591679062054e-245)+inf.0(5.3392715158883166e-257 +inf.0)+nan.0validexit30.17371899999999998#f
(2.5969824154344813e+78 -7.208344842118383e+258 -2.4722728951959842e-136)+inf.0(+inf.0 +inf.0)+nan.0validexit20.25609#f
(-1.149926295994443e+205 -4.78798937684489e+53 -5.572190602003974e-193)-inf.0(-inf.0 -8.957032208566783e-105)+nan.0validexit30.327459#f
(3.6922774884640707e-85 3.606638624082317e-266 7.992809799066877e-272)+inf.0(7.461790079694804e+283 +inf.0)+nan.0validexit20.161668#f
(-1.819096438755302e+302 -1.1413958728817239e-77 3.3713419604541633e-301)-inf.0(-inf.0 -0.0)+nan.0validexit30.294935#f
(-3.4951251271047144e+70 -4.16215340518202e-33 -1.067928635243725e-243)-inf.0(-inf.0 -6.562710400672189e+228)+nan.0validexit20.165499#f
(7.159913420575965e+183 -1.7849076605824544e-140 -3.8482366281005377e-196)+inf.0(0.0 +inf.0)+nan.0validexit30.35110399999999997#f
(3.527106097751358e-15 6.913283401151549e-147 -6.317411475321538e-222)+inf.0(5.0344791033245e+212 +inf.0)+nan.0validexit20.26321500000000003#f
(-2.220929650222653e+46 4.7130675192052615e-145 -3.733473336757491e-137)-1.029556773439877e+211(-inf.0 -2.683468680650361e-136)+nan.0validexit20.16803200000000001#f
(2.0347505756349376e+256 -4.4062975066924573e+24 -1.059427615517775e-213)+inf.0(3.7878366110576135e-275 +inf.0)+nan.0validexit30.28555200000000003#f
(1.5159862012076132e+259 -2.817781296019823e-197 1.2319943373273892e-263)+inf.0(0.0 +inf.0)+nan.0validexit30.192487#f
(-5.149065772758131e+269 3.2176351990365105e-249 -4.39612245490776e-256)-1.0767032885705302e+255(-inf.0 -0.0)+nan.0validexit30.175782#f
(3.5458389467643324e+55 -4.342177081041106e+77 -6.098661213429722e-295)+inf.0(+inf.0 +inf.0)+nan.0validexit30.18010199999999998#f
(-3.8717371322460524e+72 -2.1403045522608984e-256 6.278150820776227e-265)-inf.0(-inf.0 -3.693939623770686e-182)+nan.0validexit30.389507#f
(3.5487912497902833e+214 -4.6161018422963634e+231 8.054124107099683e-253)+inf.0(+inf.0 +inf.0)+nan.0validexit30.412962#f
(-1.0091871884498785e+166 1.870768527248904e-204 -4.254333857479442e-133)-2.1172498217176376e-44(-inf.0 -0.0)+nan.0validexit20.250247#f
(4.001932105213218e+107 8.518992392834825e+221 -2.1360677516973607e-248)+inf.0(+inf.0 +inf.0)+nan.0validexit30.326888#f
(-9.729146387419926e-40 -1.8529892338425172e+129 3.488559087091949e-257)-inf.0(-inf.0 -inf.0)+nan.0validexit20.184635#f
(2.776757203411753e+92 -1.0285935381118713e-23 5.425620377395641e-154)+inf.0(309.66689332157443 +inf.0)+nan.0validexit20.388694#f
(4.249622906170926e+80 -1.8577823474715045e-284 2.2561033208183827e-257)+inf.0(1.6298222182870622e-277 +inf.0)+nan.0validexit30.185095#f
(-5.183415993024965e-102 1.1481315612195166e+300 2.2718248589885094e-283)-inf.0(-inf.0 -inf.0)+nan.0validexit20.214483#f
(-6.94708235340846e+71 2.5501429431466204e-301 -9.363022981697785e-276)-inf.0(-inf.0 -4.081400857598453e-248)+nan.0validexit30.293025#f
(-2.633399943169926e+306 -5.627028257229859e-117 2.8827291586614444e-243)-inf.0(-inf.0 -0.0)+nan.0validexit30.30325#f
(4.6688491290652445e-5 1.4332257141951353e+307 2.3471065570451746e-287)+inf.0(+inf.0 +inf.0)+nan.0validexit20.17854599999999998#f
(-2.2742778195381153e+234 -214197.74075473717 1.1324497721316875e-299)-inf.0(-inf.0 -5.610234948001814e-76)+nan.0validexit30.20744200000000002#f
(-7.47309957234583e+152 473.53452622844054 1.451897113623014e-243)-inf.0(-inf.0 -4.701636307179096e+51)+nan.0validexit30.188145#f
(2.6811878505764605e+293 -2.133360669691451e-91 1.22935602014682e-302)+inf.0(0.0 +inf.0)+nan.0validexit30.364971#f
(-3292581267925076.5 -2.8571364812253853e+35 3.4190643936815195e-261)-inf.0(-inf.0 -inf.0)+nan.0validexit20.36241#f
(2.415298689100249e-31 3.4227114935734998e-295 -1.0961828211477494e-249)+inf.0(1.2763852844502137e+20 +inf.0)+nan.0validexit20.135#f
(-9.980758210779099e+133 -8.324836476077588e-127 1.5181776430245014e-288)-inf.0(-inf.0 -5.57873019479599e-60)+nan.0validexit30.192469#f
(5.558307597333022e-13 2.6666781412671926e-105 -3.1008582463955386e-308)+inf.0(+inf.0 +inf.0)+nan.0validexit20.187336#f
(-1.7815344320453776e+78 2.01319428744988e+164 -2.7281741323579965e-238)-inf.0(-inf.0 -inf.0)+nan.0validexit20.338297#f
(-8.664585344285042e+27 2.2157848077656158e-133 -3.0483623183673735e-285)-inf.0(-inf.0 -1.4982985621822568e+239)+nan.0validexit20.263965#f
(-2.472006130490404e+227 3.3232975979597975e+24 1.085656638530671e-243)-inf.0(-inf.0 -1.1442596265990018e-128)+nan.0validexit30.170214#f
(3.6228580357252446e-120 3.7157964091902075e-74 9.00183785623156e-297)+inf.0(+inf.0 +inf.0)+nan.0validexit20.293947#f
(1.1064534168820365e+85 2.3921251217339767e-267 -1.1562222393974389e-298)+inf.0(5.829153159439484e-174 +inf.0)+nan.0validexit30.233124#f
(-8.46796850782539e+278 -1.5261897590167705e+275 1.9250811129486523e-307)-inf.0(-inf.0 -inf.0)+nan.0validexit30.184033#f
(-1.7549564615899792e+286 2.0682600311118354e+71 2.0206382249399655e-215)-inf.0(-inf.0 -3.575640375406266e-268)+nan.0validexit30.212523#f
(1.4365914180335094e+286 -1.6100964425688743e-57 -8.702724989112155e-229)+inf.0(0.0 +inf.0)+nan.0validexit30.26886299999999996#f
(1.6933599092776855e+302 -4.658258376571606e+187 1.6090895593286235e-260)+inf.0(31838941.083076764 +inf.0)+nan.0validexit30.29578#f
(1.1099761950389384e+82 -2.039849211701275e+295 -3.805911207695185e-270)+inf.0(+inf.0 +inf.0)+nan.0validexit30.18836999999999998#f
(7.758108596860122e+235 1.621883696686471e-70 -1.186235082752064e-242)+inf.0(0.0 +inf.0)+nan.0validexit30.313695#f
(-6.568893715237503e+227 6565.3512174241505 3.9247986977331154e-278)-inf.0(-inf.0 -1.821059650090283e-102)+nan.0validexit30.267411#f
(-3.200440948852832e+151 2.925694983079149e-147 -7.839905027271856e-294)-inf.0(-inf.0 -7.836583361361185e-143)+nan.0validexit30.215857#f
(-3.7483735555601547 -1.5315709066453135e+38 -1.4023530848787619e-260)-inf.0(-inf.0 -inf.0)+nan.0validexit20.17389000000000002#f
(-7.158958636612516e+255 1.828757634670607e+243 1.5741487312396256e-240)-inf.0(-inf.0 -6.785641952945536e+217)+nan.0validexit30.17369099999999998#f
(-2.1508699075339116e+307 -3.610816620926953e-153 -7.016647095364691e-234)-inf.0(-inf.0 -0.0)+nan.0validexit30.18360100000000001#f
(3691558618.3934307 -133365057363791.69 2.056928096706395e-245)+inf.0(+inf.0 +inf.0)+nan.0validexit20.184868#f
(-5.753652750479174e-26 -6.7553683214961665e-183 2.3888502756570175e-222)-inf.0(-inf.0 -7.74477820381694e+173)+nan.0validexit20.171707#f
(1.4550803659842756e+169 3.287916322898463e+302 -2.9280122646174876e-255)+inf.0(+inf.0 +inf.0)+nan.0validexit30.364383#f
(7.625201571011502e+231 -9.587256312777563e-26 -6.00982775380883e-217)+inf.0(1.0588400577845587e-294 +inf.0)+nan.0validexit30.338797#f
(-1.3669696182336287e+137 -4.697885412840024e+203 4.0832940665940424e-194)-inf.0(-inf.0 -inf.0)+nan.0validexit20.390964#f
(-1.1842309296181778e-85 6.083345039464938e+271 9.537367957370422e-262)-inf.0(-inf.0 -inf.0)+nan.0validexit20.26540199999999997#f
(-4.494199656185517e+87 -7.996626688116515e+82 -7.580322147203537e-250)-inf.0(-inf.0 -inf.0)+nan.0validexit30.17899800000000002#f
(3.790852916799232e+247 0.6267737071396908 -1.1940312744033763e-220)+inf.0(9.330374049345095e-285 +inf.0)+nan.0validexit30.17223100000000002#f
(1517227979794190800.0 8.982697198865762e-246 -1.2514835678107686e-198)4.3360278835065165e+283(2.7210117063996383e-130 +inf.0)+nan.0validexit20.33461#f
(2.2812951121929222e+138 1.7752151686892228e-212 -4.772054717478566e-266)+inf.0(2.1501387362497776e-289 +inf.0)+nan.0validexit30.281111#f
(1.2000892991211738e+146 -6.882982571166234e+67 -4.190079598464831e-294)+inf.0(2.8799690846183975e+303 +inf.0)+nan.0validexit30.29832#f
(-6.5888441221204514e-71 -1.0349005458772131e+167 5.261397077482449e-259)-inf.0(-inf.0 -inf.0)+nan.0validexit20.301672#f
(-1.0547061145098467e-6 -1.43149972953192e-179 1.9400394410338286e-281)-inf.0(-inf.0 -8.560256011140754e+240)+nan.0validexit20.307979#f
(-9.28726508537555e+210 -2.461582787202052e+293 1.0354365704868794e-133)-inf.0(-inf.0 -1.3014817741010896e+239)+nan.0validexit30.18368099999999998#f
(-9.48220872802469e+226 -8.3911887997166585e-221 -8.923811959008885e-214)-2.341886422714368e+185(-inf.0 -0.0)+nan.0validexit30.180178#f
(-1.0494931727469881e-111 -1.0194434530185086e-249 9.059962270954937e-296)-inf.0(-inf.0 -inf.0)+nan.0validexit20.172506#f
(-4.1561667358212695e+144 4.275662906919268e-78 -2.991608344148492e-302)-inf.0(-inf.0 -5.248537211042783e+33)+nan.0validexit30.29283#f
(1.5578908659413083e+24 4.5689148957120624e+35 -2.088004315032509e-243)+inf.0(+inf.0 +inf.0)+nan.0validexit20.308312#f
(238152290861764640.0 2.092320425890699e-63 3.804789258200895e-155)+inf.0(4.13000529046286e+150 +inf.0)+nan.0validexit20.445456#f
(2.262647624829294e+207 -6.680162854718734e+145 1.7683278058458893e-293)+inf.0(2.272571201062758e+274 +inf.0)+nan.0validexit30.283892#f
(-1.8636362830728957e+144 -1.1353788460123733e-261 3.3348025985008666e-259)-inf.0(-inf.0 -0.0)+nan.0validexit30.28725700000000004#f
(-2.341810686713636e-27 -6.534066724825985e+127 -3.0262739021000704e-233)-inf.0(-inf.0 -inf.0)+nan.0validexit20.321533#f
(5.633769443960733e+199 -7.248275785030901e-260 3.6473390405718627e-147)1.0538912599696426e-132(0.0 +inf.0)+nan.0validexit30.38241#f
(2.928458359357651e-48 9.098007604016536e+61 8.21952423205165e-299)+inf.0(+inf.0 +inf.0)+nan.0validexit20.37209800000000004#f
(-3.4635643423187415e+65 -7.693627595318051e+170 1.369906348365259e-275)-inf.0(-inf.0 -inf.0)+nan.0validexit30.296503#f
(-1.153796572496485e+71 -1.7157524295151814e+168 -1.2247135351552964e-263)-inf.0(-inf.0 -inf.0)+nan.0validexit20.258479#f
(3.991370232557701e+196 2.2156364382069994e+284 -1.4847943800123161e-294)+inf.0(+inf.0 +inf.0)+nan.0validexit30.199787#f
(-6.6202781743808175e+131 1.1537855846166626e+202 -1.450633507633491e-294)-inf.0(-inf.0 -inf.0)+nan.0validexit30.203704#f
(-4.038842877272249e-10 -2.08184030395427e+127 2.0157089271313243e-284)-inf.0(-inf.0 -inf.0)+nan.0validexit20.315301#f
(-1.0521498072120464e+120 1.6891700457443251e+215 2.831563433272342e-301)-inf.0(-inf.0 -inf.0)+nan.0validexit30.185893#f
(-5.2359395378106154e+216 2.130985231709392e+299 -3.0360663085960067e-207)-inf.0(-inf.0 -inf.0)+nan.0validexit30.182297#f
(-1.1151499755690645e+181 -5.5670033836366244e-189 -1.1950303373162871e-248)-inf.0(-inf.0 -0.0)+nan.0validexit30.178345#f
(-4.603644075740204e+233 -1.6645222630467774e-136 2.2898128866690054e-247)-inf.0(-inf.0 -0.0)+nan.0validexit30.176295#f
(7.488218335191766e+307 -4.180367661053885e+217 -8.657663189196254e-234)+inf.0(0.001024263772942253 +inf.0)+nan.0validexit30.215912#f
(-8.060060783520166e+146 1.7325874407743872e-218 -9.502189660988818e-294)-inf.0(-inf.0 -1.1712448825124607e-271)+nan.0validexit30.313648#f
(-2.8830893391609936e-67 -4.962279433627469e+253 1.3545297068783397e-296)-inf.0(-inf.0 -inf.0)+nan.0validexit20.18508899999999998#f
(-6.913536838672133e+45 5.2679933422112836e+113 2.1935043211124098e-271)-inf.0(-inf.0 -inf.0)+nan.0validexit20.524683#f
(5.786214701835292e+269 -1.0272711272930137e-171 4.066457302515848e-275)+inf.0(0.0 +inf.0)+nan.0validexit30.23463499999999998#f
(9.196556219817347e+199 1.2944254107747365e+32 -1.027953485586988e-216)+inf.0(3.760548248838269e-85 +inf.0)+nan.0validexit30.41243399999999997#f
(-3.9623571226104886e+205 4.2325926894491534e-150 8.752796605570756e-153)-1.5406429069886112e+104(-inf.0 -0.0)+nan.0validexit30.29988299999999996#f
(-4.404464939659067e-36 -5.991311117860347e-77 -7.252944689303042e-278)-inf.0(-inf.0 -inf.0)+nan.0validexit20.28099#f
(-7.014367866350584e+223 -3.354164940086825e-17 5.317829498518929e-296)-inf.0(-inf.0 -2.126444829316485e-95)+nan.0validexit30.188084#f
(1.3497738903549561e+26 2.3733156542348902e-170 2.5640231974411906e-243)+inf.0(6.426932830110908e+86 +inf.0)+nan.0validexit20.193112#f
(-7.515095021227472e+81 -1.6986390810932114e+160 -1.1932492959532579e-269)-inf.0(-inf.0 -inf.0)+nan.0validexit30.194784#f
(2.6435345305501353e+284 -4.206369942057579e-88 1.6570852708550104e-262)+inf.0(0.0 +inf.0)+nan.0validexit30.324332#f
(-1.5137579187331385e-80 -6.06865723385921e+176 -1.0728741882970466e-290)-inf.0(-inf.0 -inf.0)+nan.0validexit20.186167#f
(-2.339622378082597e+251 5.51235234982109e-288 1.6916363726333334e-248)-3.171977592262285e+165(-inf.0 -0.0)+nan.0validexit30.18693#f
(-1.806976837115456e+184 -1.3592567687030586e+257 -3.586192898530701e-275)-inf.0(-inf.0 -inf.0)+nan.0validexit30.171737#f
(-4.953227805565902e-51 5.279790451859236e-77 4.0181605946957923e-300)-inf.0(-inf.0 -inf.0)+nan.0validexit20.28495000000000004#f
(1.748177031187204e+250 -1.3250188188855925e+239 -8.4107136750024e-310)+inf.0(+inf.0 +inf.0)+nan.0validexit30.20001400000000003#f
(-1.2146911485935803e+152 -3.5356421246755484e-259 -1.2333971777814723e-246)-inf.0(-inf.0 -0.0)+nan.0validexit30.332886#f
(-1.2859457991175365e+258 9.053689644486405e-218 -1.3327555650301652e-213)-4.04069917682033e+159(-inf.0 -0.0)+nan.0validexit30.298634#f
(4.010301275373096e-37 2.7263079376470068e+197 7.593532877789388e-266)+inf.0(+inf.0 +inf.0)+nan.0validexit20.29608500000000004#f
(0.013903467691291114 -2.9275735680777785e+22 -2.6332360370877e-303)+inf.0(+inf.0 +inf.0)+nan.0validexit20.283861#f
(3.7889160616796574e+297 -2.8076987196361312e-95 1.7956815874025054e-305)+inf.0(0.0 +inf.0)+nan.0validexit30.186309#f
(2.005931239174286e+234 5.236818281368132e-252 5.63128977033255e-208)2.7190516663661696e+92(0.0 +inf.0)+nan.0validexit30.18090799999999999#f
(-4.126294687024695e+209 2.656995455944332e-53 3.227009777161903e-262)-inf.0(-inf.0 -1.7800002417733506e-192)+nan.0validexit30.222257#f
(-1.5178069593541732e+62 5.047304492815864e-115 1.9879691042228614e-290)-inf.0(-inf.0 -3.400711993516153e+183)+nan.0validexit30.264496#f
(-1.5486147157877753e+244 -1.5499281745682504e-59 -1.1841851381852088e-288)-inf.0(-inf.0 -8.50890177456994e-256)+nan.0validexit30.18694999999999998#f
(-3.624394971934105e+105 2.7576386832317565e+206 -8.425356016039484e-274)-inf.0(-inf.0 -inf.0)+nan.0validexit30.305013#f
(1.075076170502325e+67 -2.288130973561919e+223 8.841517906935525e-275)+inf.0(+inf.0 +inf.0)+nan.0validexit30.17458200000000001#f
(-1.3313511143469602e+105 -4.0735766649622774e-24 4.765192318609864e-269)-inf.0(-inf.0 -5.712586988988669e+193)+nan.0validexit30.298448#f
(7.159984907417712e+134 -2.6165884971762387e-120 2.49420145856265e-292)+inf.0(5.5308413351560736e-42 +inf.0)+nan.0validexit30.30376#f
(2.89490832207475e+45 -3.566734470474999e-305 -1.1459672730609934e-300)+inf.0(7.365672520474028e-127 +inf.0)+nan.0validexit30.278816#f
(4.436563069257695e+174 -1.5780361352435994e+115 1.3733317227327636e-277)+inf.0(2.7890912742904695e+279 +inf.0)+nan.0validexit30.266894#f
(6.674401377918745e+160 4.149658295773464e+126 1.7234943276872908e-259)+inf.0(3.59656337376323e+307 +inf.0)+nan.0validexit30.177079#f
(-2.4635287591556182e-32 3.220956075479774e+133 1.635633360982475e-250)-inf.0(-inf.0 -inf.0)+nan.0validexit20.176709#f
(-5.347546896193635e+36 2.3576851511728535e-209 4.916253217162283e-238)-inf.0(-inf.0 -2.774335928827327e-34)+nan.0validexit20.320909#f
(1.73159012750716e-54 -4.0803706307800614e-166 -1.3210576286931031e-267)+inf.0(+inf.0 +inf.0)+nan.0validexit20.17298#f
(6.807061265580889e+85 1.157511958698416e-30 1.3901539318840795e-282)+inf.0(4.0547672741345544e+265 +inf.0)+nan.0validexit30.263021#f
(3.4502914594738502e-9 -3.9235337294362486e+174 -4.156600527716096e-305)+inf.0(+inf.0 +inf.0)+nan.0validexit20.18852#f
(-5.8131774444551895e-40 -1.1577814048803133e-209 1.6004671848022843e-272)-inf.0(-inf.0 -4.9140387325921416e+262)+nan.0validexit20.192881#f
(2.803097464248233e+61 -6.949454468370006e-126 -8.473869771541564e-138)6.682917246057829e+236(5.6330419287255875e-142 +inf.0)+nan.0validexit20.2882#f
(-3.083947292753412e+51 -5.5246886634243876e+165 2.6471464941359912e-264)-inf.0(-inf.0 -inf.0)+nan.0validexit20.275085#f
(-5.168315798339181e-28 3.518040722811171e+99 -5.442393011911044e-289)-inf.0(-inf.0 -inf.0)+nan.0validexit20.261193#f
(-3.462795823816669e+68 -3.829633585520695e-74 1.0810972328600892e-197)-inf.0(-inf.0 -5.574732106124528e+60)+nan.0validexit20.274839#f
(2.7498922123652664e+38 -5.785896261103175e+28 -2.2559586077039002e-210)+inf.0(+inf.0 +inf.0)+nan.0validexit20.348891#f
(-1.0684264319470677e+290 -3.3695393838763213e+254 -8.886476171263431e-138)-inf.0(-inf.0 -2.174541819601311e-68)+nan.0validexit30.290837#f
(1.6108271964786068e-65 -6.0973248987525946e-207 5.575936942641018e-245)+inf.0(5.277349162666468e+289 +inf.0)+nan.0validexit20.187386#f
(-7.411492694318932e+150 -5.173051786232369e-185 9.921156983695796e-265)-inf.0(-inf.0 -1.2318892825766538e-274)+nan.0validexit30.26478999999999997#f
(-2.0768707811814997e+165 2.0773528857241815e-162 6.492760559647285e-148)-2.3384254314815327e+100(-inf.0 -0.0)+nan.0validexit20.360824#f
(-6.511433951441827e+86 8.082730782611105e-277 1.5081587716604922e-281)-inf.0(-inf.0 -1.919163176601163e-232)+nan.0validexit30.16884300000000002#f
(5.116973765020313e+92 6.27983169778304e-66 8.847210158761331e-252)+inf.0(6.936868683355631e+112 +inf.0)+nan.0validexit30.33194399999999996#f
(-6.331321365503518e+207 -6.468281867791479e+173 -3.967645410406715e-216)-inf.0(-inf.0 -1.9317406451682575e+174)+nan.0validexit30.31610299999999997#f
(-1.475368728121681e+115 1.676164548786424e-248 -1.1773733496840872e-141)-1.982010354933631e-47(-inf.0 -0.0)+nan.0validexit20.287024#f
(6.572472714341068e+206 1.2076970183872543e-255 -7.314150784756257e-278)+inf.0(0.0 +inf.0)+nan.0validexit30.31106900000000004#f
(7.21975509831641e+170 1.1305344921015465e+211 -1.0335763367901549e-259)+inf.0(+inf.0 +inf.0)+nan.0validexit30.17949299999999999#f
(47.48743738547337 -2.377724633463767e+42 7.942714502929846e-241)+inf.0(+inf.0 +inf.0)+nan.0validexit20.390401#f
(-8.450240145043613e+101 -7.105515997554537e-307 2.113121339348451e-273)-inf.0(-inf.0 -0.0)+nan.0validexit30.203935#f
(-4.011677687992251e+113 -1.9316485864739167e+29 -9.002367960725791e-230)-inf.0(-inf.0 -1.3154802863397793e+195)+nan.0validexit30.185776#f
(3.6416637393583284e-74 -6.191291749877804e+66 7.710979497521904e-281)+inf.0(+inf.0 +inf.0)+nan.0validexit20.17984699999999998#f
(3.555720425842622e-81 8.542274662738569e-110 1.1262233334981224e-273)+inf.0(+inf.0 +inf.0)+nan.0validexit20.286597#f
(-1.9830274003036245e-30 1.4643480453252854e-144 -3.8798549730289587e-308)-inf.0(-inf.0 -inf.0)+nan.0validexit20.16716#f
(-1.876061030886583e+155 1.1200860971975142e+237 1.9498877525882255e-295)-inf.0(-inf.0 -inf.0)+nan.0validexit30.17936#f
(7.41238672889172e+181 -6.6706543491323415e-124 4.687347313116937e-308)+inf.0(9.17335329392577e-159 +inf.0)+nan.0validexit30.17521#f
(-1.8711362485781456e-66 -1.0804672530056238e-162 -1.113695971519132e-249)-inf.0(-inf.0 -inf.0)+nan.0validexit20.165856#f
(1863018603709.0823 -1.5199052237252522e-307 -1.5830158972419457e-237)+inf.0(2.6298477719404276e-158 +inf.0)+nan.0validexit20.166075#f
(1.8047546685822354e-20 -98985307.21219213 6.709494523976826e-197)+inf.0(+inf.0 +inf.0)+nan.0validexit20.266901#f
(-8.262131485853168e+70 -1.0037441680052657e+96 5.185291349104329e-156)-inf.0(-inf.0 -inf.0)+nan.0validexit20.29818100000000003#f
(1.8573812463214187e+180 -2.265349720575764e+149 -7.950963558232906e-240)+inf.0(2.3369398919802765e+255 +inf.0)+nan.0validexit30.17782299999999998#f
(2.044625955057797e+73 -5.535042681105454e+162 4.018168670077687e-294)+inf.0(+inf.0 +inf.0)+nan.0validexit30.18107499999999999#f
(88211165159.70314 2.9685935357933973e+80 4.556911438088492e-270)+inf.0(+inf.0 +inf.0)+nan.0validexit20.285454#f
(2.5270673861855683e+59 1.3035680605843882e-90 -9.722523608102343e-287)+inf.0(2.0548430850107774e+233 +inf.0)+nan.0validexit30.185188#f
(-6.708022605764218e-19 -1.763271427498795e-233 2.622458210070061e-270)-inf.0(-inf.0 -2.7628503235117758e+147)+nan.0validexit20.277667#f
(-1.1299639568280338e-23 -9.289173218970479e-284 7.736999807359156e-277)-inf.0(-inf.0 -1.8430405945172236e+74)+nan.0validexit20.162068#f
(-9.780680050543623e+233 -4.693145551578875e-170 -1.1997823537709129e-266)-inf.0(-inf.0 -0.0)+nan.0validexit30.36359400000000003#f
(-6.476057438967139e+217 -3.4729881148169658e-28 2.4198230482771675e-266)-inf.0(-inf.0 -1.3990299846260587e-158)+nan.0validexit30.272324#f
(9.835362903125485e+204 -2.664922858341374e-237 -1.8520874894245345e-307)+inf.0(0.0 +inf.0)+nan.0validexit30.179584#f
(-3.8345425614406064e+62 -4.452748118155213e-49 3.9651437709298765e-257)-inf.0(-inf.0 -4.1258878095400934e+247)+nan.0validexit20.347077#f
(-4.458706173795187e+124 -11025122442.351912 -3.3933819597792226e-227)-inf.0(-inf.0 -2.1968201895078496e+118)+nan.0validexit30.18495799999999998#f
(3.99077473725541e+254 -2.0749697651953124e+226 -2.4427920765947062e-300)+inf.0(2.0941058014252114e+307 +inf.0)+nan.0validexit30.178699#f
(1.5986889130601093e+119 -1.5208254793094895e+98 -9.637583535073896e-210)+inf.0(1.1242173466764825e+276 +inf.0)+nan.0validexit20.303263#f
(2.5439668342442792e+259 -5.631290033637004e-118 -3.43832696708397e-281)+inf.0(0.0 +inf.0)+nan.0validexit30.300261#f
(2.8022083353046276e+215 2.318543996272658e+51 5.251027545708175e-145)+inf.0(1.6344082679636439e-236 +inf.0)+nan.0validexit30.363572#f
(-6.994319021797559 -3.0547276383727025e-146 8.032617933122548e-258)-inf.0(-inf.0 -7.796760221769076e+239)+nan.0validexit20.162788#f
(-2.8873746331627665e+136 -5.935520364252159e-248 2.0648252395510273e-271)-inf.0(-inf.0 -0.0)+nan.0validexit30.17580800000000002#f
(-1.1429344630980399e-53 1.1991426257626507e-109 -1.0830990226840313e-250)-inf.0(-inf.0 -inf.0)+nan.0validexit20.29733#f
(-2.4214911641306685e-97 -6.310689257450241e-146 1.771038816674112e-278)-inf.0(-inf.0 -inf.0)+nan.0validexit20.251481#f
(-2.9788596113537886e+20 7.000520503792481e-72 3.1976450374319903e-289)-inf.0(-inf.0 -inf.0)+nan.0validexit20.186512#f
(-5.35634890735583e-33 1.7239667092705055e+93 -4.6343806289129233e-299)-inf.0(-inf.0 -inf.0)+nan.0validexit20.183773#f
(4.40053488662912e+53 2.8690795724912867e-106 -7.781929967189464e-302)+inf.0(2.942482360165985e+249 +inf.0)+nan.0validexit30.28502900000000003#f
(2.719446177662554e-78 -2.611656698392955e-102 -2.2989621264455398e-306)+inf.0(+inf.0 +inf.0)+nan.0validexit20.299607#f
(4.8004649470817506e+114 8.223057978435456e-137 8.180156784806815e-278)+inf.0(1.6850518287681652e-43 +inf.0)+nan.0validexit30.40902799999999995#f
(-8.864528333960218e+277 -8.997232217985919e-268 -1.1073159019298325e-268)-1.2148036148092263e+260(-inf.0 -0.0)+nan.0validexit30.19687000000000002#f
(-2.3395573997196756e+303 4.147932655399064e-294 -5.2097957251475506e-294)-1.99653489008704e+283(-inf.0 -0.0)+nan.0validexit30.18449#f
(5615557.908206695 1.2815638529203306e-232 -8.376729379595386e-246)+inf.0(2.4382179297485265e+25 +inf.0)+nan.0validexit20.253498#f
(-3831.208416027236 3.5494365062410257e-205 7.21394117256392e-292)-inf.0(-inf.0 -7.941197897055759e+181)+nan.0validexit20.162326#f
(-3.870731737291338e+154 -1.7399352610138708e+144 6.155091895891144e-307)-inf.0(-inf.0 -inf.0)+nan.0validexit30.305701#f
(-1.1447052436911332e-11 -2.1269745466444804e-281 -8.030682931535368e-265)-inf.0(-inf.0 -8626970888459504000.0)+nan.0validexit20.147362#f
(-1.371186432482846e-22 -2.8757893739137246e-155 -3.2321078179122067e-288)-inf.0(-inf.0 -inf.0)+nan.0validexit20.256936#f
(1.829451200013069e+222 1.4208705786038032e-254 2.7080718419454638e-214)4.103717757850336e+124(0.0 +inf.0)+nan.0validexit30.18495499999999998#f
(-3.2750811921118444e+176 -2.128636671051646e+142 3.77086094582513e-292)-inf.0(-inf.0 -inf.0)+nan.0validexit30.20427800000000002#f
(-4.771010503976387e+225 7715186524877642.0 2.7178173483678784e-299)-inf.0(-inf.0 -1.368802947422545e-29)+nan.0validexit30.367098#f
(-3.5849312172987678e+292 -4.632440965943167e+106 1.6445917060569318e-282)-inf.0(-inf.0 -3.176733887425572e-82)+nan.0validexit30.176825#f
(2.4585321793457403e-64 7.024259649117693e-208 1.993586490513477e-276)+inf.0(+inf.0 +inf.0)+nan.0validexit20.186781#f
(-2.5736863725324423e+150 -1.8228288988174686e-94 1.6235278835490111e-304)-inf.0(-inf.0 -1.3640338882186396e-12)+nan.0validexit30.169173#f
(-6.373570729526348e+248 -9.940953294787047e+174 -8.38993001729753e-299)-inf.0(-inf.0 -1.0002548910383355e+219)+nan.0validexit30.178515#f
(-3.594096603805975e+32 6.774212283871313e+261 -2.491457256667954e-150)-inf.0(-inf.0 -inf.0)+nan.0validexit20.303487#f
(7.364700075189049e+104 7.719811816183204e-222 -1.8546155024656075e-237)+inf.0(8.001293173393992e-265 +inf.0)+nan.0validexit30.18018499999999998#f
(3.6682471127967623e+111 -1.2755524232709482e+271 -1.9474133522351e-194)+inf.0(+inf.0 +inf.0)+nan.0validexit20.272497#f
(-1.0592117254091221e+82 1.895016759858262e-170 -1.3090230970632066e-265)-inf.0(-inf.0 -3.2531409073209475e-37)+nan.0validexit30.168829#f
(-1.1840825707122013e+20 9.560283180827961e-117 1.343498329290951e-278)-inf.0(-inf.0 -5.626534790894908e+282)+nan.0validexit20.170633#f
(-2.3221151382749213e+53 1.1987043738454785e-127 -1.8385076746046986e-252)-inf.0(-inf.0 -6.262702174014264e+108)+nan.0validexit20.188109#f
(-4.778160049003825e-29 -123422031.60176548 -1.411102391622182e-230)-inf.0(-inf.0 -inf.0)+nan.0validexit20.167931#f
(-1.6600596433672858e+220 -191694664835678000.0 1.1313050396909503e-300)-inf.0(-inf.0 -1.1577352463057244e-7)+nan.0validexit30.16863699999999998#f
(-2.724926390463694e+116 2.0661075127143888e+251 8.814100520183323e-219)-inf.0(-inf.0 -inf.0)+nan.0validexit20.18077300000000002#f
(-1.5871288928956473e+50 8.55941249197742e+74 3.3922458305537034e-227)-inf.0(-inf.0 -inf.0)+nan.0validexit20.44939999999999997#f
(1.2257590644319644e+38 5.658618719639267e+290 1.1255865042706576e-301)+inf.0(+inf.0 +inf.0)+nan.0validexit30.189841#f
(-9.649055161055962e+229 -2.9181091507074475e+51 1.1744532200020018e-247)-inf.0(-inf.0 -1.2676430336283603e-74)+nan.0validexit30.173239#f
Sollya timings
Total time spent in Sollya 1.7s
Bogosity

preprocess210.0ms (0.5%)

Algorithm
egg-herbie
Rules
748×associate-*l*
640×times-frac
618×associate-*r*
515×associate-/r*
329×associate-*r/
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0931080
1257990
21094924
Stop Event
node limit
Calls
Call 1
Inputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(neg.f64 (/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(neg.f64 (/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(neg.f64 (/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 l #s(literal 3 binary64)) (*.f64 t t)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k l) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 t)) (tan.f64 t)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t k) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 k k)) (sin.f64 l)) (tan.f64 l)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 l t) #s(literal 2 binary64))) #s(literal 1 binary64))))
Outputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(*.f64 (/.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(*.f64 (/.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 (/.f64 #s(literal 2 binary64) (*.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -2 binary64) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))))))
(/.f64 (/.f64 (/.f64 (/.f64 #s(literal -2 binary64) (pow.f64 t #s(literal 3 binary64))) (/.f64 (/.f64 (sin.f64 k) l) l)) (tan.f64 k)) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(*.f64 (/.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(*.f64 (/.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(neg.f64 (/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(*.f64 (/.f64 #s(literal 2 binary64) (*.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(neg.f64 (/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (*.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -2 binary64) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))))))
(/.f64 (/.f64 (/.f64 (/.f64 #s(literal -2 binary64) (pow.f64 t #s(literal 3 binary64))) (/.f64 (/.f64 (sin.f64 k) l) l)) (tan.f64 k)) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))
(neg.f64 (/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (*.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -2 binary64) (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (*.f64 (sin.f64 k) (*.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))))))
(/.f64 (/.f64 (/.f64 (/.f64 #s(literal -2 binary64) (pow.f64 t #s(literal 3 binary64))) (/.f64 (/.f64 (sin.f64 k) l) l)) (tan.f64 k)) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 l #s(literal 3 binary64)) (*.f64 t t)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k l) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (sin.f64 k) (/.f64 (pow.f64 l #s(literal 3 binary64)) (*.f64 t t))) (*.f64 (tan.f64 k) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k l) #s(literal 2 binary64)) #s(literal 1 binary64))))))
(/.f64 (/.f64 #s(literal 2 binary64) (*.f64 (/.f64 (pow.f64 l #s(literal 3 binary64)) (*.f64 t t)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 (pow.f64 (/.f64 k l) #s(literal 2 binary64)) #s(literal 0 binary64)))
(/.f64 (/.f64 #s(literal 2 binary64) (*.f64 (pow.f64 l #s(literal 3 binary64)) (/.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (*.f64 t t)))) (pow.f64 (/.f64 k l) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 t)) (tan.f64 t)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t k) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 (/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (/.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) l) l) (sin.f64 t)) (tan.f64 t))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 t k) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (/.f64 (*.f64 (*.f64 (pow.f64 k #s(literal 3 binary64)) (sin.f64 t)) (*.f64 (tan.f64 t) (+.f64 (pow.f64 (/.f64 t k) #s(literal 2 binary64)) #s(literal 0 binary64)))) (*.f64 l l)))
(/.f64 (/.f64 (/.f64 #s(literal 2 binary64) (/.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) l) l)) (*.f64 (sin.f64 t) (tan.f64 t))) (pow.f64 (/.f64 t k) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 k k)) (sin.f64 l)) (tan.f64 l)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 l t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 (/.f64 #s(literal 2 binary64) (*.f64 (/.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) k) k) (*.f64 (sin.f64 l) (tan.f64 l)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 l t) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 k k)) (*.f64 (sin.f64 l) (tan.f64 l))) (+.f64 (pow.f64 (/.f64 l t) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (/.f64 (*.f64 (/.f64 #s(literal 2 binary64) (pow.f64 t #s(literal 3 binary64))) (*.f64 k k)) (sin.f64 l)) (*.f64 (tan.f64 l) (pow.f64 (/.f64 l t) #s(literal 2 binary64))))
Symmetry

(abs l)

(abs k)

(negabs t)

Compiler

Compiled 28 to 19 computations (32.1% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
34.2%
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
Compiler

Compiled 56 to 38 computations (32.1% saved)

simplify5.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02696
13796
24196
34496
44796
55096
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
Outputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal -1 binary64))))

soundness1.0ms (0%)

Stop Event
fuel
Compiler

Compiled 28 to 20 computations (28.6% saved)

preprocess48.0ms (0.1%)

Remove

(negabs t)

(abs k)

(abs l)

Compiler

Compiled 448 to 318 computations (29% saved)

end0.0ms (0%)

Profiling

Loading profile data...