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

Resize Field

Rebuild Field

f(x, y) = y
g(x, y) = (-0.1 * x) - (0.05 * y)
A = (6.3944566676926415, 2.6382825008586193)
maxT = 25.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 = 15.67 (slider from -3 to maxT, step stepplot)
B = Point(ppsol, t / maxT)
X_t: (t, x(B))
Y_t: (t, y(B))
a = false
C = (-27.06519098834065, -10.274850327969933)
D = (10.688313492212558, 12.590232976395948)
H: abs(x(D) - x(C))
W: abs(y(D) - y(C))
n = 16 (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.255, 0.51, 0.765, 1.02, 1.2750000000000001, 1.53, 1.7850000000000001, 2.04, 2.295, 2.55, 2.8049999999999997, 3.0599999999999996, 3.3149999999999995, 3.57, 3.8249999999999997, 4.08, 4.335, 4.590000000000001, 4.845000000000001, 5.100000000000001, 5.355000000000001, 5.610000000000001, 5.865000000000002, 6.120000000000002, 6.375000000000002, 6.630000000000002, 6.885000000000002, 7.140000000000002, 7.395000000000002, 7.650000000000002, 7.905000000000003, 8.160000000000004, 8.415000000000003, 8.670000000000003, 8.925000000000004, 9.180000000000003, 9.435000000000004, 9.690000000000005, 9.945000000000004, 10.200000000000005, 10.455000000000005, 10.710000000000004, 10.965000000000005, 11.220000000000006, 11.475000000000007, 11.730000000000006, 11.985000000000007, 12.240000000000007, 12.495000000000006, 12.750000000000005, 13.005000000000006, 13.260000000000007, 13.515000000000006, 13.770000000000007, 14.025000000000007, 14.280000000000006, 14.535000000000007, 14.790000000000008, 15.045000000000007, 15.300000000000008, 15.555000000000009, 15.810000000000008, 16.06500000000001, 16.320000000000007, 16.57500000000001, 16.83000000000001, 17.085000000000008, 17.34000000000001, 17.59500000000001, 17.85000000000001, 18.10500000000001, 18.36000000000001, 18.61500000000001, 18.87000000000001, 19.12500000000001, 19.380000000000013, 19.635000000000012, 19.89000000000001, 20.145000000000014, 20.400000000000013, 20.655000000000012, 20.910000000000014, 21.165000000000013, 21.420000000000012, 21.675000000000015, 21.930000000000014, 22.185000000000013, 22.440000000000015, 22.695000000000014, 22.950000000000014, 23.205000000000016, 23.460000000000015, 23.715000000000014, 23.970000000000017, 24.225000000000016, 24.480000000000015, 24.735000000000017, 24.990000000000016, 25.245000000000015, 25.5}, {6.3944566676926415, 7.0415227587123335, 7.634939383272773, 8.171512010593602, 8.64854011045925, 9.063651263465385, 9.414997113394989, 9.701067447982979, 9.920891994456985, 10.073839739399093, 10.159821249210921, 10.179078743257485, 10.13238374146539, 10.020823503052014, 9.84598905407846, 9.609763555896809, 9.31449613655661, 8.962797563561182, 8.557695782026036, 8.102443943838814, 7.600654127397891, 7.056122331431125, 6.472937499007562, 5.855327533516328, 5.2077414549299705, 4.5347198545820095, 3.840948754847745, 3.131157207078342, 2.4101421869553805, 1.682695276291415, 0.953598685353739, 0.22758216508871276, -0.490709014700902, -1.1967265796896904, -1.8860777903366914, -2.554507831856987, -3.197982703263616, -3.8126426927035983, -4.394906879088294, -4.941399613016085, -5.449073408924987, -5.915110995224506, -6.337062984760877, -6.712728619287333, -7.0403043182767036, -7.318246710145491, -7.54542797887665, -7.720985137876258, -7.844478022409798, -7.915729014910814, -7.93497956797102, -7.902724728639085, -7.81986421797275, -7.687536125684023, -7.507258811808219, -7.280768054251874, -7.010146367346466, -6.697667688548169, -6.345911116829025, -5.957616928700674, -5.5357822141046364, -5.083531626184347, -4.604192919729396, -4.101185375844398, -3.578073813238226, -3.0384771019580565, -2.4860998054566825, -1.9246626219835214, -1.3579114097881584, -0.7895707865602575, -0.22333087593230244, 0.3371753290559286, 0.888406597602449, 1.4269123519017803, 1.949387251231747, 2.45264696322243, 2.9337007992819704, 3.389705569344293, 3.818053952820781, 4.216308171130501, 4.582301433439672, 4.914053634793043, 5.209882947845379, 5.468306159429087, 5.688157293225328, 5.868475525466616, 6.008627621753056, 6.108186616840427, 6.167054832058704, 6.185336660622136, 6.163458998641805, 6.102041544314131, 6.002011621535062, 5.864475379217321, 5.690824206267998, 5.482610108960838, 5.241641202043441, 4.969864352495582, 4.669447574790121, 4.342672765406226, 3.9920032205434555},x]
y2sol(x) = DataFunction[{0, 0.255, 0.51, 0.765, 1.02, 1.2750000000000001, 1.53, 1.7850000000000001, 2.04, 2.295, 2.55, 2.8049999999999997, 3.0599999999999996, 3.3149999999999995, 3.57, 3.8249999999999997, 4.08, 4.335, 4.590000000000001, 4.845000000000001, 5.100000000000001, 5.355000000000001, 5.610000000000001, 5.865000000000002, 6.120000000000002, 6.375000000000002, 6.630000000000002, 6.885000000000002, 7.140000000000002, 7.395000000000002, 7.650000000000002, 7.905000000000003, 8.160000000000004, 8.415000000000003, 8.670000000000003, 8.925000000000004, 9.180000000000003, 9.435000000000004, 9.690000000000005, 9.945000000000004, 10.200000000000005, 10.455000000000005, 10.710000000000004, 10.965000000000005, 11.220000000000006, 11.475000000000007, 11.730000000000006, 11.985000000000007, 12.240000000000007, 12.495000000000006, 12.750000000000005, 13.005000000000006, 13.260000000000007, 13.515000000000006, 13.770000000000007, 14.025000000000007, 14.280000000000006, 14.535000000000007, 14.790000000000008, 15.045000000000007, 15.300000000000008, 15.555000000000009, 15.810000000000008, 16.06500000000001, 16.320000000000007, 16.57500000000001, 16.83000000000001, 17.085000000000008, 17.34000000000001, 17.59500000000001, 17.85000000000001, 18.10500000000001, 18.36000000000001, 18.61500000000001, 18.87000000000001, 19.12500000000001, 19.380000000000013, 19.635000000000012, 19.89000000000001, 20.145000000000014, 20.400000000000013, 20.655000000000012, 20.910000000000014, 21.165000000000013, 21.420000000000012, 21.675000000000015, 21.930000000000014, 22.185000000000013, 22.440000000000015, 22.695000000000014, 22.950000000000014, 23.205000000000016, 23.460000000000015, 23.715000000000014, 23.970000000000017, 24.225000000000016, 24.480000000000015, 24.735000000000017, 24.990000000000016, 25.245000000000015, 25.5}, {2.6382825008586193, 2.434506850729604, 2.2175964848647953, 1.9891091405510912, 1.7506751938315575, 1.5039534527789025, 1.250647840781502, 0.9924731840928707, 0.7311614377112877, 0.46843809228632616, 0.2060180463430443, -0.05440703023837654, -0.3111828111969014, -0.562693945880453, -0.8073875482606456, -1.0437640596392983, -1.2704092737684738, -1.485974935566876, -1.6892182667647884, -1.8789730562219298, -2.0541954843852053, -2.2139266854336173, -2.3573435376823904, -2.483713871639985, -2.592450799795416, -2.683061903564363, -2.755205621115287, -2.808635866914763, -2.843258980806357, -2.859075314306538, -2.8562352674533478, -2.83497941510669, -2.79569221855905, -2.7388422628963465, -2.6650323255246615, -2.5749412532464104, -2.469369196393298, -2.34918257376607, -2.2153534349423234, -2.0689088456389078, -1.910963517352065, -1.742674798875115, -1.5652679066307325, -1.3799975345617455, -1.1881652249111625, -0.9910884136191935, -0.7901096942999098, -0.5865739051651013, -0.3818292529130381, -0.17721282587301465, 0.025956246046024038, 0.2263826929086843, 0.42280953295141754, 0.6140154537603592, 0.7988362678344427, 0.9761540550194135, 1.1449249186926473, 1.304160375116517, 1.4529605403425057, 1.590488438596266, 1.71600763273549, 1.828850288310572, 1.9284581713966298, 2.01434544392328, 2.086141893506007, 2.1435515460896073, 2.1863969637939054, 2.2145748407550796, 2.2281002069386275, 2.2270602210158423, 2.2116571497641617, 2.1821615874564886, 2.138953140305595, 2.0824742855846035, 2.0132677763353715, 1.9319323064990184, 1.839155759947702, 1.7356737722599462, 1.6222980766808583, 1.499878951489279, 1.3693280599530484, 1.2315856477652065, 1.0876374303358196, 0.9384872612857954, 0.7851677842028898, 0.6287191348300362, 0.47019324132429297, 0.31063895399392616, 0.1511000437793478, -0.00739302123264501, -0.16383116915211637, -0.3172282576132205, -0.46663489816755205, -0.6111334286027512, -0.7498569698339538, -0.881978131241504, -1.006732679975168, -1.1234024265306415, -1.2313427837978208, -1.329960417970514, -1.41874389318785},x]
parysol(x) = If[0 ≤ x ≤ t, y2sol(x)]
parxsol(x) = If[0 ≤ x ≤ t, x2sol(x)]
mixval = Min(xlist)
miyval = Min(ylist)
sp = 0.9 (slider from 0 to 1.5, step 0.1)
e = true
length = 0.7 (slider from 0.1 to 1.2, step 0.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)
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.255, 0.51, 0.765, 1.02, 1.2750000000000001, 1.53, 1.7850000000000001, 2.04, 2.295, 2.55, 2.8049999999999997, 3.0599999999999996, 3.3149999999999995, 3.57, 3.8249999999999997, 4.08, 4.335, 4.590000000000001, 4.845000000000001, 5.100000000000001, 5.355000000000001, 5.610000000000001, 5.865000000000002, 6.120000000000002, 6.375000000000002, 6.630000000000002, 6.885000000000002, 7.140000000000002, 7.395000000000002, 7.650000000000002, 7.905000000000003, 8.160000000000004, 8.415000000000003, 8.670000000000003, 8.925000000000004, 9.180000000000003, 9.435000000000004, 9.690000000000005, 9.945000000000004, 10.200000000000005, 10.455000000000005, 10.710000000000004, 10.965000000000005, 11.220000000000006, 11.475000000000007, 11.730000000000006, 11.985000000000007, 12.240000000000007, 12.495000000000006, 12.750000000000005, 13.005000000000006, 13.260000000000007, 13.515000000000006, 13.770000000000007, 14.025000000000007, 14.280000000000006, 14.535000000000007, 14.790000000000008, 15.045000000000007, 15.300000000000008, 15.555000000000009, 15.810000000000008, 16.06500000000001, 16.320000000000007, 16.57500000000001, 16.83000000000001, 17.085000000000008, 17.34000000000001, 17.59500000000001, 17.85000000000001, 18.10500000000001, 18.36000000000001, 18.61500000000001, 18.87000000000001, 19.12500000000001, 19.380000000000013, 19.635000000000012, 19.89000000000001, 20.145000000000014, 20.400000000000013, 20.655000000000012, 20.910000000000014, 21.165000000000013, 21.420000000000012, 21.675000000000015, 21.930000000000014, 22.185000000000013, 22.440000000000015, 22.695000000000014, 22.950000000000014, 23.205000000000016, 23.460000000000015, 23.715000000000014, 23.970000000000017, 24.225000000000016, 24.480000000000015, 24.735000000000017, 24.990000000000016, 25.245000000000015, 25.5}, {6.3944566676926415, 5.697244834345225, 4.95384115829249, 4.168481198556285, 3.3457938987164995, 2.4906542125594946, 1.6082618796436736, 0.7040196128250455, -0.2164239975950332, -1.1472668721225932, -2.082548463663806, -3.0162095329418137, -3.9421262062419165, -4.854134724330159, -5.746104649283024, -6.611927031661624, -7.445625853146625, -8.241308978192583, -8.9933158904803, -9.696131757206444, -10.344568513137615, -10.933643343839275, -11.45878921839895, -11.915700066971773, -12.300565988409627, -12.609888331789023, -12.840734033247246, -12.99052468520372, -13.057303810613119, -13.039504792861198, -12.936224395632655, -12.74697510801958, -12.471957881185492, -12.111804996370369, -11.667844828581067, -11.14184175205407, -10.53624576509467, -9.853936193693638, -9.098449224519156, -8.27373224215459, -7.384342718403272, -6.435219915630093, -5.431849164287339, -4.38005738221872, -3.2861375280253595, -2.1566739267171897, -0.9986225987873778, 0.18082824621668037, 1.374225256192013, 2.5739496994126867, 3.772233976475724, 4.96121799073665, 6.133015969235185, 7.279726838063468, 8.393550895098038, 9.466752729602682, 10.491825967310206, 11.461408483324675, 12.368492130439094, 13.206291242006255, 13.96849299210025, 14.649081438652978, 15.242622983573995, 15.744049433301548, 16.148971961431165, 16.453427830963697, 16.65421534233755, 16.748609936848247, 16.734711867176152, 16.611138354063996, 16.377375168576695, 16.033452315947223, 15.58029038841237, 15.019367876200777, 14.353053051159652, 13.584271434164947, 12.716814111467714, 11.75501410398801, 10.704022402848304, 9.569501977882062, 8.357863442348371, 7.075985199963904, 5.731401501089375, 4.332056759998679, 2.8864398293979403, 1.4033798288410118, -0.10787828121653222, -1.6378299205668585, -3.176697518417333, -4.714533438995771, -6.2412707720029195, -7.746768880513291, -9.220928674714738, -10.653678102822415, -12.035150543325344, -13.355609069173632, -14.605684899280307, -15.776240845522084, -16.8586651064283, -17.84467591583986, -18.726664385077896},x]
y3sol(x) = DataFunction[{0, 0.255, 0.51, 0.765, 1.02, 1.2750000000000001, 1.53, 1.7850000000000001, 2.04, 2.295, 2.55, 2.8049999999999997, 3.0599999999999996, 3.3149999999999995, 3.57, 3.8249999999999997, 4.08, 4.335, 4.590000000000001, 4.845000000000001, 5.100000000000001, 5.355000000000001, 5.610000000000001, 5.865000000000002, 6.120000000000002, 6.375000000000002, 6.630000000000002, 6.885000000000002, 7.140000000000002, 7.395000000000002, 7.650000000000002, 7.905000000000003, 8.160000000000004, 8.415000000000003, 8.670000000000003, 8.925000000000004, 9.180000000000003, 9.435000000000004, 9.690000000000005, 9.945000000000004, 10.200000000000005, 10.455000000000005, 10.710000000000004, 10.965000000000005, 11.220000000000006, 11.475000000000007, 11.730000000000006, 11.985000000000007, 12.240000000000007, 12.495000000000006, 12.750000000000005, 13.005000000000006, 13.260000000000007, 13.515000000000006, 13.770000000000007, 14.025000000000007, 14.280000000000006, 14.535000000000007, 14.790000000000008, 15.045000000000007, 15.300000000000008, 15.555000000000009, 15.810000000000008, 16.06500000000001, 16.320000000000007, 16.57500000000001, 16.83000000000001, 17.085000000000008, 17.34000000000001, 17.59500000000001, 17.85000000000001, 18.10500000000001, 18.36000000000001, 18.61500000000001, 18.87000000000001, 19.12500000000001, 19.380000000000013, 19.635000000000012, 19.89000000000001, 20.145000000000014, 20.400000000000013, 20.655000000000012, 20.910000000000014, 21.165000000000013, 21.420000000000012, 21.675000000000015, 21.930000000000014, 22.185000000000013, 22.440000000000015, 22.695000000000014, 22.950000000000014, 23.205000000000016, 23.460000000000015, 23.715000000000014, 23.970000000000017, 24.225000000000016, 24.480000000000015, 24.735000000000017, 24.990000000000016, 25.245000000000015, 25.5}, {2.6382825008586193, 2.827411364496202, 3.0004803344712623, 3.156138449321707, 3.293158114416957, 3.4103891519859273, 3.506826541625957, 3.581556310277268, 3.633828179777674, 3.6629945084390227, 3.668586062670141, 3.6502454357606506, 3.6078040324203697, 3.5412115723762576, 3.4506122954309832, 3.336272301919977, 3.198652954922976, 3.038337911743195, 2.8561017213259485, 2.65283845693334, 2.4296235814235256, 2.1876460985388073, 1.9282618858903422, 1.652931239305146, 1.363262051158769, 1.060954528870162, 0.7478328212622473, 0.42579854970562736, 0.09684975276861128, -0.23695532083197535, -0.5734927748391775, -0.9105977938673373, -1.24607320506807, -1.5777017813887837, -1.9032689387985406, -2.2205619700571617, -2.527406645941524, -2.8216530621099354, -3.1012255412885485, -3.364095119524596, -3.608341781069503, -3.8321139622095846, -4.033701801379523, -4.211484389801264, -4.364012395772215, -4.489944132282281, -4.588135625613324, -4.657566891717253, -4.697437273727219, -4.707083612212865, -4.686078481511733, -4.634142195589724, -4.551241435684189, -4.437497245694486, -4.2932814685779075, -4.119123046251468, -3.915799673081991, -3.6842448196413553, -3.425632070425172, -3.141285334262047, -2.8327534602893403, -2.501726077657092, -2.1500962772076635, -1.7798844382236525, -1.3932870198343257, -0.9926105834939023, -0.5803050527582533, -0.1589099292062614, 0.26892925487616115, 0.7005007983562526, 1.1330280522535794, 1.563693951934828, 1.9896603361734884, 2.4080761088581752, 2.8161146156997456, 3.210964798087529, 3.5898861112981897, 3.9501824637648975, 4.289273686190546, 4.604652496682332, 4.893971069506454, 5.154981718957011, 5.385636682075679, 5.584013660011586, 5.748426532965502, 5.877337325266335, 5.96947522448686, 6.023736933800287, 6.039311081042229, 6.015569277893846, 5.9521927877087215, 5.849056915271584, 5.70635666195979, 5.524487312914495, 5.304165750232641, 5.0463102783920295, 4.752154294319819, 4.423128490475914, 4.060963696300063, 3.6675786169396503, 3.2451688629612945},x]
l = Mirror(x3sol(x), x = 0)
m = Mirror(y3sol(x), x = 0)
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[{-25.5, -25.245, -24.99, -24.735, -24.48, -24.224999999999998, -23.97, -23.715, -23.459999999999997, -23.205, -22.95, -22.694999999999997, -22.439999999999998, -22.185, -21.929999999999996, -21.674999999999997, -21.419999999999995, -21.164999999999996, -20.909999999999997, -20.654999999999994, -20.399999999999995, -20.144999999999996, -19.889999999999993, -19.634999999999994, -19.379999999999995, -19.124999999999993, -18.869999999999994, -18.614999999999995, -18.359999999999992, -18.104999999999993, -17.849999999999994, -17.59499999999999, -17.339999999999993, -17.084999999999994, -16.82999999999999, -16.574999999999992, -16.319999999999993, -16.06499999999999, -15.809999999999992, -15.55499999999999, -15.29999999999999, -15.044999999999991, -14.78999999999999, -14.53499999999999, -14.27999999999999, -14.02499999999999, -13.769999999999989, -13.51499999999999, -13.25999999999999, -13.004999999999988, -12.74999999999999, -12.494999999999989, -12.239999999999988, -11.984999999999989, -11.729999999999988, -11.474999999999987, -11.219999999999988, -10.964999999999987, -10.709999999999987, -10.454999999999986, -10.199999999999987, -9.944999999999986, -9.689999999999985, -9.434999999999986, -9.179999999999986, -8.924999999999985, -8.669999999999986, -8.414999999999985, -8.159999999999984, -7.904999999999984, -7.649999999999984, -7.394999999999984, -7.139999999999984, -6.884999999999984, -6.629999999999983, -6.374999999999983, -6.119999999999983, -5.8649999999999824, -5.609999999999983, -5.354999999999982, -5.099999999999982, -4.844999999999982, -4.589999999999981, -4.334999999999981, -4.0799999999999805, -3.8249999999999806, -3.5699999999999807, -3.3149999999999804, -3.0599999999999805, -2.8049999999999806, -2.5499999999999807, -2.294999999999981, -2.039999999999981, -1.784999999999981, -1.529999999999981, -1.274999999999981, -1.019999999999981, -0.7649999999999808, -0.5099999999999808, -0.2549999999999808, 0}, {-18.726664385077896, -17.84467591583986, -16.8586651064283, -15.776240845522084, -14.605684899280307, -13.355609069173632, -12.035150543325344, -10.653678102822415, -9.220928674714738, -7.746768880513291, -6.2412707720029195, -4.714533438995771, -3.176697518417333, -1.6378299205668585, -0.10787828121653222, 1.4033798288410118, 2.8864398293979403, 4.332056759998679, 5.731401501089375, 7.075985199963904, 8.357863442348371, 9.569501977882062, 10.704022402848304, 11.75501410398801, 12.716814111467714, 13.584271434164947, 14.353053051159652, 15.019367876200777, 15.58029038841237, 16.033452315947223, 16.377375168576695, 16.611138354063996, 16.734711867176152, 16.748609936848247, 16.65421534233755, 16.453427830963697, 16.148971961431165, 15.744049433301548, 15.242622983573995, 14.649081438652978, 13.96849299210025, 13.206291242006255, 12.368492130439094, 11.461408483324675, 10.491825967310206, 9.466752729602682, 8.393550895098038, 7.279726838063468, 6.133015969235185, 4.96121799073665, 3.772233976475724, 2.5739496994126867, 1.374225256192013, 0.18082824621668037, -0.9986225987873778, -2.1566739267171897, -3.2861375280253595, -4.38005738221872, -5.431849164287339, -6.435219915630093, -7.384342718403272, -8.27373224215459, -9.098449224519156, -9.853936193693638, -10.53624576509467, -11.14184175205407, -11.667844828581067, -12.111804996370369, -12.471957881185492, -12.74697510801958, -12.936224395632655, -13.039504792861198, -13.057303810613119, -12.99052468520372, -12.840734033247246, -12.609888331789023, -12.300565988409627, -11.915700066971773, -11.45878921839895, -10.933643343839275, -10.344568513137615, -9.696131757206444, -8.9933158904803, -8.241308978192583, -7.445625853146625, -6.611927031661624, -5.746104649283024, -4.854134724330159, -3.9421262062419165, -3.0162095329418137, -2.082548463663806, -1.1472668721225932, -0.2164239975950332, 0.7040196128250455, 1.6082618796436736, 2.4906542125594946, 3.3457938987164995, 4.168481198556285, 4.95384115829249, 5.697244834345225, 6.3944566676926415},x]
y4sol(x) = DataFunction[{-25.5, -25.245, -24.99, -24.735, -24.48, -24.224999999999998, -23.97, -23.715, -23.459999999999997, -23.205, -22.95, -22.694999999999997, -22.439999999999998, -22.185, -21.929999999999996, -21.674999999999997, -21.419999999999995, -21.164999999999996, -20.909999999999997, -20.654999999999994, -20.399999999999995, -20.144999999999996, -19.889999999999993, -19.634999999999994, -19.379999999999995, -19.124999999999993, -18.869999999999994, -18.614999999999995, -18.359999999999992, -18.104999999999993, -17.849999999999994, -17.59499999999999, -17.339999999999993, -17.084999999999994, -16.82999999999999, -16.574999999999992, -16.319999999999993, -16.06499999999999, -15.809999999999992, -15.55499999999999, -15.29999999999999, -15.044999999999991, -14.78999999999999, -14.53499999999999, -14.27999999999999, -14.02499999999999, -13.769999999999989, -13.51499999999999, -13.25999999999999, -13.004999999999988, -12.74999999999999, -12.494999999999989, -12.239999999999988, -11.984999999999989, -11.729999999999988, -11.474999999999987, -11.219999999999988, -10.964999999999987, -10.709999999999987, -10.454999999999986, -10.199999999999987, -9.944999999999986, -9.689999999999985, -9.434999999999986, -9.179999999999986, -8.924999999999985, -8.669999999999986, -8.414999999999985, -8.159999999999984, -7.904999999999984, -7.649999999999984, -7.394999999999984, -7.139999999999984, -6.884999999999984, -6.629999999999983, -6.374999999999983, -6.119999999999983, -5.8649999999999824, -5.609999999999983, -5.354999999999982, -5.099999999999982, -4.844999999999982, -4.589999999999981, -4.334999999999981, -4.0799999999999805, -3.8249999999999806, -3.5699999999999807, -3.3149999999999804, -3.0599999999999805, -2.8049999999999806, -2.5499999999999807, -2.294999999999981, -2.039999999999981, -1.784999999999981, -1.529999999999981, -1.274999999999981, -1.019999999999981, -0.7649999999999808, -0.5099999999999808, -0.2549999999999808, 0}, {3.2451688629612945, 3.6675786169396503, 4.060963696300063, 4.423128490475914, 4.752154294319819, 5.0463102783920295, 5.304165750232641, 5.524487312914495, 5.70635666195979, 5.849056915271584, 5.9521927877087215, 6.015569277893846, 6.039311081042229, 6.023736933800287, 5.96947522448686, 5.877337325266335, 5.748426532965502, 5.584013660011586, 5.385636682075679, 5.154981718957011, 4.893971069506454, 4.604652496682332, 4.289273686190546, 3.9501824637648975, 3.5898861112981897, 3.210964798087529, 2.8161146156997456, 2.4080761088581752, 1.9896603361734884, 1.563693951934828, 1.1330280522535794, 0.7005007983562526, 0.26892925487616115, -0.1589099292062614, -0.5803050527582533, -0.9926105834939023, -1.3932870198343257, -1.7798844382236525, -2.1500962772076635, -2.501726077657092, -2.8327534602893403, -3.141285334262047, -3.425632070425172, -3.6842448196413553, -3.915799673081991, -4.119123046251468, -4.2932814685779075, -4.437497245694486, -4.551241435684189, -4.634142195589724, -4.686078481511733, -4.707083612212865, -4.697437273727219, -4.657566891717253, -4.588135625613324, -4.489944132282281, -4.364012395772215, -4.211484389801264, -4.033701801379523, -3.8321139622095846, -3.608341781069503, -3.364095119524596, -3.1012255412885485, -2.8216530621099354, -2.527406645941524, -2.2205619700571617, -1.9032689387985406, -1.5777017813887837, -1.24607320506807, -0.9105977938673373, -0.5734927748391775, -0.23695532083197535, 0.09684975276861128, 0.42579854970562736, 0.7478328212622473, 1.060954528870162, 1.363262051158769, 1.652931239305146, 1.9282618858903422, 2.1876460985388073, 2.4296235814235256, 2.65283845693334, 2.8561017213259485, 3.038337911743195, 3.198652954922976, 3.336272301919977, 3.4506122954309832, 3.5412115723762576, 3.6078040324203697, 3.6502454357606506, 3.668586062670141, 3.6629945084390227, 3.633828179777674, 3.581556310277268, 3.506826541625957, 3.4103891519859273, 3.293158114416957, 3.156138449321707, 3.0004803344712623, 2.827411364496202, 2.6382825008586193},x]