Initial Conditions

x(t)

y(t)

Animate time

LL crnr

UR crnr

Show direction field

Show phase plot

Show phase point at time t

Show future

Copy Curve

Restart

Resize Field

Rebuild Field

f(x, y) = (-4 * x) - (2 * y)
g(x, y) = (-1 * x) - (3 * y)
A = (-0.21939140998506482, 0.6935370594929164)
maxT = 8.5 (slider from 0 to 100, step 0.1)
stepsolve = 0.01 (slider from 0.00010 to 0.5, step 0.000010)
ppsol = SolveODE(g, f, x(A), y(A), maxT, stepsolve)
stepplot: 0.01
xlist = Sequence(x(Point[ppsol, tt]), tt, 0, 1, stepplot)
ylist = Sequence(y(Point[ppsol, tt]), tt, 0, 1, stepplot)
tlist: (Sequence[0, 1, stepplot] * maxT)
h = Ray((0, 0), (1, 0))
i = Ray((0, 0), (0, 1))
t = 0.32 (slider from (-1 * maxT / 10) to maxT, step stepplot)
B = Point(ppsol, t / maxT)
X_t: (t, x(B))
Y_t: (t, y(B))
a = false
C = (-3.0909250193602036, -1.821261775844623)
D = (2.2465583562579923, 2.2078245302338004)
H: abs(x(D) - x(C))
W: abs(y(D) - y(C))
n = 14 (slider from 1 to 30, step 1)
b = true
c = true
text1: "\frac{dx}{dt}=" + (LaTeX[f]) + " \\
\frac{dy}{dt}=" + (LaTeX[g]) + ""
InputBox1 = Textfield(f)
InputBox2 = Textfield(g)
mxval = Max(xlist)
myval = Max(ylist)
d = true
x2sol(x) = DataFunction[{0, 0.085, 0.17, 0.255, 0.34, 0.42500000000000004, 0.51, 0.5950000000000001, 0.68, 0.765, 0.85, 0.9349999999999998, 1.0199999999999998, 1.1049999999999998, 1.19, 1.275, 1.36, 1.445, 1.5300000000000002, 1.6150000000000002, 1.7000000000000004, 1.7850000000000004, 1.8700000000000006, 1.9550000000000005, 2.0400000000000005, 2.1250000000000004, 2.2100000000000004, 2.295000000000001, 2.380000000000001, 2.4650000000000007, 2.5500000000000007, 2.635000000000001, 2.720000000000001, 2.805000000000001, 2.890000000000001, 2.9750000000000014, 3.0600000000000014, 3.1450000000000014, 3.2300000000000013, 3.3150000000000017, 3.4000000000000017, 3.4850000000000017, 3.5700000000000016, 3.655000000000002, 3.740000000000002, 3.825000000000002, 3.910000000000002, 3.9950000000000023, 4.080000000000002, 4.165000000000003, 4.250000000000002, 4.335000000000002, 4.420000000000002, 4.505000000000003, 4.5900000000000025, 4.6750000000000025, 4.7600000000000025, 4.845000000000002, 4.930000000000002, 5.015000000000002, 5.100000000000002, 5.185000000000002, 5.270000000000003, 5.355000000000003, 5.440000000000003, 5.525000000000003, 5.610000000000003, 5.695000000000003, 5.780000000000003, 5.865000000000004, 5.950000000000004, 6.035000000000004, 6.120000000000004, 6.205000000000004, 6.290000000000004, 6.3750000000000036, 6.4600000000000035, 6.5450000000000035, 6.630000000000004, 6.715000000000004, 6.800000000000004, 6.885000000000004, 6.970000000000004, 7.055000000000004, 7.140000000000004, 7.225000000000005, 7.310000000000005, 7.395000000000005, 7.480000000000005, 7.565000000000005, 7.650000000000005, 7.735000000000005, 7.820000000000005, 7.905000000000005, 7.9900000000000055, 8.075000000000005, 8.160000000000005, 8.245000000000005, 8.330000000000005, 8.415000000000006, 8.5}, {-0.21939140998506482, -0.24508906561634697, -0.2460210420839171, -0.2331591988585357, -0.21343961856683505, -0.19098852286310902, -0.16825586775474755, -0.14660255390473775, -0.12671314282882207, -0.10888157957395043, -0.09314432800068786, -0.07942152557920251, -0.0675475457169699, -0.057341513360622404, -0.04860430730995057, -0.04115384960218108, -0.034814100974777495, -0.02943244198429399, -0.024869176620064957, -0.021005677251176337, -0.0177365403160332, -0.014972945718709607, -0.012637442519928101, -0.01066485840662722, -0.008999115404519045, -0.007592935218253469, -0.0064060580149219665, -0.005404412136677616, -0.004559237480315137, -0.003846074936755692, -0.003244439920237187, -0.0027368142097242204, -0.0023086332239071992, -0.0019473671531551314, -0.001642671522990154, -0.0013855918046094002, -0.0011687855558980662, -0.0009858565067632293, -0.000831595071741985, -0.0007014337214049986, -0.0005916770547758543, -0.0004990640249762182, -0.0004209737053650701, -0.0003550780896829888, -0.0002995184897550975, -0.00025263309778339574, -0.00021310386745425504, -0.00017974459895238578, -0.0001516206708810548, -0.0001278853983003687, -0.00010787606630077837, -0.00009098870544659188, -0.00007675232220627029, -0.00006473744114784311, -0.00005460818727195294, -0.00004605994482116095, -0.000038852937220405965, -0.00003277111173632878, -0.00002764329704424547, -0.000023316257082875965, -0.00001966779756984807, -0.00001658923684355491, -0.00001399334475006786, -0.000011803040567776105, -0.00000995605435764652, -0.000008397718576742605, -0.000007083581727243705, -0.000005974872751982457, -0.000005039860151911478, -0.0000042510472612360374, -0.0000035857828878566983, -0.0000030245664883790953, -0.000002551228887819401, -0.0000021519405488565517, -0.0000018151594729512006, -0.00000153107805855436, -0.0000012914573806020573, -0.0000010893421983822908, (-9.188514398573504E-7), (-7.75052734826536E-7), (-6.53748117675506E-7), (-5.514398020981633E-7), (-4.6513126445630005E-7), (-3.9234208633981196E-7), (-3.309333552743038E-7), (-2.7914613281754514E-7), (-2.354536799208386E-7), (-1.9860869833518697E-7), (-1.6752142237551753E-7), (-1.413073803914029E-7), (-1.1918871858151008E-7), (-1.0053825808945306E-7), (-8.48007862267215E-8), (-7.153157676674498E-8), (-6.033433583393827E-8), (-5.089371703460443E-8), (-4.292686011168904E-8), (-3.621016251970137E-8), (-3.054173039707869E-8), (-2.576301627341128E-8), (-2.2168891301874985E-8)},x]
y2sol(x) = DataFunction[{0, 0.085, 0.17, 0.255, 0.34, 0.42500000000000004, 0.51, 0.5950000000000001, 0.68, 0.765, 0.85, 0.9349999999999998, 1.0199999999999998, 1.1049999999999998, 1.19, 1.275, 1.36, 1.445, 1.5300000000000002, 1.6150000000000002, 1.7000000000000004, 1.7850000000000004, 1.8700000000000006, 1.9550000000000005, 2.0400000000000005, 2.1250000000000004, 2.2100000000000004, 2.295000000000001, 2.380000000000001, 2.4650000000000007, 2.5500000000000007, 2.635000000000001, 2.720000000000001, 2.805000000000001, 2.890000000000001, 2.9750000000000014, 3.0600000000000014, 3.1450000000000014, 3.2300000000000013, 3.3150000000000017, 3.4000000000000017, 3.4850000000000017, 3.5700000000000016, 3.655000000000002, 3.740000000000002, 3.825000000000002, 3.910000000000002, 3.9950000000000023, 4.080000000000002, 4.165000000000003, 4.250000000000002, 4.335000000000002, 4.420000000000002, 4.505000000000003, 4.5900000000000025, 4.6750000000000025, 4.7600000000000025, 4.845000000000002, 4.930000000000002, 5.015000000000002, 5.100000000000002, 5.185000000000002, 5.270000000000003, 5.355000000000003, 5.440000000000003, 5.525000000000003, 5.610000000000003, 5.695000000000003, 5.780000000000003, 5.865000000000004, 5.950000000000004, 6.035000000000004, 6.120000000000004, 6.205000000000004, 6.290000000000004, 6.3750000000000036, 6.4600000000000035, 6.5450000000000035, 6.630000000000004, 6.715000000000004, 6.800000000000004, 6.885000000000004, 6.970000000000004, 7.055000000000004, 7.140000000000004, 7.225000000000005, 7.310000000000005, 7.395000000000005, 7.480000000000005, 7.565000000000005, 7.650000000000005, 7.735000000000005, 7.820000000000005, 7.905000000000005, 7.9900000000000055, 8.075000000000005, 8.160000000000005, 8.245000000000005, 8.330000000000005, 8.415000000000006, 8.5}, {0.6935370594929164, 0.5550130394219459, 0.4484803080545833, 0.36549283436451185, 0.2998892471671518, 0.24749326276327574, 0.20516961981715703, 0.1707293181359819, 0.14247519767309522, 0.1191833731464302, 0.09987466888458324, 0.08382024406250366, 0.07042137437320907, 0.05921970132896705, 0.04983141947817063, 0.041955807373615046, 0.03533807195603092, 0.0297748654399779, 0.025092909487337285, 0.021151886575353235, 0.017832072987147566, 0.015035374691787815, 0.012678234391531103, 0.010691514522594429, 0.009016533269546635, 0.007604316917431768, 0.006413495323255061, 0.0054092719198342186, 0.0045624131566202744, 0.0038481499756142295, 0.003245795909485011, 0.002737700212595982, 0.0023092122202726367, 0.0019477454594581526, 0.001642918749480025, 0.0013857533340079736, 0.0011688911193882927, 0.0009859254765884136, 0.0008316401463595549, 0.0007014631701115016, 0.0005916963011946493, 0.0004990765989592711, 0.00042098192338864545, 0.0003550834585057273, 0.0002995219987634608, 0.00025263539015387093, 0.00021310536576188898, 0.00017974557774366908, 0.0001516213106411518, 0.00012788581622207127, 0.00010787633947069629, 0.00009098888389396738, 0.00007675243884644497, 0.00006473751734448747, 0.00005460823707581429, 0.00004605997735693267, 0.00003885295848599586, 0.0000327711256290066, 0.00002764330612436187, 0.0000233162630150024, 0.00001966780144692983, 0.000016589239376550405, 0.000013993346405525466, 0.00001180304164935453, 0.000009956055064502163, 0.000008397719038571605, 0.000007083582029060191, 0.000005974872949181118, 0.000005039860280782341, 0.0000042510473454387924, 0.0000035857829428824624, 0.000003024566524333179, 0.0000025512289113144845, 0.00000215194056420872, 0.000001815159482983198, 0.000001531078065109633, 0.0000012914573848855446, 0.000001089342201181346, 9.188514416863224E-7, 7.750527360217115E-7, 6.537481184564432E-7, 5.514398026084937E-7, 4.651312647897455E-7, 3.9234208655771876E-7, 3.3093335541667865E-7, 2.791461329105895E-7, 2.354536799816298E-7, 1.9860869837491602E-7, 1.6752142240147417E-7, 1.4130738040836682E-7, 1.191887185925931E-7, 1.0053825809669652E-7, 8.480078623145372E-8, 7.153157676983784E-8, 6.033433583595881E-8, 5.089371703592504E-8, 4.292686011255176E-8, 3.621016252026525E-8, 3.054173039744704E-8, 2.5763016273652035E-8, 2.2168891302040325E-8},x]
parysol(x) = If[0 ≤ x ≤ t, y2sol(x)]
parxsol(x) = If[0 ≤ x ≤ t, x2sol(x)]
mixval = Min(xlist)
miyval = Min(ylist)
sp = 1.2 (slider from 0 to 1.5, step 0.1)
e = true
length = 0.4 (slider from 0.1 to 1.2)
ppsolb = SolveODE((-1 * g(x, y)), (-1 * f(x, y)), x(A), y(A), maxT, stepsolve)
xblist = Sequence(x(Point[ppsolb, tt]), tt, 0, 1, stepplot)
yblist = Sequence(y(Point[ppsolb, tt]), tt, 0, 1, stepplot)
tblist: (Sequence[0, 1, stepplot] * maxT)
x3sol(x) = DataFunction[{0, 0.085, 0.17, 0.255, 0.34, 0.42500000000000004, 0.51, 0.5950000000000001, 0.68, 0.765, 0.85, 0.9349999999999998, 1.0199999999999998, 1.1049999999999998, 1.19, 1.275, 1.36, 1.445, 1.5300000000000002, 1.6150000000000002, 1.7000000000000004, 1.7850000000000004, 1.8700000000000006, 1.9550000000000005, 2.0400000000000005, 2.1250000000000004, 2.2100000000000004, 2.295000000000001, 2.380000000000001, 2.4650000000000007, 2.5500000000000007, 2.635000000000001, 2.720000000000001, 2.805000000000001, 2.890000000000001, 2.9750000000000014, 3.0600000000000014, 3.1450000000000014, 3.2300000000000013, 3.3150000000000017, 3.4000000000000017, 3.4850000000000017, 3.5700000000000016, 3.655000000000002, 3.740000000000002, 3.825000000000002, 3.910000000000002, 3.9950000000000023, 4.080000000000002, 4.165000000000003, 4.250000000000002, 4.335000000000002, 4.420000000000002, 4.505000000000003, 4.5900000000000025, 4.6750000000000025, 4.7600000000000025, 4.845000000000002, 4.930000000000002, 5.015000000000002, 5.100000000000002, 5.185000000000002, 5.270000000000003, 5.355000000000003, 5.440000000000003, 5.525000000000003, 5.610000000000003, 5.695000000000003, 5.780000000000003, 5.865000000000004, 5.950000000000004, 6.035000000000004, 6.120000000000004, 6.205000000000004, 6.290000000000004, 6.3750000000000036, 6.4600000000000035, 6.5450000000000035, 6.630000000000004, 6.715000000000004, 6.800000000000004, 6.885000000000004, 6.970000000000004, 7.055000000000004, 7.140000000000004, 7.225000000000005, 7.310000000000005, 7.395000000000005, 7.480000000000005, 7.565000000000005, 7.650000000000005, 7.735000000000005, 7.820000000000005, 7.905000000000005, 7.9900000000000055, 8.075000000000005, 8.160000000000005, 8.245000000000005, 8.330000000000005, 8.415000000000006, 8.5}, {-0.21939140998506482, -0.15098384873554452, -0.012323344707244251, 0.24094364763503118, 0.6760043719229302, 1.3999232386482747, 2.5739275684664804, 4.453085839190888, 7.420674370965883, 12.07978544736897, 19.33657271750402, 30.610709677987533, 48.03760914268194, 74.9504410471646, 116.37172574843729, 180.11507187123746, 277.9798398495627, 428.2657137713869, 658.6735268577769, 1012.037931655309, 1553.3636322663983, 2382.881890705251, 3653.0984604925866, 5598.503777159909, 8576.831915589966, 13136.606772693209, 20116.88821168013, 30800.7011851334, 47155.93070526549, 72183.50869223116, 110498.62945107487, 169120.1448160805, 258871.59657571657, 396169.05982265953, 606395.4401834307, 927945.1976509992, 1420344.4890965, 2173391.04607454, 3326679.964013394, 5090231.2595316935, 7791407.506862355, 11921405.023630317, 18247912.06938346, 27919740.6059632, 42737162.32139638, 65387021.099442996, 100091029.45346826, 153133180.1560093, 234413510.21342945, 358629021.6543326, 548995458.5027521, 839907150.1178247, 1285742119.0274196, 1967102997.288823, 3011190424.2066164, 4607042365.977858, 7052156413.191162, 10789882149.150124, 16516008550.299131, 25270314628.289597, 38680115174.054474, 59183969246.5119, 90587848412.2919, 138610791072.7301, 212154220410.9674, 324630652751.7994, 496858773351.0897, 760293969975.031, 1163627063150.0964, 1780627641924.3804, 2725173968231.745, 4170270477630.8267, 6382256013985.723, 9766858293483.783, 14946991376168.441, 22874157230588.09, 35005228875921.742, 53571631308141.195, 81980702478526.06, 125465463600723.66, 191995003433136.28, 293841462153061.25, 449642957921506, 688179156172652.8, 1053040913245325.2, 1611719686675136, 2466165817780754, 3774653284300496, 5775623622117759, 8840242570729536, 13526177302797974, 20703837898441992, 31677496424150268, 48488315555568112, 74186726596366240, 113559350214483104, 173740533726968256, 265955063981392224, 406888746981643008, 622863947425039360, 906431667405336448},x]
y3sol(x) = DataFunction[{0, 0.085, 0.17, 0.255, 0.34, 0.42500000000000004, 0.51, 0.5950000000000001, 0.68, 0.765, 0.85, 0.9349999999999998, 1.0199999999999998, 1.1049999999999998, 1.19, 1.275, 1.36, 1.445, 1.5300000000000002, 1.6150000000000002, 1.7000000000000004, 1.7850000000000004, 1.8700000000000006, 1.9550000000000005, 2.0400000000000005, 2.1250000000000004, 2.2100000000000004, 2.295000000000001, 2.380000000000001, 2.4650000000000007, 2.5500000000000007, 2.635000000000001, 2.720000000000001, 2.805000000000001, 2.890000000000001, 2.9750000000000014, 3.0600000000000014, 3.1450000000000014, 3.2300000000000013, 3.3150000000000017, 3.4000000000000017, 3.4850000000000017, 3.5700000000000016, 3.655000000000002, 3.740000000000002, 3.825000000000002, 3.910000000000002, 3.9950000000000023, 4.080000000000002, 4.165000000000003, 4.250000000000002, 4.335000000000002, 4.420000000000002, 4.505000000000003, 4.5900000000000025, 4.6750000000000025, 4.7600000000000025, 4.845000000000002, 4.930000000000002, 5.015000000000002, 5.100000000000002, 5.185000000000002, 5.270000000000003, 5.355000000000003, 5.440000000000003, 5.525000000000003, 5.610000000000003, 5.695000000000003, 5.780000000000003, 5.865000000000004, 5.950000000000004, 6.035000000000004, 6.120000000000004, 6.205000000000004, 6.290000000000004, 6.3750000000000036, 6.4600000000000035, 6.5450000000000035, 6.630000000000004, 6.715000000000004, 6.800000000000004, 6.885000000000004, 6.970000000000004, 7.055000000000004, 7.140000000000004, 7.225000000000005, 7.310000000000005, 7.395000000000005, 7.480000000000005, 7.565000000000005, 7.650000000000005, 7.735000000000005, 7.820000000000005, 7.905000000000005, 7.9900000000000055, 8.075000000000005, 8.160000000000005, 8.245000000000005, 8.330000000000005, 8.415000000000006, 8.5}, {0.6935370594929164, 0.8768217903970557, 1.122794208487005, 1.4589577377370149, 1.9247666076244396, 2.581215903180537, 3.5171846123853756, 4.870662725887659, 6.844944985139915, 9.756226286139322, 14.074022479084203, 20.5286934006053, 30.21112873015938, 44.816666312777514, 66.88926026604979, 100.37599740651552, 151.2226635476739, 228.6355356837384, 346.53004848032447, 526.402591767428, 800.8472047056548, 1220.090282917533, 1860.5139966391698, 2839.518738801424, 4336.153868816555, 6624.89872528054, 10125.540335913323, 15479.895723712178, 23672.269926638677, 36203.555547533615, 55381.86093913672, 84717.20970207355, 129622.09355604969, 198305.38733469357, 303459.5602485579, 464283.0152295303, 710540.2638616845, 1087131.8150451228, 1663857.237247083, 2545728.840548642, 3896430.761310733, 5961564.382759701, 9124977.852028254, 13961081.66688609, 21370017.335643463, 32695213.127453838, 50047533.28530517, 76568983.05873354, 117209592.21097219, 179317874.17191172, 274501716.829143, 419958302.2726362, 642876664.0923434, 983558142.814737, 1505603089.3908446, 2303530521.4692044, 3526089278.1949053, 5394954199.9459305, 8258019836.380692, 12635175762.042887, 19340079458.47223, 29592010552.038593, 45293954946.64621, 69305431979.63121, 106077153411.50902, 162315377597.41098, 248429447401.95822, 380147056980.04144, 581813616926.493, 890313922148.6416, 1362587104077.9714, 2085135381034.292, 3191128175600.469, 4883429346632.352, 7473495925063.41, 11437078896242.605, 17502614771036.742, 26785816048947.273, 40990351707403.41, 62732732355365.83, 95997502374542.44, 146920731856595.34, 224821479885539.88, 344089579182716.4, 526520457922456.25, 805859844878556.8, 1233082910717244.2, 1887326644316125, 2887811813626551.5, 4420121288408931, 6763088655007861, 10351918953499598, 15838748217147424, 24244157783797680, 37093363305312256, 56779675115693776, 86870266873504160, 132977532002575760, 203444373504904608, 311431973729216640, 453215833722070208},x]
l = Mirror(x3sol(x), x = 0)
m = Mirror(y3sol(x), x = 0)
P5 = (4.1604150389777725, 7.606023858534484)
P9 = (-4.947198596928807, 4.8360852944560015)
b2 = false
b3 = false
b4 = false
b5 = false
b6 = false
b7 = false
b8 = false
b9 = false
q = 1 (slider from 1 to 20, step 1)
l1 = Sequence(Sequence[Vector[(ii, jj), (ii, jj) + ((((2 * Min[x(D) - x(C), y(D) - y(C)])) / n * length) * UnitVector[(f(ii, jj), g(ii, jj))])], ii, x(C), x(D), H / n], jj, y(C), y(D), W / n)
ppsolc = SolveODE(g, f, x(A), y(A), (-1 * maxT), stepsolve)
tclist: (Sequence[-1, 0, stepplot] * maxT)
xclist = Reverse(xblist)
yclist = Reverse(yblist)
x4sol(x) = DataFunction[{-8.5, -8.415, -8.33, -8.245, -8.16, -8.075, -7.989999999999999, -7.904999999999999, -7.819999999999999, -7.734999999999999, -7.6499999999999995, -7.5649999999999995, -7.479999999999999, -7.394999999999999, -7.309999999999999, -7.224999999999999, -7.139999999999999, -7.054999999999999, -6.969999999999999, -6.884999999999999, -6.799999999999999, -6.714999999999998, -6.629999999999998, -6.544999999999998, -6.459999999999998, -6.374999999999998, -6.289999999999998, -6.204999999999998, -6.119999999999997, -6.0349999999999975, -5.9499999999999975, -5.8649999999999975, -5.779999999999998, -5.694999999999998, -5.609999999999998, -5.524999999999998, -5.439999999999998, -5.354999999999997, -5.269999999999997, -5.184999999999997, -5.099999999999997, -5.014999999999997, -4.929999999999997, -4.844999999999997, -4.759999999999996, -4.674999999999996, -4.589999999999996, -4.504999999999996, -4.419999999999996, -4.334999999999996, -4.2499999999999964, -4.1649999999999965, -4.0799999999999965, -3.994999999999996, -3.9099999999999957, -3.8249999999999957, -3.7399999999999958, -3.654999999999996, -3.569999999999996, -3.4849999999999954, -3.3999999999999955, -3.3149999999999955, -3.229999999999995, -3.144999999999995, -3.059999999999995, -2.974999999999995, -2.8899999999999952, -2.804999999999995, -2.719999999999995, -2.634999999999995, -2.5499999999999945, -2.4649999999999945, -2.3799999999999946, -2.2949999999999946, -2.2099999999999946, -2.1249999999999942, -2.0399999999999943, -1.9549999999999943, -1.8699999999999941, -1.784999999999994, -1.699999999999994, -1.614999999999994, -1.5299999999999938, -1.4449999999999936, -1.3599999999999937, -1.2749999999999937, -1.1899999999999935, -1.1049999999999933, -1.0199999999999936, -0.9349999999999935, -0.8499999999999935, -0.7649999999999936, -0.6799999999999936, -0.5949999999999936, -0.5099999999999937, -0.42499999999999366, -0.33999999999999364, -0.2549999999999936, -0.1699999999999936, -0.08499999999999361, 0}, {906431667405336448, 622863947425039360, 406888746981643008, 265955063981392224, 173740533726968256, 113559350214483104, 74186726596366240, 48488315555568112, 31677496424150268, 20703837898441992, 13526177302797974, 8840242570729536, 5775623622117759, 3774653284300496, 2466165817780754, 1611719686675136, 1053040913245325.2, 688179156172652.8, 449642957921506, 293841462153061.25, 191995003433136.28, 125465463600723.66, 81980702478526.06, 53571631308141.195, 35005228875921.742, 22874157230588.09, 14946991376168.441, 9766858293483.783, 6382256013985.723, 4170270477630.8267, 2725173968231.745, 1780627641924.3804, 1163627063150.0964, 760293969975.031, 496858773351.0897, 324630652751.7994, 212154220410.9674, 138610791072.7301, 90587848412.2919, 59183969246.5119, 38680115174.054474, 25270314628.289597, 16516008550.299131, 10789882149.150124, 7052156413.191162, 4607042365.977858, 3011190424.2066164, 1967102997.288823, 1285742119.0274196, 839907150.1178247, 548995458.5027521, 358629021.6543326, 234413510.21342945, 153133180.1560093, 100091029.45346826, 65387021.099442996, 42737162.32139638, 27919740.6059632, 18247912.06938346, 11921405.023630317, 7791407.506862355, 5090231.2595316935, 3326679.964013394, 2173391.04607454, 1420344.4890965, 927945.1976509992, 606395.4401834307, 396169.05982265953, 258871.59657571657, 169120.1448160805, 110498.62945107487, 72183.50869223116, 47155.93070526549, 30800.7011851334, 20116.88821168013, 13136.606772693209, 8576.831915589966, 5598.503777159909, 3653.0984604925866, 2382.881890705251, 1553.3636322663983, 1012.037931655309, 658.6735268577769, 428.2657137713869, 277.9798398495627, 180.11507187123746, 116.37172574843729, 74.9504410471646, 48.03760914268194, 30.610709677987533, 19.33657271750402, 12.07978544736897, 7.420674370965883, 4.453085839190888, 2.5739275684664804, 1.3999232386482747, 0.6760043719229302, 0.24094364763503118, -0.012323344707244251, -0.15098384873554452, -0.21939140998506482},x]
y4sol(x) = DataFunction[{-8.5, -8.415, -8.33, -8.245, -8.16, -8.075, -7.989999999999999, -7.904999999999999, -7.819999999999999, -7.734999999999999, -7.6499999999999995, -7.5649999999999995, -7.479999999999999, -7.394999999999999, -7.309999999999999, -7.224999999999999, -7.139999999999999, -7.054999999999999, -6.969999999999999, -6.884999999999999, -6.799999999999999, -6.714999999999998, -6.629999999999998, -6.544999999999998, -6.459999999999998, -6.374999999999998, -6.289999999999998, -6.204999999999998, -6.119999999999997, -6.0349999999999975, -5.9499999999999975, -5.8649999999999975, -5.779999999999998, -5.694999999999998, -5.609999999999998, -5.524999999999998, -5.439999999999998, -5.354999999999997, -5.269999999999997, -5.184999999999997, -5.099999999999997, -5.014999999999997, -4.929999999999997, -4.844999999999997, -4.759999999999996, -4.674999999999996, -4.589999999999996, -4.504999999999996, -4.419999999999996, -4.334999999999996, -4.2499999999999964, -4.1649999999999965, -4.0799999999999965, -3.994999999999996, -3.9099999999999957, -3.8249999999999957, -3.7399999999999958, -3.654999999999996, -3.569999999999996, -3.4849999999999954, -3.3999999999999955, -3.3149999999999955, -3.229999999999995, -3.144999999999995, -3.059999999999995, -2.974999999999995, -2.8899999999999952, -2.804999999999995, -2.719999999999995, -2.634999999999995, -2.5499999999999945, -2.4649999999999945, -2.3799999999999946, -2.2949999999999946, -2.2099999999999946, -2.1249999999999942, -2.0399999999999943, -1.9549999999999943, -1.8699999999999941, -1.784999999999994, -1.699999999999994, -1.614999999999994, -1.5299999999999938, -1.4449999999999936, -1.3599999999999937, -1.2749999999999937, -1.1899999999999935, -1.1049999999999933, -1.0199999999999936, -0.9349999999999935, -0.8499999999999935, -0.7649999999999936, -0.6799999999999936, -0.5949999999999936, -0.5099999999999937, -0.42499999999999366, -0.33999999999999364, -0.2549999999999936, -0.1699999999999936, -0.08499999999999361, 0}, {453215833722070208, 311431973729216640, 203444373504904608, 132977532002575760, 86870266873504160, 56779675115693776, 37093363305312256, 24244157783797680, 15838748217147424, 10351918953499598, 6763088655007861, 4420121288408931, 2887811813626551.5, 1887326644316125, 1233082910717244.2, 805859844878556.8, 526520457922456.25, 344089579182716.4, 224821479885539.88, 146920731856595.34, 95997502374542.44, 62732732355365.83, 40990351707403.41, 26785816048947.273, 17502614771036.742, 11437078896242.605, 7473495925063.41, 4883429346632.352, 3191128175600.469, 2085135381034.292, 1362587104077.9714, 890313922148.6416, 581813616926.493, 380147056980.04144, 248429447401.95822, 162315377597.41098, 106077153411.50902, 69305431979.63121, 45293954946.64621, 29592010552.038593, 19340079458.47223, 12635175762.042887, 8258019836.380692, 5394954199.9459305, 3526089278.1949053, 2303530521.4692044, 1505603089.3908446, 983558142.814737, 642876664.0923434, 419958302.2726362, 274501716.829143, 179317874.17191172, 117209592.21097219, 76568983.05873354, 50047533.28530517, 32695213.127453838, 21370017.335643463, 13961081.66688609, 9124977.852028254, 5961564.382759701, 3896430.761310733, 2545728.840548642, 1663857.237247083, 1087131.8150451228, 710540.2638616845, 464283.0152295303, 303459.5602485579, 198305.38733469357, 129622.09355604969, 84717.20970207355, 55381.86093913672, 36203.555547533615, 23672.269926638677, 15479.895723712178, 10125.540335913323, 6624.89872528054, 4336.153868816555, 2839.518738801424, 1860.5139966391698, 1220.090282917533, 800.8472047056548, 526.402591767428, 346.53004848032447, 228.6355356837384, 151.2226635476739, 100.37599740651552, 66.88926026604979, 44.816666312777514, 30.21112873015938, 20.5286934006053, 14.074022479084203, 9.756226286139322, 6.844944985139915, 4.870662725887659, 3.5171846123853756, 2.581215903180537, 1.9247666076244396, 1.4589577377370149, 1.122794208487005, 0.8768217903970557, 0.6935370594929164},x]