* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 80 additional inputs, on iter 1 have 176 / 256
* * * * [misc]points:  Computing exacts on every 5 of 80 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 80 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 80 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 30 additional inputs, on iter 2 have 226 / 256
* * * * [misc]points:  Computing exacts for 30 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 14 additional inputs, on iter 3 have 242 / 256
* * * * [misc]points:  Computing exacts for 14 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 7 additional inputs, on iter 4 have 249 / 256
* * * * [misc]points:  Computing exacts for 7 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 5 have 250 / 256
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (-1.1898071852212994e-203 -2.402688942577156e-247 -2.6164452697366592e-130 -1.4862609482639623e-199): 0
* [misc]none:  (1.0686953716288921e-106 3.2100426925050856e+55 -1.4458662432520637e-96 -1.0354350294858621e+279): 0
* [misc]none:  (1.0894446901389515e-145 -1.707972500221408e-304 3.30697369223074e+69 -1.8080150636791624e+279): 0
* [misc]none:  (-2.8100705466050435e-264 1.2758858533245933e-67 173669324792532.34 -4.6176659445289727e-29): 0
* [misc]none:  (2.298061571154902e-228 -5.773966692960373e+51 1.9066255871185694e+200 2.3371543030897222e-272): 0
* [misc]none:  (6.305963274550554e+88 8.926686896499391e-274 -1.6858330919811524e-274 -8.325450409965606e+153): 0
* [misc]none:  (1.0923881709474209e+51 1.8896483389624e+34 5.880149463902669e+124 1.4997740794202146e+89): 0
* [misc]none:  (-3.937087206175053e-176 -2.0483405734335156e-246 -1.1303286336527296e-218 2.503679388999212e-132): 0
* [misc]none:  (3.9590026958834915e-85 -2.609649105975656e+283 8.657968992773508e+95 -6.299305905567488e-109): 0
* [misc]none:  (1.2245203674425963e-52 -2.599261022261025e+28 -1.2404960325123395e-145 -3.986155016854994e-88): 0
* [misc]none:  (-1.0900971512317263e-172 -2.083425804414414e-31 -1.29677522430256e+254 5.721651880578718e+220): 0
* [misc]none:  (2.9761497868954784e-39 1.6756011214932844e-91 2.5915564966829167e-214 -3.5276247569122253e+77): 0
* [misc]none:  (-5.819649918014578e+30 1.3985173051081924e+134 1.1689659050540508e-177 -9.350511591952145e-47): 0
* [misc]none:  (-7.3720989184009645e+84 2.9496786439545997e+59 -1.2421332652288517e-33 1.311782426290292e-81): 0
* [misc]none:  (2.2059280365907813e-303 -5.318534426060458e-80 4.35198762746262e-10 1.7940104434235838e-79): 0
* [misc]none:  (-243504670670049.88 1.058485305049321e-236 1.4958950327342934e+40 -5.6371087632408715e+230): 0
* [misc]none:  (5.984046261163795e-137 3.821394955430366e-65 -4.000738692973085e-56 -1.744016021183931e-146): 0
* [misc]none:  (-3.075763788296428e+80 6.216416123989873e-205 -2.1211816305410756e-51 35132951587276764.0): 0
* [misc]none:  (1.5612009751463173e-99 -1.0956137616687424e+167 6.341785155684271e+19 -1.1376431003759184e+61): 0
* [misc]none:  (7.719189018575495e+71 1.0375909582941405e+176 -5.9414456573203e-112 -3.1444471564655386e+68): 0
* [misc]none:  (-6.579336503804724e-137 -4.201687332453176e+294 -4.188640541099123e-240 -5.04517621812085e-211): 0
* [misc]none:  (7.201480790740299e-179 -1.0528348834850839e-171 -2.0234906773772564e-271 3.868576405210662e+205): 0
* [misc]none:  (1.5351760868919323e-228 2.492291349381809e-19 -4.875555867905252e-199 2.899542636930656e+251): 0
* [misc]none:  (1.401429077322298e+92 1.3428446636792012e+166 1.155828041799478e-25 2.2000645515690375e-50): 0
* [misc]none:  (-7.271587077259893e-226 1.9705583149777271e-109 1.0979695998687915e-153 -5.272918052887455e+21): 0
* [misc]none:  (-1.0557224393367667e-287 -1.0602545965876949e-83 -2.097376039552969e-59 1.7091892686943956e+58): 0
* [misc]none:  (-2.2539002849332968e-265 -1.4964795651141852e-196 -2.0018886171014017e-259 -1.4198762731586255e+199): 0
* [misc]none:  (-8.701966807348214e-98 -6.528897463383465e+106 -8.005774235885521e-222 4.6882050831899713e-61): 0
* [misc]none:  (7.6026405624929e-107 -9.02658171899888e-242 7.853946340424084e-31 1.8106066438142385e-303): 0
* [misc]none:  (4.1616295117645516e-297 -1.1117895226347587e+118 -4.587333194498395e-246 4.407106005875194e+273): 0
* [misc]none:  (-4.1485034402533176e-222 8.72528459659154e+185 -6.037599637066079e-85 -8.59381608277232e-166): 0
* [misc]none:  (-1.2181981442982234e-53 -3.2146571918868475e+228 6.70979198809255e+141 -2.2455234969830133e-264): 0
* [misc]none:  (-6.983962785097573e-51 -1.1852702155224395e+80 1.347719955281764e+173 -1.9275409821238873e-193): 0
* [misc]none:  (1.8906023094224292e-70 -2.6769753179315348e-294 1.513923077673974e+123 3.690253807384945e-279): 0
* [misc]none:  (-4.72783210390931e-179 -5.5845928261044e+41 2.3911248128943727e+19 -2.0087819690923217e-10): 0
* [misc]none:  (-7.503608348012301e-265 1.0057595184171553e+162 7.868352285821392e+300 -1.114660942490626e-145): 0
* [misc]none:  (-1.121741803515431e-99 1.568376481944387e+30 2.707507708506013e+247 -1.4642239730255607e-106): 0
* [misc]none:  (-6.654484048551861e-143 -9.145779719126825e-170 1.007308686287199e+219 2.8128021055302423e+21): 0
* [misc]none:  (-6.817285559732932e+77 2.4322104169090144e+59 -5.64562115887296e-67 -6.919431530853886e-241): 0
* [misc]none:  (-6.789706391572034e-29 1.2833800076666654e+297 1.2024322189636123e+83 -4.8855219926198957e+17): 0
* [misc]none:  (-2.3696248359511998e-194 -1.6097678576273684e-29 1.4618822012959264e-282 5.065009120000935e+239): 0
* [misc]none:  (-372361850817067.44 1.317370234131041e+243 -2.575712577691985e-232 -1.2783375370568742e-241): 0
* [misc]none:  (-1.2097021225541101e+49 7.692782005574916e+62 3.6221576629705254e-186 -4.599290808288309e-229): 0
* [misc]none:  (-9.919696253482455e-86 4.691190297816688e-66 -4.9900440527933084e-58 4.466996329928429e-182): 0
* [misc]none:  (4.8074975382703664e-256 -1.6043551988308188e-307 -1.204493419661556e-173 -2.580405250618422e-291): 0
* [misc]none:  (1.4133523127641337e+63 9.790781234731489e-232 2.756871347418425e-214 -1.4806132674899328e-192): 0
* [misc]none:  (-0.0038454694364671587 -1.9637364655995653e-299 -1.9192698786823155e+22 1.74812973482279e+219): 0
* [misc]none:  (-1.5937710990828589e-288 -1.374478381442758e-239 -2.3776197510767022e+215 -3.6609109886014927e-214): 0
* [misc]none:  (7.645860870937547e+35 -4.906911214776069e-48 -7.17424195134732e-70 3.4948457100278266e+74): 0
* [misc]none:  (-4.150672040298496e-253 -1.2766097815001397e+125 -5.1677730221874754e-107 -6.60836763026628e+215): 0
* [misc]none:  (6.984621633171347e-269 -7.486665465018262e-215 1.5637448761597387e-220 9.279685355440257e+94): 0
* [misc]none:  (2.888498031591123e-80 1.0913092803094753e+57 -1.4066856249071938e+166 8667284524996.796): 0
* [misc]none:  (5.989718852076057e-22 1.5075048890969188e+274 -43005.535297945375 -4.9850003411115104e+44): 0
* [misc]none:  (-1.6509120474285218e-225 -4.497226812316379e-23 -1.1880451513990447e-79 -1.1835678237758717e-300): 0
* [misc]none:  (1.4054065643843607e+143 -5.227672580615102e-70 7.359906380350718e-191 1.3040864443249938e-110): 0
* [misc]none:  (1.821753799857952e-142 5.2458139891945694e+154 -4.0135072159247725e+29 1.0410193423706427e+117): 0
* [misc]none:  (3.532644417124185e-126 -8.768238609926879e+20 1.4572701198617546e+35 -2.114090989525349e-257): 0
* [misc]none:  (1.0605849328606976e+17 4.635074616884763e+136 3.2413518799476666e+266 -4.1778642749867076e+95): 0
* [misc]none:  (2.3644283305363024e-83 3.9340975132726664e+287 5.2425466679918264e-219 1.0547624812292463e-145): 0
* [misc]none:  (4250237653.9536467 -8.50153961563616e-107 -4.8916602066052874e-26 -1.366939284848654e+161): 0
* [misc]none:  (-1.748959213197903e-296 4.732690630561365e-244 7.108611529458249e-125 9.447848277803998e-214): 0
* [misc]none:  (-7.736282106526743e-241 -1.1214178609242922e-117 6.980732986025448e-303 4.2936456292039216e-20): 0
* [misc]none:  (-1.6461152544114449e-13 -4.033078538958118e+228 3.4661781947574473e-174 1.0749556482282616e+190): 0
* [misc]none:  (-4.0337231452941667e-286 -1.559009452307907e-97 3.649786347632848e-41 -1.0846396097202371e-299): 0
* [misc]none:  (1.6006318383540955e-158 -5.4148381985889754e+200 -1.0206802772870221e+152 1.952264243778306e-263): 0
* [misc]none:  (-9.020752996011849e-177 -1.411295197436745e-164 -1.9195946566262024e-295 -1.5106206885795175e-107): 0
* [misc]none:  (2.006607317631719e-226 9.725570899664205e+257 3.518645085640818e+44 -2.5931746020885025e+28): 0
* [misc]none:  (0.0008770234648074342 -3.000257314698498e+132 1.8714595161099368e+273 2.4654525054106353e-86): 0
* [misc]none:  (-1.8949462573117547e-22 3.158096030820301e-40 -6.464870026091753e+94 -1.0596105633553124e-257): 0
* [misc]none:  (3.743828877055755e-229 -1.5127060893080662e+44 -1.0459962151452353e+51 -2.460777331035002e+109): 0
* [misc]none:  (5.2293282914369684e-111 2.6414869373061873e+100 -2.569654106643244e-104 1.971147563601233e+67): 0
* [misc]none:  (-2.8092386584898457e-126 4.956874447675854e+44 -0.0008637352641276258 3.9527646011654944e+223): 0
* [misc]none:  (-416887.1735918209 -1.3218720575766097e+259 -2.6361301161823517e+291 -3.58692239490092e-189): 0
* [misc]none:  (-7.847602258409696e-83 8.286468159250096e-185 -3.565946196176903e-45 -8.716790694938005e+19): 0
* [misc]none:  (9.220860892290228e-307 8.217214386486567e-257 2.114140784433744e-89 2.821244759184305e-36): 0
* [misc]none:  (-4.5211916553585705e-186 1.3883219622137886e-117 -2.929784598719304e+192 1.7728562712881217e-93): 0
* [misc]none:  (-4.805692180486833e-221 1.862577956912645e-48 -1.9260470074168923e-175 6.161714426091811e+49): 0
* [misc]none:  (6.408990163581508e-210 2.825265970836839e-258 -1.8851214371517585e-223 -2.4421042423952863e+259): 0
* [misc]none:  (-5.5884366551807404e-247 -9.756323410322376e-213 1.752981132145179e-167 8.580882316865485e-06): 0
* [misc]none:  (-7.917026565246701e-171 3.246664379752416e-272 3.8521445731814444e+260 2.7590103806751477e+222): 0
* [misc]none:  (3.5243641367880456e+86 -3.0008256032154172e-176 -7.986330642950897e-117 1.1611754700502491e-55): 0
* [misc]none:  (8.728226238434233e-64 -1.6133455999823373e+110 -3.9890484917100117e+257 -1.5117832743647305e-21): 0
* [misc]none:  (3.928924306566786e-70 5.222760300460367e-180 -4.026134204708055e+160 2.281413649637054e-166): 0
* [misc]none:  (4.156243175149629e-181 -9.231874857928986e-255 -1.65054043818576e-39 -1.0058709145515093e+290): 0
* [misc]none:  (-4.753699147196455e-118 -4.805584106456354e-282 -0.15058815983267834 3.714800492587865e+85): 0
* [misc]none:  (-2.2376851712564295e-118 1.64239269831532e+149 -1.576948173228613e+33 9.680698928511806e-32): 0
* [misc]none:  (1.954959341132994e-252 -7.83347153590065e-06 5.521334390623478e-06 -3.229654932887624e+201): 0
* [misc]none:  (-9.827696191097834e-18 -1.3343140776153144e-304 -9.906575581428813e+195 7.10957194421701e+200): 0
* [misc]none:  (8.781920275794267e+61 3.5618749791650757e+87 4.9372470656494625e-201 1.4446355009900792e+23): 0
* [misc]none:  (-3.5082856951249954e-122 9.917487178181935e-54 -7.01049497494046e-138 3.841494064694043e+276): 0
* [misc]none:  (-8.140052952226443e-29 -3.868827374468717e+273 -9.30868828487235e-242 7.865810923274834e+251): 0
* [misc]none:  (-1.977339157633397e-22 -12396.634829186376 2.0737883409435182e-60 8.938208620266642e-81): 0
* [misc]none:  (-5.711690539427335e-292 2.0698086438592394e+99 8.149794087375897e+77 1.4399038101240658e-157): 0
* [misc]none:  (-0.0033935472374883513 -1.873060887288803e+204 6.486236446634097e-143 -6.777569686362558e+23): 0
* [misc]none:  (5.334416108525731e+103 8.243928876632343e+120 4.915746009665795e+153 -1.2716911445748643e-294): 0
* [misc]none:  (3.3652051120813564e-167 -1.6071108269264857e+240 2.2507296241296892e-278 -8.625502649886978e-116): 0
* [misc]none:  (6.853656747763464e-298 1.5907488733120222e-68 -4.474252265840201e+73 1.3833425279814779e+61): 0
* [misc]none:  (-4.807303049624254e-15 1.8641906072853124e-122 -3.0274687809727364e-300 7.50358512361513e-69): 0
* [misc]none:  (1.5464847509065313e+116 -7.218711869488973e-243 -587327855578134.2 -3.1846212263600816e-18): 0
* [misc]none:  (4.187380162585325e-193 -1.32843112383632e+222 -1.1299275128362188e+120 6.659322155044152e+223): 0
* [misc]none:  (-1.1410424941898917e-307 -7.884101440606108e+43 3.2782900783384907e+260 1.2654023023741973e+87): 0
* [misc]none:  (5.3297020297971135e-251 4.360233270161975e+69 -1.2973858626691246e+248 -1.3038350073216301e+175): 0
* [misc]none:  (6.186245288104366e-177 4.0009214940503626e-296 -3.1670246594447204e-244 -4.944977315465704e+134): 0
* [misc]none:  (3.7946864491882027e-174 7.967379897939584e-266 5.338353252944482e+295 2.475773952907049e-271): 0
* [misc]none:  (5.261531518469373e-290 2.555657911489638e+100 2.1545947154827896e+229 2.6209188754640728e+107): 0
* [misc]none:  (-9.791675790911144e+50 5.462119320563526e+16 -7.461408405072584e-11 2.819362408294866e+247): 0
* [misc]none:  (-2.3695265370701153e-160 5.627370989949808e+102 -1.1307817728525e-192 2.729599448498006e-142): 0
* [misc]none:  (1.268161462925599e-223 1.8558602765266175e+154 8.010626774664954e-118 3.197294045188449e-213): 0
* [misc]none:  (1.2309532522175715e-227 5.849070875002102e-168 -1.8322924530722165e+176 2.6481468427206757e-89): 0
* [misc]none:  (4.3906960513010925e-288 9.735553079850294e-195 -2.4642361000377723e+179 -223338690.5739434): 0
* [misc]none:  (2.617385806499904e-208 6.454193966659965e-12 1.2843486366644783e+218 1.6598105327534946e+245): 0
* [misc]none:  (-1.0342577969053837e-127 1.1325567110922881e-222 6.352964037059704e-48 2.0675888684205106e-37): 0
* [misc]none:  (3.9955309460256863e-193 -6.802352065741283e-237 1.7860466700053246e+179 -2.1540953112813662e-178): 0
* [misc]none:  (-1.1984894069610523e-255 2.286904329311883e+176 -3.0869297245392077e+307 -7.242911167116891e-28): 0
* [misc]none:  (-4.502005664483894e-90 -1.3669353810280968e+130 3.5925206879521377e-169 -1.3877894503805502e+162): 0
* [misc]none:  (3.851639943546658e-220 7.262940842293714e+141 2.5169641752150834e-130 -2.4010908942747236e-247): 0
* [misc]none:  (1175954691713314.2 1.6505576250215693e+254 -8.454483141733306e+289 3.2999709724191907e-111): 0
* [misc]none:  (-6.317430000587058e+24 -4.671984247068368e+114 -2.9619260441588295e+211 -7.22878673519174e-279): 0
* [misc]none:  (-3.759430214395936e-120 -1.445629235880647e+140 2.1262474173228004e+275 2.0609285567281652e-241): 0
* [misc]none:  (-1.322393042309631e-287 331.0762921520269 2.486727752761897e+186 6.1692613790114145e-176): 0
* [misc]none:  (3.16347551928874e-213 -1.999009223927216e-112 1.6628640493696272e+86 -1.5025592441357432e-91): 0
* [misc]none:  (1.526533864556896e-136 -1.1590427293178154e-110 2.3621708607435707e+306 -2.12081898299509e-251): 0
* [misc]none:  (-4.444969967255464e-50 -7.309457855467372e+172 -5.496412463214942e+159 -1.4721600470373534e-29): 0
* [misc]none:  (3.795139234164696e-109 9.806701774277626e-103 -3.123985774571585e+305 4.3713778543032466e+80): 0
* [misc]none:  (-4.0509904466518765e-37 -6.2678543781187986e-158 2.6870891996869854e+222 1.403842517343178e+239): 0
* [misc]none:  (2.1157410136365666e+27 1.7344997138936077e-42 -3.913559470208424e-83 -2.9867969528063676e+265): 0
* [misc]none:  (2.1939039916199917e-151 6.704445560737266e-185 -9.568307378321542e-67 3.826389705571192e+305): 0
* [misc]none:  (3.2252529629473372e-164 -1.7144787029551547e-76 1945731255459.47 3.4149900413992998e-118): 0
* [misc]none:  (-3.9457481405050707e-140 -3.8831186001124554e+177 3.9566905915205435e+222 -4.045276803805828e+248): 0
* [misc]none:  (2.0407374713985817e-67 6.798712177335776e+112 -1.7506244038659656e+155 -5.551664099930396e+287): 0
* [misc]none:  (1.622208144463601e-166 -8.556050344850203e+96 -7.922576985868201e-83 2.1548182655933656e-147): 0
* [misc]none:  (-1.7889344297298395e-138 8.336613082028674e+83 -5.612374503803972e+191 2.208377572236396e-264): 0
* [misc]none:  (1.625924245506842e+101 3.6974324674576528e-196 1.194352601301008e+170 -1.2990710049317618e+149): 0
* [misc]none:  (-2.439121548558237e-263 7.971191617216227e+278 -5.16988167177608e+53 2.6969709464868204e+192): 0
* [misc]none:  (-3.288801652693557e-126 -1.1724467728438874e+62 2.4787821728961726e-208 -4.583226060750687e+286): 0
* [misc]none:  (4.5505475745463453e+70 -4.7627047558420924e-178 9.818158704343799e+98 1.0173157545581e-152): 0
* [misc]none:  (-5.541734639256592e-158 6.582912119010719e-154 -2.7755596952545536e+214 -6.937852684341488e-17): 0
* [misc]none:  (-3.509811603569984e-162 1.0023146616707945e-196 -1.102805383752407e+91 -1.1833316978686804e-196): 0
* [misc]none:  (-2.074828050091204e+43 -1.6730371273659853e+134 7.03833207774333e+15 -1.3239959970038969e+98): 0
* [misc]none:  (4.1286963732031184e-303 -5.2489676640999375e-37 1.37725435443438e-133 2.7744697188841963e+109): 0
* [misc]none:  (-6.937438758466827e-192 -3.3253159094181508e+99 1.3198936947099211e-96 -1.5451834902703197e-42): 0
* [misc]none:  (-1.7726057829102443e-75 2.332651968655402e-142 -1.0504139891547427e+112 1.714387790028798e+53): 0
* [misc]none:  (-1.2604014885172566e-16 -3.533444382159577e+294 4.163796059008999e+263 9.568517745632325e+214): 0
* [misc]none:  (2.9372247799245325e+93 3.280888101399023e-178 2.4645417753990825e-46 1.1531681692158285e+126): 0
* [misc]none:  (-2.094542504845539e+96 3.658887962688304e-221 -8.114819311899108e-200 -3.106463349287814e-283): 0
* [misc]none:  (-3194.11813336966 3.8921610463731365e-84 -8.851204171241843e+281 -9.262519032529967e-34): 0
* [misc]none:  (8.483535156875368e-302 -1.345613125533753e+279 -1.8508777881935605e+151 -0.0006673038257262197): 0
* [misc]none:  (2.8621091346925045e-294 1.532108192832722e+128 -5.0502610074661083e+207 3.789685423350582e-08): 0
* [misc]none:  (-1.2565837085170136e-39 1.762534146009323e+140 -1.0334310654904308e-302 6.545384967014291e-225): 0
* [misc]none:  (9.107018310586045e+54 -2.971342031183356e+89 -1.6718446752859893e+111 4.918436108504659e-301): 0
* [misc]none:  (2.7394548302027227e-88 -3.8474489635359294e+91 3.118009484335783e-104 -5.8304170084179074e-46): 0
* [misc]none:  (-2.67503022703027e-297 -2.5128760687731143e+95 8995869217554.457 -1.9632140373363783e+122): 0
* [misc]none:  (1.2420866124564814e-293 6.3461851602547e-177 -3.432853067516309e-246 2.0914477614867384e-227): 0
* [misc]none:  (2.01314860958205e-179 4.1821161712206335e+98 -1.06513481701701e-107 -4.126212717690705e-129): 0
* [misc]none:  (-6.0258374336189325e+121 1.241885419647938e+111 3.5248326356674874e-60 -185563564389128.0): 0
* [misc]none:  (-3.2505753217846565e-280 -3.802991462899128e-34 2.5937923840174148e+191 2.0634010725481968e+279): 0
* [misc]none:  (-6.71288738518563e+35 -1.3468517163131261e+272 3.7544706354148685e+249 -5.537735150627702e+213): 0
* [misc]none:  (1.740072246435861e-207 1.3636559368742825e-149 1.946944651699716e-139 6.333153678225876e-68): 0
* [misc]none:  (8.70336562916574e-216 7.84549397492709e+169 6363.313367940982 -1.977991260671615e-272): 0
* [misc]none:  (-4.345326241698038e-278 5.823432666941199e+232 -3.1969871529936574e+166 3.226368417375545e+273): 0
* [misc]none:  (3.982342803919231e-46 -1.1442254260677068e-38 -1.1682833194119885e+290 1.7119636201650242e-68): 0
* [misc]none:  (5.22304174043592e-158 -3.807000870050907e+58 -1.6925574577510237e+214 8.377477023109926e-106): 0
* [misc]none:  (2.3080855823624493e-299 4.50326449267665e+246 1.0100264902476595e-152 6.2370208452565505e-251): 0
* [misc]none:  (0.002518103001908201 2.819308104709626e+146 -4.0300440872978227e-184 1.4105181521169557e+85): 0
* [misc]none:  (-1.2948317804463169e-282 -2.8090151520671207e+163 2.984404923140836e-249 5.437516292888218e-268): 0
* [misc]none:  (5.520248382898629e-230 6.71342285975285e-63 -3.464947738442053e-155 4.004060788521414e+101): 0
* [misc]none:  (4.890275917515567e-08 -5.005096670380054e+47 -1.1716631781329626e-278 2.3982589341782892e+126): 0
* [misc]none:  (-3.4998489762015864e-219 1.2430204782976187e-178 -1.9903644617661157e-253 -2.385315376938663e+253): 0
* [misc]none:  (1.6672558556111832e-132 -5.52786254698352e+123 -3.3129658515159495e+106 -2.2098708111796672e-198): 0
* [misc]none:  (-63767.21419834566 -1.7606249358192524e+273 267950632.53292695 5.624641690736252e-214): 0
* [misc]none:  (6.954230926244437e-248 -8.888663579267588e+145 -1.2824561231119317e-43 -5.084319674250709e+292): 0
* [misc]none:  (1.2017614084255727e-118 2.163051204570009e+135 -9.483463323409894e+83 1.3207468552144425e-275): 0
* [misc]none:  (161620833577619.34 2.9543484210487e+68 -4.0220565746330086e+125 -1.6011896215578737e-278): 0
* [misc]none:  (-8.84696133260257e-277 1.0241174400059815e-119 -1.279384825639919e+218 -4.0734910927239613e+279): 0
* [misc]none:  (-2.2941123619407014e-42 -1.5101815541228603e-252 4.849304008883996e+136 -1.9158965524986357e+21): 0
* [misc]none:  (-1.0078494497283481e-63 -4.666260546447364e-94 7.089677021982108e+243 5.396180940081133e+274): 0
* [misc]none:  (-1.0374694539724338e-22 3.1474503815022313e+156 2.237363577109642e+74 1.6588937679962464e-112): 0
* [misc]none:  (-7.185580883046913e-107 -9.568148082725508e-90 -1.9577524593014605e+255 2.4666697643039057e+135): 0
* [misc]none:  (-9.953058197226308e-231 -1.6523309537219388e+292 1.4077992202573094e+157 -1.6969785717566782e-186): 0
* [misc]none:  (4.042918419768235e-293 -3.2304680091420593e+273 -1.5418757249344543e-63 -1.5808149525401404e+250): 0
* [misc]none:  (-1.6177284163081556e-296 1.3558740031834803e-64 -9.115550998149062e+67 -4.7657636456813475e+188): 0
* [misc]none:  (6.054739181733751e+60 -3.7471130771905855e-70 -1.652280336936078e-182 -5.086606424901955e-26): 0
* [misc]none:  (-4.150888523033341e+56 2.5369593669384417e-158 4.1567543090652754e-33 -7.628468316635274e+118): 0
* [misc]none:  (-2.1412051815551306e+98 -7.67790351718318e-207 -1.1396663342585698e+185 -1.4047943834222912e+32): 0
* [misc]none:  (-2.455637018443649e+26 -5.138936398971843e-75 4.3707194781987494e-97 -2.547315038123042e-87): 0
* [misc]none:  (3.4204094411255474e+115 31.114677989939693 2.800912164521124e-20 -3.2777951328230936e-29): 0
* [misc]none:  (3.096144630304459e-05 -3.1136499993102923e-28 2.1273566438007147e+264 2.075848018336343e+269): 0
* [misc]none:  (1.341667886706771e+115 3.8005266578165216e-258 -1.0098619973673771e+143 2.57846868660545e+128): 0
* [misc]none:  (-3.877298803162118e-30 -1.8198742460941646e-81 -2.0820068164655182e+40 -7.236742688934569e+286): 0
* [misc]none:  (2.0547294018965633e+61 7.852155885222424e-118 -2.8375357663701133e-215 6.513244922065764e-226): 0
* [misc]none:  (-8.5828334236211e+37 -1.0997158053453796e+52 6.819956828556854e+177 -3.987835231847739e-28): 0
* [misc]none:  (-1.3157971823804226e+26 3.2159945588434616e-06 5.306065123039819 -7.710049967444384e+140): 0
* [misc]none:  (9.03697438609635e-254 5.834916983599053e-288 -3.248874545341504e+57 -4.693794485448123e+266): 0
* [misc]none:  (-1.0182917238227828e-268 7.874050663202412e-138 -2.9961253346398193e-277 -4.2324566784967944e-196): 0
* [misc]none:  (-6.824787913341571e-74 8.573472507341022e+41 -3.1598975960421508e+277 -3.3169741611569367e+305): 0
* [misc]none:  (1.4410801258605738e+62 106537.6777769988 -2.6159166493367154e-235 -2.576894021693856e-173): 0
* [misc]none:  (-4.230280825094585e+83 8.062228390339164e-110 -1.8358840832683498e+44 -2.156801537654526e+36): 0
* [misc]none:  (-3.512703779155646e-87 -6.846939373244303e+227 2.125743593675342e+150 -3.1982664100230636e+83): 0
* [misc]none:  (-9.296466940750938e-169 2.3403140268290895e-220 -5.094827374807951e+22 -3.0047845617322243e+245): 0
* [misc]none:  (3.456521015844278e-267 5.548340076310199e-111 -5.686069957565031e-220 -4.479806301623672e-178): 0
* [misc]none:  (-2.3266982566628708e-73 -4.924557161248151e-49 2.0491433117473444e+251 2.1868710093441635e-94): 0
* [misc]none:  (-2.9110234445746466e+124 4.292734438749543e-07 -1.3160349663332311e-291 -1.0651455859079758e-283): 0
* [misc]none:  (4.626894916535224e-128 1.114170127871121e+259 8.453366577306196e-160 -8.935111048608571e-173): 0
* [misc]none:  (-5.548866558621532e-09 0.0019265340891290363 2.5107596839002617e-188 -2715439348210.3716): 0
* [misc]none:  (3.8364962842018573e-131 -8.310532646005735e-88 9.373070312843732e-91 -1.3476877676941842e+188): 0
* [misc]none:  (1.011727234239232e-268 5.76823955439101e-249 -2.0681820259142047e+203 -5.358736018951544e-210): 0
* [misc]none:  (-3.780049011953038e-263 -7.356146101163064e-142 -4.679560768974975e-224 -1.7581458633759795e+76): 0
* [misc]none:  (-2.615425031816684e-28 9.00969948519257e+300 -4.472004514616723e-118 2.4547241600019345e+232): 0
* [misc]none:  (7.022076711242115e-133 -7.904392031638281e+133 -5.94028418794007e+211 -9.328298623753299e+123): 0
* [misc]none:  (2.7897856485649195e+91 -7.615983728780127e+169 2.2671544312728556e-110 -4.322803848542261e-113): 0
* [misc]none:  (2.0464785512671742e-124 -2.279499955673264e-41 -1.850524996285296e-308 210.29617744858183): 0
* [misc]none:  (1.8443037336290407e+119 1.235570583257771e-07 7.39364828803394e+144 9.572757352600472e-80): 0
* [misc]none:  (-8.263482383431276e+56 1.6735020533032694e-148 1.6974572504856568e+61 -1.377034538305207e-80): 0
* [misc]none:  (-1.6715690544966576e-306 -41538.1990786249 3.406045760877835e+88 7.154697731325867e-18): 0
* [misc]none:  (1.1827257715119543e+133 1133703838877282.8 -1.231112526930757e-160 -1.7178740641154851e+69): 0
* [misc]none:  (3.531223172330985e-199 5.561790722198777e-82 1.5966125201184553e-193 73.24749757442865): 0
* [misc]none:  (-2.724631320100406e-27 -2.1959347505640315e-30 -6.514269676843301e+151 6.350405678426733e-42): 0
* [misc]none:  (1.6264820388322788e-73 -8.92462382430405e+117 8.56121562438577e+42 -8.012550232878233e+169): 0
* [misc]none:  (8.085506903303148e+127 -6.662048955103134e-50 -1.1936228832434407e-215 -1.616421296572275e-95): 0
* [misc]none:  (-2.9792388844679605e-211 3.054914602589065e-231 4.28037460898893e-247 8.951357133421397e+261): 0
* [misc]none:  (-9.439216445870066e-303 -4.564038283928581e-212 -8.00690253001949e+51 -7.060550846613257e-208): 0
* [misc]none:  (70490605213811.38 8.958328541865542e+26 -2.410112009740526e-104 4.922620689486743e+203): 0
* [misc]none:  (1.3041099038408058e-212 -2.9819380671064978e-167 4.083424430648923e+183 -1.84691239558347e+206): 0
* [misc]none:  (9.82772199096638e-184 -0.0005445431205808766 -9.760619709968634e-219 3.056495369512451e+195): 0
* [misc]none:  (5.0171966828789554e-138 -1.966185886089553e+200 -6.136049555918513e+72 1.6205959038666692e-242): 0
* [misc]none:  (9.102084975803701e-73 1.1092121347572184e-110 -6.639510911604196e+175 2.57498018215315e-43): 0
* [misc]none:  (2.3662552894590427e-129 1.3750964240067652e+187 -1.0397319030974905e+183 4.148216972307568e-299): 0
* [misc]none:  (-1.0034953672262374e-265 2.1328345076060655e+213 1.1305911394319012e-232 -8.38914326287253e-263): 0
* [misc]none:  (-4.862315557426326e-166 1.5804699023329153e+65 -2.139347918895688e-80 6.554035853976155e+72): 0
* [misc]none:  (1.688255687952905e-96 -1.6814543478450465e-128 4.619477991826317e-18 1.0680543533285456e+278): 0
* [misc]none:  (1.9611323415415745e-86 -3.8304230736310464e+242 -1.720347803844725e-196 -3.582156261294822e-268): 0
* [misc]none:  (-3.3220987303895537e-180 1.9403197539944438e+223 -4.6531835177398406e+185 3.546581902523324e-154): 0
* [misc]none:  (-1.5619087546491602e-221 -2.584772137942293e+219 -2.0678607446629235e+137 -8.303089001265501e+298): 0
* [misc]none:  (2.7393310993609565e+152 -1.6113898957787983e-52 -6.212428945791023e+47 -5.196571726219906e-217): 0
* [misc]none:  (3.288922076677153e-129 -5.073853151090717e-217 1.275262400280064e+115 -7.895205577227114e-182): 0
* [misc]none:  (6.367279917071204e-222 1.8221811659480027e-121 -2.8614905145170623e+306 3.024414610940235e+190): 0
* [misc]none:  (-1.072424178546835e-23 6.024543784805685e+199 1.912144754577731e+73 1.073014222071994e-89): 0
* [misc]none:  (6.196754456993032e-287 -3.9827066144536653e-171 -1.0286485127625864e-298 -1.1285626570027362e+135): 0
* [misc]none:  (-4.776010491506217e-251 1.1857260620126107e-225 -3.915646141841002e-274 4.467206992611306e-224): 0
* [misc]none:  (3.7433866315495255e-100 0.004023320988111097 2.3946550120845246e-259 -1.0815940482063273e+46): 0
* [misc]none:  (2.3798809592642995e-28 3.3704692725079323e+257 -1.3636328223560681e-22 -8.764721517968779e+269): 0
* [misc]none:  (2.3997350978047626e-178 4.600519571474852e-88 6.003719732958235e+79 1.2107176049983248e-107): 0
* [misc]none:  (-5.2772469545772277e-110 -2.754208658979561e-243 -4.067698187823243e+186 -5.9245268633364705e-74): 0
* [misc]none:  (9.019162429801532e+80 -4.6084963054943706e+215 -1.2554392192992633e-62 4.551772902242209e-14): 0
* [misc]none:  (3.531876854018308e+110 -3.774066981802101e-136 -1.8774219086401208e+34 -3.4786733153857704e+118): 0
* [misc]none:  (5.868986403494096e+94 4.127190428838376e-43 -7.485536097794548e+161 3.7022330501754275e-277): 0
* [misc]none:  (-273.76910481129096 -7.386566641835477e-134 -6.247611118487883e+144 1.4809209806860143e-135): 0
* [misc]none:  (-2.3673811049604336e-223 2.117339592899876e-204 -2.7515768522006534e+152 6.36251837952751e-62): 0
* [misc]none:  (70.44620346295014 1.2206180904045364e-180 2.2623254797469127e-08 -1.2424411499116058e-58): 0
* [misc]none:  (-4.625733863029134e+56 -2.8731691959913467e-294 -4.313954535023448e+150 -3.8301332966913054e-237): 0
* [misc]none:  (10796143.618751174 -4.076620582450341e-33 -1.1746540066638992e+92 -1.4093175768087903e-241): 0
* [misc]none:  (1.1839577582963604e+116 9.674006994299565e-83 -3.5420421171340546e-93 3.2662318799272605e-158): 0
* [misc]none:  (-7.139677079785131e-178 -1.692220611968734e+98 -3.4161227463738495e+111 -1.200556620841208e+48): 0
* [misc]none:  (-8.452224236270203e-247 2.7921439863513277e+163 2.3039998954419237e-259 -9.610193558184508e-183): 0
* [misc]none:  (-2.04232362464253e-80 -1.4415268502595641e-182 -1.0378383775826702e+106 -2.098198722577971e-82): 0
* [misc]none:  (-1.2467776558698273e+90 4.9168630160225e-288 -8.852290448282612e+41 -1.0803027606302613e-91): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))): 0
* [misc]none:  Best alt per point
* [misc]none:  (-1.1898071852212994e-203 -2.402688942577156e-247 -2.6164452697366592e-130 -1.4862609482639623e-199): 0
* [misc]none:  (1.0686953716288921e-106 3.2100426925050856e+55 -1.4458662432520637e-96 -1.0354350294858621e+279): 0
* [misc]none:  (1.0894446901389515e-145 -1.707972500221408e-304 3.30697369223074e+69 -1.8080150636791624e+279): 0
* [misc]none:  (-2.8100705466050435e-264 1.2758858533245933e-67 173669324792532.34 -4.6176659445289727e-29): 0
* [misc]none:  (2.298061571154902e-228 -5.773966692960373e+51 1.9066255871185694e+200 2.3371543030897222e-272): 0
* [misc]none:  (6.305963274550554e+88 8.926686896499391e-274 -1.6858330919811524e-274 -8.325450409965606e+153): 0
* [misc]none:  (1.0923881709474209e+51 1.8896483389624e+34 5.880149463902669e+124 1.4997740794202146e+89): 0
* [misc]none:  (-3.937087206175053e-176 -2.0483405734335156e-246 -1.1303286336527296e-218 2.503679388999212e-132): 0
* [misc]none:  (3.9590026958834915e-85 -2.609649105975656e+283 8.657968992773508e+95 -6.299305905567488e-109): 0
* [misc]none:  (1.2245203674425963e-52 -2.599261022261025e+28 -1.2404960325123395e-145 -3.986155016854994e-88): 0
* [misc]none:  (-1.0900971512317263e-172 -2.083425804414414e-31 -1.29677522430256e+254 5.721651880578718e+220): 0
* [misc]none:  (2.9761497868954784e-39 1.6756011214932844e-91 2.5915564966829167e-214 -3.5276247569122253e+77): 0
* [misc]none:  (-5.819649918014578e+30 1.3985173051081924e+134 1.1689659050540508e-177 -9.350511591952145e-47): 0
* [misc]none:  (-7.3720989184009645e+84 2.9496786439545997e+59 -1.2421332652288517e-33 1.311782426290292e-81): 0
* [misc]none:  (2.2059280365907813e-303 -5.318534426060458e-80 4.35198762746262e-10 1.7940104434235838e-79): 0
* [misc]none:  (-243504670670049.88 1.058485305049321e-236 1.4958950327342934e+40 -5.6371087632408715e+230): 0
* [misc]none:  (5.984046261163795e-137 3.821394955430366e-65 -4.000738692973085e-56 -1.744016021183931e-146): 0
* [misc]none:  (-3.075763788296428e+80 6.216416123989873e-205 -2.1211816305410756e-51 35132951587276764.0): 0
* [misc]none:  (1.5612009751463173e-99 -1.0956137616687424e+167 6.341785155684271e+19 -1.1376431003759184e+61): 0
* [misc]none:  (7.719189018575495e+71 1.0375909582941405e+176 -5.9414456573203e-112 -3.1444471564655386e+68): 0
* [misc]none:  (-6.579336503804724e-137 -4.201687332453176e+294 -4.188640541099123e-240 -5.04517621812085e-211): 0
* [misc]none:  (7.201480790740299e-179 -1.0528348834850839e-171 -2.0234906773772564e-271 3.868576405210662e+205): 0
* [misc]none:  (1.5351760868919323e-228 2.492291349381809e-19 -4.875555867905252e-199 2.899542636930656e+251): 0
* [misc]none:  (1.401429077322298e+92 1.3428446636792012e+166 1.155828041799478e-25 2.2000645515690375e-50): 0
* [misc]none:  (-7.271587077259893e-226 1.9705583149777271e-109 1.0979695998687915e-153 -5.272918052887455e+21): 0
* [misc]none:  (-1.0557224393367667e-287 -1.0602545965876949e-83 -2.097376039552969e-59 1.7091892686943956e+58): 0
* [misc]none:  (-2.2539002849332968e-265 -1.4964795651141852e-196 -2.0018886171014017e-259 -1.4198762731586255e+199): 0
* [misc]none:  (-8.701966807348214e-98 -6.528897463383465e+106 -8.005774235885521e-222 4.6882050831899713e-61): 0
* [misc]none:  (7.6026405624929e-107 -9.02658171899888e-242 7.853946340424084e-31 1.8106066438142385e-303): 0
* [misc]none:  (4.1616295117645516e-297 -1.1117895226347587e+118 -4.587333194498395e-246 4.407106005875194e+273): 0
* [misc]none:  (-4.1485034402533176e-222 8.72528459659154e+185 -6.037599637066079e-85 -8.59381608277232e-166): 0
* [misc]none:  (-1.2181981442982234e-53 -3.2146571918868475e+228 6.70979198809255e+141 -2.2455234969830133e-264): 0
* [misc]none:  (-6.983962785097573e-51 -1.1852702155224395e+80 1.347719955281764e+173 -1.9275409821238873e-193): 0
* [misc]none:  (1.8906023094224292e-70 -2.6769753179315348e-294 1.513923077673974e+123 3.690253807384945e-279): 0
* [misc]none:  (-4.72783210390931e-179 -5.5845928261044e+41 2.3911248128943727e+19 -2.0087819690923217e-10): 0
* [misc]none:  (-7.503608348012301e-265 1.0057595184171553e+162 7.868352285821392e+300 -1.114660942490626e-145): 0
* [misc]none:  (-1.121741803515431e-99 1.568376481944387e+30 2.707507708506013e+247 -1.4642239730255607e-106): 0
* [misc]none:  (-6.654484048551861e-143 -9.145779719126825e-170 1.007308686287199e+219 2.8128021055302423e+21): 0
* [misc]none:  (-6.817285559732932e+77 2.4322104169090144e+59 -5.64562115887296e-67 -6.919431530853886e-241): 0
* [misc]none:  (-6.789706391572034e-29 1.2833800076666654e+297 1.2024322189636123e+83 -4.8855219926198957e+17): 0
* [misc]none:  (-2.3696248359511998e-194 -1.6097678576273684e-29 1.4618822012959264e-282 5.065009120000935e+239): 0
* [misc]none:  (-372361850817067.44 1.317370234131041e+243 -2.575712577691985e-232 -1.2783375370568742e-241): 0
* [misc]none:  (-1.2097021225541101e+49 7.692782005574916e+62 3.6221576629705254e-186 -4.599290808288309e-229): 0
* [misc]none:  (-9.919696253482455e-86 4.691190297816688e-66 -4.9900440527933084e-58 4.466996329928429e-182): 0
* [misc]none:  (4.8074975382703664e-256 -1.6043551988308188e-307 -1.204493419661556e-173 -2.580405250618422e-291): 0
* [misc]none:  (1.4133523127641337e+63 9.790781234731489e-232 2.756871347418425e-214 -1.4806132674899328e-192): 0
* [misc]none:  (-0.0038454694364671587 -1.9637364655995653e-299 -1.9192698786823155e+22 1.74812973482279e+219): 0
* [misc]none:  (-1.5937710990828589e-288 -1.374478381442758e-239 -2.3776197510767022e+215 -3.6609109886014927e-214): 0
* [misc]none:  (7.645860870937547e+35 -4.906911214776069e-48 -7.17424195134732e-70 3.4948457100278266e+74): 0
* [misc]none:  (-4.150672040298496e-253 -1.2766097815001397e+125 -5.1677730221874754e-107 -6.60836763026628e+215): 0
* [misc]none:  (6.984621633171347e-269 -7.486665465018262e-215 1.5637448761597387e-220 9.279685355440257e+94): 0
* [misc]none:  (2.888498031591123e-80 1.0913092803094753e+57 -1.4066856249071938e+166 8667284524996.796): 0
* [misc]none:  (5.989718852076057e-22 1.5075048890969188e+274 -43005.535297945375 -4.9850003411115104e+44): 0
* [misc]none:  (-1.6509120474285218e-225 -4.497226812316379e-23 -1.1880451513990447e-79 -1.1835678237758717e-300): 0
* [misc]none:  (1.4054065643843607e+143 -5.227672580615102e-70 7.359906380350718e-191 1.3040864443249938e-110): 0
* [misc]none:  (1.821753799857952e-142 5.2458139891945694e+154 -4.0135072159247725e+29 1.0410193423706427e+117): 0
* [misc]none:  (3.532644417124185e-126 -8.768238609926879e+20 1.4572701198617546e+35 -2.114090989525349e-257): 0
* [misc]none:  (1.0605849328606976e+17 4.635074616884763e+136 3.2413518799476666e+266 -4.1778642749867076e+95): 0
* [misc]none:  (2.3644283305363024e-83 3.9340975132726664e+287 5.2425466679918264e-219 1.0547624812292463e-145): 0
* [misc]none:  (4250237653.9536467 -8.50153961563616e-107 -4.8916602066052874e-26 -1.366939284848654e+161): 0
* [misc]none:  (-1.748959213197903e-296 4.732690630561365e-244 7.108611529458249e-125 9.447848277803998e-214): 0
* [misc]none:  (-7.736282106526743e-241 -1.1214178609242922e-117 6.980732986025448e-303 4.2936456292039216e-20): 0
* [misc]none:  (-1.6461152544114449e-13 -4.033078538958118e+228 3.4661781947574473e-174 1.0749556482282616e+190): 0
* [misc]none:  (-4.0337231452941667e-286 -1.559009452307907e-97 3.649786347632848e-41 -1.0846396097202371e-299): 0
* [misc]none:  (1.6006318383540955e-158 -5.4148381985889754e+200 -1.0206802772870221e+152 1.952264243778306e-263): 0
* [misc]none:  (-9.020752996011849e-177 -1.411295197436745e-164 -1.9195946566262024e-295 -1.5106206885795175e-107): 0
* [misc]none:  (2.006607317631719e-226 9.725570899664205e+257 3.518645085640818e+44 -2.5931746020885025e+28): 0
* [misc]none:  (0.0008770234648074342 -3.000257314698498e+132 1.8714595161099368e+273 2.4654525054106353e-86): 0
* [misc]none:  (-1.8949462573117547e-22 3.158096030820301e-40 -6.464870026091753e+94 -1.0596105633553124e-257): 0
* [misc]none:  (3.743828877055755e-229 -1.5127060893080662e+44 -1.0459962151452353e+51 -2.460777331035002e+109): 0
* [misc]none:  (5.2293282914369684e-111 2.6414869373061873e+100 -2.569654106643244e-104 1.971147563601233e+67): 0
* [misc]none:  (-2.8092386584898457e-126 4.956874447675854e+44 -0.0008637352641276258 3.9527646011654944e+223): 0
* [misc]none:  (-416887.1735918209 -1.3218720575766097e+259 -2.6361301161823517e+291 -3.58692239490092e-189): 0
* [misc]none:  (-7.847602258409696e-83 8.286468159250096e-185 -3.565946196176903e-45 -8.716790694938005e+19): 0
* [misc]none:  (9.220860892290228e-307 8.217214386486567e-257 2.114140784433744e-89 2.821244759184305e-36): 0
* [misc]none:  (-4.5211916553585705e-186 1.3883219622137886e-117 -2.929784598719304e+192 1.7728562712881217e-93): 0
* [misc]none:  (-4.805692180486833e-221 1.862577956912645e-48 -1.9260470074168923e-175 6.161714426091811e+49): 0
* [misc]none:  (6.408990163581508e-210 2.825265970836839e-258 -1.8851214371517585e-223 -2.4421042423952863e+259): 0
* [misc]none:  (-5.5884366551807404e-247 -9.756323410322376e-213 1.752981132145179e-167 8.580882316865485e-06): 0
* [misc]none:  (-7.917026565246701e-171 3.246664379752416e-272 3.8521445731814444e+260 2.7590103806751477e+222): 0
* [misc]none:  (3.5243641367880456e+86 -3.0008256032154172e-176 -7.986330642950897e-117 1.1611754700502491e-55): 0
* [misc]none:  (8.728226238434233e-64 -1.6133455999823373e+110 -3.9890484917100117e+257 -1.5117832743647305e-21): 0
* [misc]none:  (3.928924306566786e-70 5.222760300460367e-180 -4.026134204708055e+160 2.281413649637054e-166): 0
* [misc]none:  (4.156243175149629e-181 -9.231874857928986e-255 -1.65054043818576e-39 -1.0058709145515093e+290): 0
* [misc]none:  (-4.753699147196455e-118 -4.805584106456354e-282 -0.15058815983267834 3.714800492587865e+85): 0
* [misc]none:  (-2.2376851712564295e-118 1.64239269831532e+149 -1.576948173228613e+33 9.680698928511806e-32): 0
* [misc]none:  (1.954959341132994e-252 -7.83347153590065e-06 5.521334390623478e-06 -3.229654932887624e+201): 0
* [misc]none:  (-9.827696191097834e-18 -1.3343140776153144e-304 -9.906575581428813e+195 7.10957194421701e+200): 0
* [misc]none:  (8.781920275794267e+61 3.5618749791650757e+87 4.9372470656494625e-201 1.4446355009900792e+23): 0
* [misc]none:  (-3.5082856951249954e-122 9.917487178181935e-54 -7.01049497494046e-138 3.841494064694043e+276): 0
* [misc]none:  (-8.140052952226443e-29 -3.868827374468717e+273 -9.30868828487235e-242 7.865810923274834e+251): 0
* [misc]none:  (-1.977339157633397e-22 -12396.634829186376 2.0737883409435182e-60 8.938208620266642e-81): 0
* [misc]none:  (-5.711690539427335e-292 2.0698086438592394e+99 8.149794087375897e+77 1.4399038101240658e-157): 0
* [misc]none:  (-0.0033935472374883513 -1.873060887288803e+204 6.486236446634097e-143 -6.777569686362558e+23): 0
* [misc]none:  (5.334416108525731e+103 8.243928876632343e+120 4.915746009665795e+153 -1.2716911445748643e-294): 0
* [misc]none:  (3.3652051120813564e-167 -1.6071108269264857e+240 2.2507296241296892e-278 -8.625502649886978e-116): 0
* [misc]none:  (6.853656747763464e-298 1.5907488733120222e-68 -4.474252265840201e+73 1.3833425279814779e+61): 0
* [misc]none:  (-4.807303049624254e-15 1.8641906072853124e-122 -3.0274687809727364e-300 7.50358512361513e-69): 0
* [misc]none:  (1.5464847509065313e+116 -7.218711869488973e-243 -587327855578134.2 -3.1846212263600816e-18): 0
* [misc]none:  (4.187380162585325e-193 -1.32843112383632e+222 -1.1299275128362188e+120 6.659322155044152e+223): 0
* [misc]none:  (-1.1410424941898917e-307 -7.884101440606108e+43 3.2782900783384907e+260 1.2654023023741973e+87): 0
* [misc]none:  (5.3297020297971135e-251 4.360233270161975e+69 -1.2973858626691246e+248 -1.3038350073216301e+175): 0
* [misc]none:  (6.186245288104366e-177 4.0009214940503626e-296 -3.1670246594447204e-244 -4.944977315465704e+134): 0
* [misc]none:  (3.7946864491882027e-174 7.967379897939584e-266 5.338353252944482e+295 2.475773952907049e-271): 0
* [misc]none:  (5.261531518469373e-290 2.555657911489638e+100 2.1545947154827896e+229 2.6209188754640728e+107): 0
* [misc]none:  (-9.791675790911144e+50 5.462119320563526e+16 -7.461408405072584e-11 2.819362408294866e+247): 0
* [misc]none:  (-2.3695265370701153e-160 5.627370989949808e+102 -1.1307817728525e-192 2.729599448498006e-142): 0
* [misc]none:  (1.268161462925599e-223 1.8558602765266175e+154 8.010626774664954e-118 3.197294045188449e-213): 0
* [misc]none:  (1.2309532522175715e-227 5.849070875002102e-168 -1.8322924530722165e+176 2.6481468427206757e-89): 0
* [misc]none:  (4.3906960513010925e-288 9.735553079850294e-195 -2.4642361000377723e+179 -223338690.5739434): 0
* [misc]none:  (2.617385806499904e-208 6.454193966659965e-12 1.2843486366644783e+218 1.6598105327534946e+245): 0
* [misc]none:  (-1.0342577969053837e-127 1.1325567110922881e-222 6.352964037059704e-48 2.0675888684205106e-37): 0
* [misc]none:  (3.9955309460256863e-193 -6.802352065741283e-237 1.7860466700053246e+179 -2.1540953112813662e-178): 0
* [misc]none:  (-1.1984894069610523e-255 2.286904329311883e+176 -3.0869297245392077e+307 -7.242911167116891e-28): 0
* [misc]none:  (-4.502005664483894e-90 -1.3669353810280968e+130 3.5925206879521377e-169 -1.3877894503805502e+162): 0
* [misc]none:  (3.851639943546658e-220 7.262940842293714e+141 2.5169641752150834e-130 -2.4010908942747236e-247): 0
* [misc]none:  (1175954691713314.2 1.6505576250215693e+254 -8.454483141733306e+289 3.2999709724191907e-111): 0
* [misc]none:  (-6.317430000587058e+24 -4.671984247068368e+114 -2.9619260441588295e+211 -7.22878673519174e-279): 0
* [misc]none:  (-3.759430214395936e-120 -1.445629235880647e+140 2.1262474173228004e+275 2.0609285567281652e-241): 0
* [misc]none:  (-1.322393042309631e-287 331.0762921520269 2.486727752761897e+186 6.1692613790114145e-176): 0
* [misc]none:  (3.16347551928874e-213 -1.999009223927216e-112 1.6628640493696272e+86 -1.5025592441357432e-91): 0
* [misc]none:  (1.526533864556896e-136 -1.1590427293178154e-110 2.3621708607435707e+306 -2.12081898299509e-251): 0
* [misc]none:  (-4.444969967255464e-50 -7.309457855467372e+172 -5.496412463214942e+159 -1.4721600470373534e-29): 0
* [misc]none:  (3.795139234164696e-109 9.806701774277626e-103 -3.123985774571585e+305 4.3713778543032466e+80): 0
* [misc]none:  (-4.0509904466518765e-37 -6.2678543781187986e-158 2.6870891996869854e+222 1.403842517343178e+239): 0
* [misc]none:  (2.1157410136365666e+27 1.7344997138936077e-42 -3.913559470208424e-83 -2.9867969528063676e+265): 0
* [misc]none:  (2.1939039916199917e-151 6.704445560737266e-185 -9.568307378321542e-67 3.826389705571192e+305): 0
* [misc]none:  (3.2252529629473372e-164 -1.7144787029551547e-76 1945731255459.47 3.4149900413992998e-118): 0
* [misc]none:  (-3.9457481405050707e-140 -3.8831186001124554e+177 3.9566905915205435e+222 -4.045276803805828e+248): 0
* [misc]none:  (2.0407374713985817e-67 6.798712177335776e+112 -1.7506244038659656e+155 -5.551664099930396e+287): 0
* [misc]none:  (1.622208144463601e-166 -8.556050344850203e+96 -7.922576985868201e-83 2.1548182655933656e-147): 0
* [misc]none:  (-1.7889344297298395e-138 8.336613082028674e+83 -5.612374503803972e+191 2.208377572236396e-264): 0
* [misc]none:  (1.625924245506842e+101 3.6974324674576528e-196 1.194352601301008e+170 -1.2990710049317618e+149): 0
* [misc]none:  (-2.439121548558237e-263 7.971191617216227e+278 -5.16988167177608e+53 2.6969709464868204e+192): 0
* [misc]none:  (-3.288801652693557e-126 -1.1724467728438874e+62 2.4787821728961726e-208 -4.583226060750687e+286): 0
* [misc]none:  (4.5505475745463453e+70 -4.7627047558420924e-178 9.818158704343799e+98 1.0173157545581e-152): 0
* [misc]none:  (-5.541734639256592e-158 6.582912119010719e-154 -2.7755596952545536e+214 -6.937852684341488e-17): 0
* [misc]none:  (-3.509811603569984e-162 1.0023146616707945e-196 -1.102805383752407e+91 -1.1833316978686804e-196): 0
* [misc]none:  (-2.074828050091204e+43 -1.6730371273659853e+134 7.03833207774333e+15 -1.3239959970038969e+98): 0
* [misc]none:  (4.1286963732031184e-303 -5.2489676640999375e-37 1.37725435443438e-133 2.7744697188841963e+109): 0
* [misc]none:  (-6.937438758466827e-192 -3.3253159094181508e+99 1.3198936947099211e-96 -1.5451834902703197e-42): 0
* [misc]none:  (-1.7726057829102443e-75 2.332651968655402e-142 -1.0504139891547427e+112 1.714387790028798e+53): 0
* [misc]none:  (-1.2604014885172566e-16 -3.533444382159577e+294 4.163796059008999e+263 9.568517745632325e+214): 0
* [misc]none:  (2.9372247799245325e+93 3.280888101399023e-178 2.4645417753990825e-46 1.1531681692158285e+126): 0
* [misc]none:  (-2.094542504845539e+96 3.658887962688304e-221 -8.114819311899108e-200 -3.106463349287814e-283): 0
* [misc]none:  (-3194.11813336966 3.8921610463731365e-84 -8.851204171241843e+281 -9.262519032529967e-34): 0
* [misc]none:  (8.483535156875368e-302 -1.345613125533753e+279 -1.8508777881935605e+151 -0.0006673038257262197): 0
* [misc]none:  (2.8621091346925045e-294 1.532108192832722e+128 -5.0502610074661083e+207 3.789685423350582e-08): 0
* [misc]none:  (-1.2565837085170136e-39 1.762534146009323e+140 -1.0334310654904308e-302 6.545384967014291e-225): 0
* [misc]none:  (9.107018310586045e+54 -2.971342031183356e+89 -1.6718446752859893e+111 4.918436108504659e-301): 0
* [misc]none:  (2.7394548302027227e-88 -3.8474489635359294e+91 3.118009484335783e-104 -5.8304170084179074e-46): 0
* [misc]none:  (-2.67503022703027e-297 -2.5128760687731143e+95 8995869217554.457 -1.9632140373363783e+122): 0
* [misc]none:  (1.2420866124564814e-293 6.3461851602547e-177 -3.432853067516309e-246 2.0914477614867384e-227): 0
* [misc]none:  (2.01314860958205e-179 4.1821161712206335e+98 -1.06513481701701e-107 -4.126212717690705e-129): 0
* [misc]none:  (-6.0258374336189325e+121 1.241885419647938e+111 3.5248326356674874e-60 -185563564389128.0): 0
* [misc]none:  (-3.2505753217846565e-280 -3.802991462899128e-34 2.5937923840174148e+191 2.0634010725481968e+279): 0
* [misc]none:  (-6.71288738518563e+35 -1.3468517163131261e+272 3.7544706354148685e+249 -5.537735150627702e+213): 0
* [misc]none:  (1.740072246435861e-207 1.3636559368742825e-149 1.946944651699716e-139 6.333153678225876e-68): 0
* [misc]none:  (8.70336562916574e-216 7.84549397492709e+169 6363.313367940982 -1.977991260671615e-272): 0
* [misc]none:  (-4.345326241698038e-278 5.823432666941199e+232 -3.1969871529936574e+166 3.226368417375545e+273): 0
* [misc]none:  (3.982342803919231e-46 -1.1442254260677068e-38 -1.1682833194119885e+290 1.7119636201650242e-68): 0
* [misc]none:  (5.22304174043592e-158 -3.807000870050907e+58 -1.6925574577510237e+214 8.377477023109926e-106): 0
* [misc]none:  (2.3080855823624493e-299 4.50326449267665e+246 1.0100264902476595e-152 6.2370208452565505e-251): 0
* [misc]none:  (0.002518103001908201 2.819308104709626e+146 -4.0300440872978227e-184 1.4105181521169557e+85): 0
* [misc]none:  (-1.2948317804463169e-282 -2.8090151520671207e+163 2.984404923140836e-249 5.437516292888218e-268): 0
* [misc]none:  (5.520248382898629e-230 6.71342285975285e-63 -3.464947738442053e-155 4.004060788521414e+101): 0
* [misc]none:  (4.890275917515567e-08 -5.005096670380054e+47 -1.1716631781329626e-278 2.3982589341782892e+126): 0
* [misc]none:  (-3.4998489762015864e-219 1.2430204782976187e-178 -1.9903644617661157e-253 -2.385315376938663e+253): 0
* [misc]none:  (1.6672558556111832e-132 -5.52786254698352e+123 -3.3129658515159495e+106 -2.2098708111796672e-198): 0
* [misc]none:  (-63767.21419834566 -1.7606249358192524e+273 267950632.53292695 5.624641690736252e-214): 0
* [misc]none:  (6.954230926244437e-248 -8.888663579267588e+145 -1.2824561231119317e-43 -5.084319674250709e+292): 0
* [misc]none:  (1.2017614084255727e-118 2.163051204570009e+135 -9.483463323409894e+83 1.3207468552144425e-275): 0
* [misc]none:  (161620833577619.34 2.9543484210487e+68 -4.0220565746330086e+125 -1.6011896215578737e-278): 0
* [misc]none:  (-8.84696133260257e-277 1.0241174400059815e-119 -1.279384825639919e+218 -4.0734910927239613e+279): 0
* [misc]none:  (-2.2941123619407014e-42 -1.5101815541228603e-252 4.849304008883996e+136 -1.9158965524986357e+21): 0
* [misc]none:  (-1.0078494497283481e-63 -4.666260546447364e-94 7.089677021982108e+243 5.396180940081133e+274): 0
* [misc]none:  (-1.0374694539724338e-22 3.1474503815022313e+156 2.237363577109642e+74 1.6588937679962464e-112): 0
* [misc]none:  (-7.185580883046913e-107 -9.568148082725508e-90 -1.9577524593014605e+255 2.4666697643039057e+135): 0
* [misc]none:  (-9.953058197226308e-231 -1.6523309537219388e+292 1.4077992202573094e+157 -1.6969785717566782e-186): 0
* [misc]none:  (4.042918419768235e-293 -3.2304680091420593e+273 -1.5418757249344543e-63 -1.5808149525401404e+250): 0
* [misc]none:  (-1.6177284163081556e-296 1.3558740031834803e-64 -9.115550998149062e+67 -4.7657636456813475e+188): 0
* [misc]none:  (6.054739181733751e+60 -3.7471130771905855e-70 -1.652280336936078e-182 -5.086606424901955e-26): 0
* [misc]none:  (-4.150888523033341e+56 2.5369593669384417e-158 4.1567543090652754e-33 -7.628468316635274e+118): 0
* [misc]none:  (-2.1412051815551306e+98 -7.67790351718318e-207 -1.1396663342585698e+185 -1.4047943834222912e+32): 0
* [misc]none:  (-2.455637018443649e+26 -5.138936398971843e-75 4.3707194781987494e-97 -2.547315038123042e-87): 0
* [misc]none:  (3.4204094411255474e+115 31.114677989939693 2.800912164521124e-20 -3.2777951328230936e-29): 0
* [misc]none:  (3.096144630304459e-05 -3.1136499993102923e-28 2.1273566438007147e+264 2.075848018336343e+269): 0
* [misc]none:  (1.341667886706771e+115 3.8005266578165216e-258 -1.0098619973673771e+143 2.57846868660545e+128): 0
* [misc]none:  (-3.877298803162118e-30 -1.8198742460941646e-81 -2.0820068164655182e+40 -7.236742688934569e+286): 0
* [misc]none:  (2.0547294018965633e+61 7.852155885222424e-118 -2.8375357663701133e-215 6.513244922065764e-226): 0
* [misc]none:  (-8.5828334236211e+37 -1.0997158053453796e+52 6.819956828556854e+177 -3.987835231847739e-28): 0
* [misc]none:  (-1.3157971823804226e+26 3.2159945588434616e-06 5.306065123039819 -7.710049967444384e+140): 0
* [misc]none:  (9.03697438609635e-254 5.834916983599053e-288 -3.248874545341504e+57 -4.693794485448123e+266): 0
* [misc]none:  (-1.0182917238227828e-268 7.874050663202412e-138 -2.9961253346398193e-277 -4.2324566784967944e-196): 0
* [misc]none:  (-6.824787913341571e-74 8.573472507341022e+41 -3.1598975960421508e+277 -3.3169741611569367e+305): 0
* [misc]none:  (1.4410801258605738e+62 106537.6777769988 -2.6159166493367154e-235 -2.576894021693856e-173): 0
* [misc]none:  (-4.230280825094585e+83 8.062228390339164e-110 -1.8358840832683498e+44 -2.156801537654526e+36): 0
* [misc]none:  (-3.512703779155646e-87 -6.846939373244303e+227 2.125743593675342e+150 -3.1982664100230636e+83): 0
* [misc]none:  (-9.296466940750938e-169 2.3403140268290895e-220 -5.094827374807951e+22 -3.0047845617322243e+245): 0
* [misc]none:  (3.456521015844278e-267 5.548340076310199e-111 -5.686069957565031e-220 -4.479806301623672e-178): 0
* [misc]none:  (-2.3266982566628708e-73 -4.924557161248151e-49 2.0491433117473444e+251 2.1868710093441635e-94): 0
* [misc]none:  (-2.9110234445746466e+124 4.292734438749543e-07 -1.3160349663332311e-291 -1.0651455859079758e-283): 0
* [misc]none:  (4.626894916535224e-128 1.114170127871121e+259 8.453366577306196e-160 -8.935111048608571e-173): 0
* [misc]none:  (-5.548866558621532e-09 0.0019265340891290363 2.5107596839002617e-188 -2715439348210.3716): 0
* [misc]none:  (3.8364962842018573e-131 -8.310532646005735e-88 9.373070312843732e-91 -1.3476877676941842e+188): 0
* [misc]none:  (1.011727234239232e-268 5.76823955439101e-249 -2.0681820259142047e+203 -5.358736018951544e-210): 0
* [misc]none:  (-3.780049011953038e-263 -7.356146101163064e-142 -4.679560768974975e-224 -1.7581458633759795e+76): 0
* [misc]none:  (-2.615425031816684e-28 9.00969948519257e+300 -4.472004514616723e-118 2.4547241600019345e+232): 0
* [misc]none:  (7.022076711242115e-133 -7.904392031638281e+133 -5.94028418794007e+211 -9.328298623753299e+123): 0
* [misc]none:  (2.7897856485649195e+91 -7.615983728780127e+169 2.2671544312728556e-110 -4.322803848542261e-113): 0
* [misc]none:  (2.0464785512671742e-124 -2.279499955673264e-41 -1.850524996285296e-308 210.29617744858183): 0
* [misc]none:  (1.8443037336290407e+119 1.235570583257771e-07 7.39364828803394e+144 9.572757352600472e-80): 0
* [misc]none:  (-8.263482383431276e+56 1.6735020533032694e-148 1.6974572504856568e+61 -1.377034538305207e-80): 0
* [misc]none:  (-1.6715690544966576e-306 -41538.1990786249 3.406045760877835e+88 7.154697731325867e-18): 0
* [misc]none:  (1.1827257715119543e+133 1133703838877282.8 -1.231112526930757e-160 -1.7178740641154851e+69): 0
* [misc]none:  (3.531223172330985e-199 5.561790722198777e-82 1.5966125201184553e-193 73.24749757442865): 0
* [misc]none:  (-2.724631320100406e-27 -2.1959347505640315e-30 -6.514269676843301e+151 6.350405678426733e-42): 0
* [misc]none:  (1.6264820388322788e-73 -8.92462382430405e+117 8.56121562438577e+42 -8.012550232878233e+169): 0
* [misc]none:  (8.085506903303148e+127 -6.662048955103134e-50 -1.1936228832434407e-215 -1.616421296572275e-95): 0
* [misc]none:  (-2.9792388844679605e-211 3.054914602589065e-231 4.28037460898893e-247 8.951357133421397e+261): 0
* [misc]none:  (-9.439216445870066e-303 -4.564038283928581e-212 -8.00690253001949e+51 -7.060550846613257e-208): 0
* [misc]none:  (70490605213811.38 8.958328541865542e+26 -2.410112009740526e-104 4.922620689486743e+203): 0
* [misc]none:  (1.3041099038408058e-212 -2.9819380671064978e-167 4.083424430648923e+183 -1.84691239558347e+206): 0
* [misc]none:  (9.82772199096638e-184 -0.0005445431205808766 -9.760619709968634e-219 3.056495369512451e+195): 0
* [misc]none:  (5.0171966828789554e-138 -1.966185886089553e+200 -6.136049555918513e+72 1.6205959038666692e-242): 0
* [misc]none:  (9.102084975803701e-73 1.1092121347572184e-110 -6.639510911604196e+175 2.57498018215315e-43): 0
* [misc]none:  (2.3662552894590427e-129 1.3750964240067652e+187 -1.0397319030974905e+183 4.148216972307568e-299): 0
* [misc]none:  (-1.0034953672262374e-265 2.1328345076060655e+213 1.1305911394319012e-232 -8.38914326287253e-263): 0
* [misc]none:  (-4.862315557426326e-166 1.5804699023329153e+65 -2.139347918895688e-80 6.554035853976155e+72): 0
* [misc]none:  (1.688255687952905e-96 -1.6814543478450465e-128 4.619477991826317e-18 1.0680543533285456e+278): 0
* [misc]none:  (1.9611323415415745e-86 -3.8304230736310464e+242 -1.720347803844725e-196 -3.582156261294822e-268): 0
* [misc]none:  (-3.3220987303895537e-180 1.9403197539944438e+223 -4.6531835177398406e+185 3.546581902523324e-154): 0
* [misc]none:  (-1.5619087546491602e-221 -2.584772137942293e+219 -2.0678607446629235e+137 -8.303089001265501e+298): 0
* [misc]none:  (2.7393310993609565e+152 -1.6113898957787983e-52 -6.212428945791023e+47 -5.196571726219906e-217): 0
* [misc]none:  (3.288922076677153e-129 -5.073853151090717e-217 1.275262400280064e+115 -7.895205577227114e-182): 0
* [misc]none:  (6.367279917071204e-222 1.8221811659480027e-121 -2.8614905145170623e+306 3.024414610940235e+190): 0
* [misc]none:  (-1.072424178546835e-23 6.024543784805685e+199 1.912144754577731e+73 1.073014222071994e-89): 0
* [misc]none:  (6.196754456993032e-287 -3.9827066144536653e-171 -1.0286485127625864e-298 -1.1285626570027362e+135): 0
* [misc]none:  (-4.776010491506217e-251 1.1857260620126107e-225 -3.915646141841002e-274 4.467206992611306e-224): 0
* [misc]none:  (3.7433866315495255e-100 0.004023320988111097 2.3946550120845246e-259 -1.0815940482063273e+46): 0
* [misc]none:  (2.3798809592642995e-28 3.3704692725079323e+257 -1.3636328223560681e-22 -8.764721517968779e+269): 0
* [misc]none:  (2.3997350978047626e-178 4.600519571474852e-88 6.003719732958235e+79 1.2107176049983248e-107): 0
* [misc]none:  (-5.2772469545772277e-110 -2.754208658979561e-243 -4.067698187823243e+186 -5.9245268633364705e-74): 0
* [misc]none:  (9.019162429801532e+80 -4.6084963054943706e+215 -1.2554392192992633e-62 4.551772902242209e-14): 0
* [misc]none:  (3.531876854018308e+110 -3.774066981802101e-136 -1.8774219086401208e+34 -3.4786733153857704e+118): 0
* [misc]none:  (5.868986403494096e+94 4.127190428838376e-43 -7.485536097794548e+161 3.7022330501754275e-277): 0
* [misc]none:  (-273.76910481129096 -7.386566641835477e-134 -6.247611118487883e+144 1.4809209806860143e-135): 0
* [misc]none:  (-2.3673811049604336e-223 2.117339592899876e-204 -2.7515768522006534e+152 6.36251837952751e-62): 0
* [misc]none:  (70.44620346295014 1.2206180904045364e-180 2.2623254797469127e-08 -1.2424411499116058e-58): 0
* [misc]none:  (-4.625733863029134e+56 -2.8731691959913467e-294 -4.313954535023448e+150 -3.8301332966913054e-237): 0
* [misc]none:  (10796143.618751174 -4.076620582450341e-33 -1.1746540066638992e+92 -1.4093175768087903e-241): 0
* [misc]none:  (1.1839577582963604e+116 9.674006994299565e-83 -3.5420421171340546e-93 3.2662318799272605e-158): 0
* [misc]none:  (-7.139677079785131e-178 -1.692220611968734e+98 -3.4161227463738495e+111 -1.200556620841208e+48): 0
* [misc]none:  (-8.452224236270203e-247 2.7921439863513277e+163 2.3039998954419237e-259 -9.610193558184508e-183): 0
* [misc]none:  (-2.04232362464253e-80 -1.4415268502595641e-182 -1.0378383775826702e+106 -2.098198722577971e-82): 0
* [misc]none:  (-1.2467776558698273e+90 4.9168630160225e-288 -8.852290448282612e+41 -1.0803027606302613e-91): 0
* [misc]none:  Picked alt (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))
* * * * [misc]pick:  Picked  #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in (d1 d2 d3 d4) around 0
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d4
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d4
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d4
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (* d4 d1) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 d2) into 0
* [misc]backup-simplify:  Simplify (* 0 d3) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* d4 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d2)) into d2
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d3)) into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ d2 (- d3)) into (- d2 d3)
* [misc]backup-simplify:  Simplify (+ (* d4 1) (* 0 0)) into d4
* [misc]backup-simplify:  Simplify (+ (- d2 d3) d4) into (- (+ d4 d2) d3)
* [misc]taylor:  Taking taylor expansion of (- (+ d4 d2) d3) in d2
* [misc]taylor:  Taking taylor expansion of (+ d4 d2) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (+ d4 0) into d4
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ d4 (- d3)) into (- d4 d3)
* [misc]taylor:  Taking taylor expansion of (- d4 d3) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ d4 0) into d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* d4 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in (d1 d2 d3 d4) around 0
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d4
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d4
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d4
* [misc]taylor:  Taking taylor expansion of d2 in d4
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d4
* [misc]taylor:  Taking taylor expansion of d3 in d4
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d3
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d2
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) (* (/ 1 d4) (/ 1 d1))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d4) (/ 1 d1)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]backup-simplify:  Simplify (* (/ 1 d4) 1) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d2))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d4) 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d4)) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in d4
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of 1 in d4
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d4) (/ 0 d4)) (* 0 (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 d4) 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) (* 1 (* (/ 1 (/ 1 d4)) (* 1 (* 1 (/ 1 (/ 1 d1)))))))) into (- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
* [misc]approximate:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in (d1 d2 d3 d4) around 0
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d4
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d4
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d4
* [misc]taylor:  Taking taylor expansion of (- d2) in d4
* [misc]taylor:  Taking taylor expansion of d2 in d4
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d4
* [misc]taylor:  Taking taylor expansion of (- d3) in d4
* [misc]taylor:  Taking taylor expansion of d3 in d4
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d4
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d4
* [misc]taylor:  Taking taylor expansion of (- d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d4
* [misc]taylor:  Taking taylor expansion of (- d1) in d4
* [misc]taylor:  Taking taylor expansion of d1 in d4
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d3
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d3
* [misc]taylor:  Taking taylor expansion of (- d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d3
* [misc]taylor:  Taking taylor expansion of (- d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d3
* [misc]taylor:  Taking taylor expansion of (- d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d2
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d2
* [misc]taylor:  Taking taylor expansion of (- d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d2
* [misc]taylor:  Taking taylor expansion of (- d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d1
* [misc]taylor:  Taking taylor expansion of (- d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) (* (/ 1 (- d4)) (/ 1 (- d1)))) in d1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d4)) (/ 1 (- d1))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d4)) in d1
* [misc]taylor:  Taking taylor expansion of (- d4) in d1
* [misc]taylor:  Taking taylor expansion of d4 in d1
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (/ 1 (- d4)) into (/ -1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]backup-simplify:  Simplify (* (/ -1 d4) -1) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (+ (- (/ 1 d2) (/ 1 d3)) (/ 1 d4)) into (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d2
* [misc]taylor:  Taking taylor expansion of d4 in d2
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d2))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d4) (/ 0 (- d4))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 d4) 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 d4)) into (/ 1 d4)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) (- (/ 1 d3))) into (- (/ 1 d4) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d3
* [misc]taylor:  Taking taylor expansion of d4 in d3
* [misc]backup-simplify:  Simplify d4 into d4
* [misc]backup-simplify:  Simplify (/ 1 d4) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]taylor:  Taking taylor expansion of -1 in d4
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of 1 in d4
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 0 (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 d2)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d4) into (- d4)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d4) (/ 0 (- d4))) (* 0 (/ 0 (- d4))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 d4) 0) (+ (* 0 0) (* 0 -1))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d4) (/ 0 d4)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 d4) 0) into (/ 1 d4)
* [misc]taylor:  Taking taylor expansion of (/ 1 d4) in d4
* [misc]taylor:  Taking taylor expansion of d4 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d4
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) (* 1 (* (/ 1 (/ 1 (- d4))) (* 1 (* 1 (/ 1 (/ 1 (- d1))))))))) into (- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]taylor:  Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (* d1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]taylor:  Taking taylor expansion of (* d1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (* 0 d2) into 0
* [misc]backup-simplify:  Simplify (* 0 d3) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d2)) into d2
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 d3)) into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ d2 (- d3)) into (- d2 d3)
* [misc]taylor:  Taking taylor expansion of (- d2 d3) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (+ 0 (- d3)) into (- d3)
* [misc]taylor:  Taking taylor expansion of (- d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (- (* d1 d2) (* d1 d3))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (/ 1 d1) into (/ 1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d2)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (/ 1 d2) into (/ 1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 d1) (/ 1 d3)) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d2))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* -1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (- (* d1 d2) (* d1 d3))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in (d1 d2 d3) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d3
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d3
* [misc]taylor:  Taking taylor expansion of (- d2) in d3
* [misc]taylor:  Taking taylor expansion of d2 in d3
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d3
* [misc]taylor:  Taking taylor expansion of (- d1) in d3
* [misc]taylor:  Taking taylor expansion of d1 in d3
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d3
* [misc]taylor:  Taking taylor expansion of (- d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d2
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d2
* [misc]taylor:  Taking taylor expansion of (- d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d2
* [misc]taylor:  Taking taylor expansion of (- d1) in d2
* [misc]taylor:  Taking taylor expansion of d1 in d2
* [misc]backup-simplify:  Simplify d1 into d1
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (- d1) into (- d1)
* [misc]backup-simplify:  Simplify (/ 1 (- d1)) into (/ -1 d1)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d2
* [misc]taylor:  Taking taylor expansion of (- d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) in d1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d2))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d2)) in d1
* [misc]taylor:  Taking taylor expansion of (- d2) in d1
* [misc]taylor:  Taking taylor expansion of d2 in d1
* [misc]backup-simplify:  Simplify d2 into d2
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (/ 1 (- d2)) into (/ -1 d2)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- d1)) (/ 1 (- d3))) in d1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d1)) in d1
* [misc]taylor:  Taking taylor expansion of (- d1) in d1
* [misc]taylor:  Taking taylor expansion of d1 in d1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- d3)) in d1
* [misc]taylor:  Taking taylor expansion of (- d3) in d1
* [misc]taylor:  Taking taylor expansion of d3 in d1
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (/ 1 (- d3)) into (/ -1 d3)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d2)) into (/ 1 d2)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 d3)) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2
* [misc]taylor:  Taking taylor expansion of (/ 1 d2) in d2
* [misc]taylor:  Taking taylor expansion of d2 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d2
* [misc]taylor:  Taking taylor expansion of d3 in d2
* [misc]backup-simplify:  Simplify d3 into d3
* [misc]backup-simplify:  Simplify (/ 1 d3) into (/ 1 d3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in d3
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d2))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 d3))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 d3)) into (- (/ 1 d3))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 d3))) into (- (/ 1 d3))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 d3)) in d3
* [misc]taylor:  Taking taylor expansion of (/ 1 d3) in d3
* [misc]taylor:  Taking taylor expansion of d3 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 0 (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 d2)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d2) into (- d2)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d2) (/ 0 (- d2))) (* 0 (/ 0 (- d2))) (* 0 (/ 0 (- d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 d2))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- d3) into (- d3)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 d3) (/ 0 (- d3))) (* 0 (/ 0 (- d3))) (* 0 (/ 0 (- d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 d3))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d2
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in d3
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* -1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* d1 d2) (* d1 d3))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (log (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (116 enodes)
* * [misc]simplify:  iters left: 1 (180 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (+ d4 (- d2 d3)))
* [exit]simplify:  Simplified to (pow (exp d1) (+ d4 (- d2 d3)))
* * * * [misc]progress:  [ 2 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (log (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (104 enodes)
* * [misc]simplify:  iters left: 2 (170 enodes)
* * [misc]simplify:  iters left: 1 (261 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- d4 (- d3 d2)))
* [exit]simplify:  Simplified to (pow (exp d1) (- d4 (- d3 d2)))
* * * * [misc]progress:  [ 3 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (pow (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) 1) (* d1 d1)))>
* * * * [misc]progress:  [ 4 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (exp (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (80 enodes)
* * [misc]simplify:  iters left: 2 (121 enodes)
* * [misc]simplify:  iters left: 1 (148 enodes)
* [exit]simplify:  Simplified to (log (* (- d2 (- d3 d4)) d1))
* [exit]simplify:  Simplified to (log (* (- d2 (- d3 d4)) d1))
* * * * [misc]progress:  [ 5 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (log (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (60 enodes)
* * [misc]simplify:  iters left: 3 (128 enodes)
* * [misc]simplify:  iters left: 2 (206 enodes)
* * [misc]simplify:  iters left: 1 (306 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- (+ d4 d2) d3))
* [exit]simplify:  Simplified to (pow (exp d1) (- (+ d4 d2) d3))
* * * * [misc]progress:  [ 6 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (* (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (77 enodes)
* * [misc]simplify:  iters left: 2 (117 enodes)
* * [misc]simplify:  iters left: 1 (142 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (- d4 (- d3 d2)) d1)) (cbrt (* (- d4 (- d3 d2)) d1)))
* [exit]simplify:  Simplified to (* (cbrt (* (- d4 (- d3 d2)) d1)) (cbrt (* (- d4 (- d3 d2)) d1)))
* [enter]simplify:  Simplifying (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (115 enodes)
* * [misc]simplify:  iters left: 1 (138 enodes)
* [exit]simplify:  Simplified to (cbrt (* (- d4 (- d3 d2)) d1))
* [exit]simplify:  Simplified to (cbrt (* (- d4 (- d3 d2)) d1))
* * * * [misc]progress:  [ 7 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (cbrt (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (146 enodes)
* [exit]simplify:  Simplified to (pow (* (+ (- d2 d3) d4) d1) 3)
* [exit]simplify:  Simplified to (pow (* (+ (- d2 d3) d4) d1) 3)
* * * * [misc]progress:  [ 8 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (* (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* d1 d1)))>
* [enter]simplify:  Simplifying (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (115 enodes)
* * [misc]simplify:  iters left: 1 (138 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* [enter]simplify:  Simplifying (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (115 enodes)
* * [misc]simplify:  iters left: 1 (138 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d4 (- d3 d2)) d1))
* * * * [misc]progress:  [ 9 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (/ (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))) (* d1 d1)))>
* [enter]simplify:  Simplifying (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (83 enodes)
* * [misc]simplify:  iters left: 3 (301 enodes)
* [exit]simplify:  Simplified to (+ (pow (* d1 d4) 3) (pow (* d1 (- d2 d3)) 3))
* [exit]simplify:  Simplified to (+ (pow (* d1 d4) 3) (pow (* d1 (- d2 d3)) 3))
* [enter]simplify:  Simplifying (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (105 enodes)
* * [misc]simplify:  iters left: 3 (398 enodes)
* [exit]simplify:  Simplified to (- (* (* d4 d1) (* d4 d1)) (* (* (- d2 d3) (* d1 d1)) (+ (- d4 d2) d3)))
* [exit]simplify:  Simplified to (- (* (* d4 d1) (* d4 d1)) (* (* (- d2 d3) (* d1 d1)) (+ (- d4 d2) d3)))
* * * * [misc]progress:  [ 10 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (* 1 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* * * * [misc]progress:  [ 11 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (/ (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1))) (- (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (79 enodes)
* * [misc]simplify:  iters left: 3 (264 enodes)
* [exit]simplify:  Simplified to (- (* (* (- d2 d3) d1) (* (- d2 d3) d1)) (* (* d4 d1) (* d4 d1)))
* [exit]simplify:  Simplified to (- (* (* (- d2 d3) d1) (* (- d2 d3) d1)) (* (* d4 d1) (* d4 d1)))
* [enter]simplify:  Simplifying (- (- (* d1 d2) (* d1 d3)) (* d4 d1))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (81 enodes)
* * [misc]simplify:  iters left: 2 (133 enodes)
* * [misc]simplify:  iters left: 1 (185 enodes)
* [exit]simplify:  Simplified to (* (- (- d2 d3) d4) d1)
* [exit]simplify:  Simplified to (* (- (- d2 d3) d4) d1)
* * * * [misc]progress:  [ 12 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d1 d2) (+ (- (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (+ (- (* d1 d3)) (* d4 d1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* * * * [misc]progress:  [ 13 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d1 d2) (+ (- (* d1 d3)) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (+ (- (* d1 d3)) (* d4 d1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* [exit]simplify:  Simplified to (* (- d4 d3) d1)
* * * * [misc]progress:  [ 14 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (- (* d1 d2) (- (* d1 d3) (* d4 d1))) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* d1 d3) (* d4 d1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (24 enodes)
* [exit]simplify:  Simplified to (* (- d3 d4) d1)
* [exit]simplify:  Simplified to (* (- d3 d4) d1)
* * * * [misc]progress:  [ 15 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d4 d1) (- (* d1 d2) (* d1 d3))) (* d1 d1)))>
* * * * [misc]progress:  [ 16 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (log (/ (exp (* d1 d2)) (exp (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (/ (exp (* d1 d2)) (exp (* d1 d3)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* * * * [misc]progress:  [ 17 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (pow (- (* d1 d2) (* d1 d3)) 1) (* d4 d1)) (* d1 d1)))>
* * * * [misc]progress:  [ 18 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (exp (log (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (log (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* [exit]simplify:  Simplified to (log (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (log (* (- d2 d3) d1))
* * * * [misc]progress:  [ 19 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (log (exp (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (exp (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (48 enodes)
* * [misc]simplify:  iters left: 1 (59 enodes)
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* [exit]simplify:  Simplified to (pow (exp d1) (- d2 d3))
* * * * [misc]progress:  [ 20 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3)))) (cbrt (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (23 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3))))
* [exit]simplify:  Simplified to (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3))))
* [enter]simplify:  Simplifying (cbrt (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (cbrt (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (cbrt (* (- d2 d3) d1))
* * * * [misc]progress:  [ 21 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (cbrt (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (207 enodes)
* [exit]simplify:  Simplified to (pow (* d1 (- d2 d3)) 3)
* [exit]simplify:  Simplified to (pow (* d1 (- d2 d3)) 3)
* * * * [misc]progress:  [ 22 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* (sqrt (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3)))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (sqrt (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* [enter]simplify:  Simplifying (sqrt (- (* d1 d2) (* d1 d3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* [exit]simplify:  Simplified to (sqrt (* (- d2 d3) d1))
* * * * [misc]progress:  [ 23 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (/ (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (pow (* d1 d2) 3) (pow (* d1 d3) 3))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (80 enodes)
* * [misc]simplify:  iters left: 2 (238 enodes)
* * [misc]simplify:  iters left: 1 (446 enodes)
* [exit]simplify:  Simplified to (- (pow (* d2 d1) 3) (pow (* d3 d1) 3))
* [exit]simplify:  Simplified to (- (pow (* d2 d1) 3) (pow (* d3 d1) 3))
* [enter]simplify:  Simplifying (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (30 enodes)
* * [misc]simplify:  iters left: 4 (79 enodes)
* * [misc]simplify:  iters left: 3 (154 enodes)
* * [misc]simplify:  iters left: 2 (218 enodes)
* * [misc]simplify:  iters left: 1 (285 enodes)
* [exit]simplify:  Simplified to (* (* d1 d1) (+ (* d2 (+ d2 d3)) (* d3 d3)))
* [exit]simplify:  Simplified to (* (* d1 d1) (+ (* d2 (+ d2 d3)) (* d3 d3)))
* * * * [misc]progress:  [ 24 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (+ (* d1 d2) (- (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* d1 d3))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* [exit]simplify:  Simplified to (* d1 (- d3))
* [exit]simplify:  Simplified to (* d1 (- d3))
* * * * [misc]progress:  [ 25 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* 1 (- (* d1 d2) (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* * * * [misc]progress:  [ 26 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (/ (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))) (+ (* d1 d2) (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (125 enodes)
* * [misc]simplify:  iters left: 2 (258 enodes)
* [exit]simplify:  Simplified to (* (* d1 (+ d2 d3)) (* d1 (- d2 d3)))
* [exit]simplify:  Simplified to (* (* d1 (+ d2 d3)) (* d1 (- d2 d3)))
* [enter]simplify:  Simplifying (+ (* d1 d2) (* d1 d3))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (* d1 (+ d3 d2))
* [exit]simplify:  Simplified to (* d1 (+ d3 d2))
* * * * [misc]progress:  [ 27 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (* d1 (- d2 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- d2 d3)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (- d2 d3)
* [exit]simplify:  Simplified to (- d2 d3)
* * * * [misc]progress:  [ 28 / 34 ] simplifiying candidate #<alt-delta (λ (d1 d2 d3 d4) (- (+ (+ (* d1 d2) (- (* d1 d3))) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (* d1 d3))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* [exit]simplify:  Simplified to (* d1 (- d3))
* [exit]simplify:  Simplified to (* d1 (- d3))
* * * * [misc]progress:  [ 29 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- 0 (* d1 d1)))>
* [enter]simplify:  Simplifying (- 0 (* d1 d1))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (- (* d1 d1))
* * * * [misc]progress:  [ 30 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (66 enodes)
* * [misc]simplify:  iters left: 3 (162 enodes)
* * [misc]simplify:  iters left: 2 (349 enodes)
* [exit]simplify:  Simplified to (* d1 (- (- d4 d3) (- d1 d2)))
* * * * [misc]progress:  [ 31 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (66 enodes)
* * [misc]simplify:  iters left: 3 (162 enodes)
* * [misc]simplify:  iters left: 2 (349 enodes)
* [exit]simplify:  Simplified to (* d1 (- (- d4 d3) (- d1 d2)))
* * * * [misc]progress:  [ 32 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * * * [misc]progress:  [ 33 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * * * [misc]progress:  [ 34 / 34 ] simplifiying candidate #<alt-event (λ (d1 d2 d3 d4) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))>
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (69 enodes)
* * [misc]simplify:  iters left: 3 (185 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (* (+ (- d4 d3) (- d2 d1)) d1)
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (- (+ (- (* d2 d1) (* d3 d1)) (* d1 d4)) (* d1 d1))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2684 additional inputs, on iter 1 have 5316 / 8000
* * * * [misc]points:  Computing exacts on every 167 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 83 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 41 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 20 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 10 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 5 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 2684 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 2684 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 890 additional inputs, on iter 2 have 7110 / 8000
* * * * [misc]points:  Computing exacts on every 55 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 27 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 13 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 6 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 890 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 890 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 298 additional inputs, on iter 3 have 7702 / 8000
* * * * [misc]points:  Computing exacts on every 18 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 9 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 4 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 2 of 298 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 298 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 99 additional inputs, on iter 4 have 7901 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 99 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 99 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 99 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 35 additional inputs, on iter 5 have 7965 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 35 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 9 additional inputs, on iter 6 have 7991 / 8000
* * * * [misc]points:  Computing exacts for 9 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 7998 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8001 points with exact outputs