CREATE OR REPLACE DATABASE math;

CREATE TABLE funcs(
    x float,
    y float
);

INSERT INTO math.public.funcs VALUES
(0.0, 1.0),
(0.016722408026755852, 1.0016736006126223),
(0.033444816053511704, 1.003349452945014),
(0.05016722408026755, 1.00502614428687),
(0.06688963210702341, 1.0067013077936056),
(0.08361204013377926, 1.0083716145739687),
(0.1003344481605351, 1.0100327657874402),
(0.11705685618729096, 1.011679484788226),
(0.13377926421404682, 1.013305509363539),
(0.15050167224080266, 1.0149035841249194),
(0.16722408026755853, 1.016465453122552),
(0.18394648829431437, 1.0179818527638869),
(0.2006688963210702, 1.0194425051293594),
(0.21739130434782608, 1.020836111789639),
(0.23411371237458192, 1.0221503482405616),
(0.2508361204013378, 1.0233718590837602),
(0.26755852842809363, 1.024486254092919),
(0.2842809364548495, 1.0254781053175748),
(0.3010033444816053, 1.0263309453883958),
(0.3177257525083612, 1.0270272671998886),
(0.33444816053511706, 1.0275485251584515),
(0.3511705685618729, 1.0278751381955922),
(0.36789297658862874, 1.0279864947578694),
(0.3846153846153846, 1.027860959996696),
(0.4013377926421404, 1.027475885392442),
(0.4180602006688963, 1.0268076210582755),
(0.43478260869565216, 1.025831530979747),
(0.451505016722408, 1.0245220114562439),
(0.46822742474916385, 1.0228525130199417),
(0.4849498327759197, 1.020795566116726),
(0.5016722408026756, 1.0183228108416),
(0.5183946488294314, 1.0154050310282294),
(0.5351170568561873, 1.0120121929983656),
(0.5518394648829431, 1.0081134892818153),
(0.568561872909699, 1.0036773876212237),
(0.5852842809364548, 0.9986716855780636),
(0.6020066889632106, 0.9930635710567202),
(0.6187290969899665, 0.9868196890622432),
(0.6354515050167224, 0.97990621500404),
(0.6521739130434783, 0.9722889348523208),
(0.6688963210702341, 0.9639333324462731),
(0.68561872909699, 0.9548046842425503),
(0.7023411371237458, 0.9448681617795147),
(0.7190635451505016, 0.9340889421165389),
(0.7357859531772575, 0.9224323264883705),
(0.7525083612040133, 0.9098638673918658),
(0.7692307692307692, 0.896349504296083),
(0.785953177257525, 0.8818557081366203),
(0.8026755852842808, 0.8663496347209297),
(0.8193979933110368, 0.8497992871329832),
(0.8361204013377926, 0.8321736871828906),
(0.8528428093645485, 0.8134430558997003),
(0.8695652173913043, 0.7935790030134845),
(0.8862876254180602, 0.7725547253157778),
(0.903010033444816, 0.7503452137253517),
(0.9197324414715718, 0.7269274688190956),
(0.9364548494983277, 0.7022807245153184),
(0.9531772575250835, 0.6763866795190777),
(0.9698996655518394, 0.6492297360561404),
(0.9866220735785953, 0.6207972453339354),
(1.0033444816053512, 0.5910797590744284),
(1.020066889632107, 0.5600712863653674),
(1.0367892976588629, 0.5277695549730005),
(1.0535117056856187, 0.49417627615135107),
(1.0702341137123745, 0.459297411870816),
(1.0869565217391304, 0.42314344327253217),
(1.1036789297658862, 0.3857296390351317),
(1.120401337792642, 0.3470763222176599),
(1.137123745819398, 0.3072091340172062),
(1.1538461538461537, 0.26615929275285394),
(1.1705685618729096, 0.22396384625970003),
(1.1872909698996654, 0.18066591574881635),
(1.2040133779264213, 0.13631492906206882),
(1.220735785953177, 0.09096684112581602),
(1.237458193979933, 0.04468433928579814),
(1.254180602006689, -0.0024629689116409973),
(1.2709030100334449, -0.05039838803813855),
(1.2876254180602007, -0.0990379898517173),
(1.3043478260869565, -0.1482904938598496),
(1.3210702341137124, -0.19805717620616545),
(1.3377926421404682, -0.2482318097813847),
(1.354515050167224, -0.2987006385162361),
(1.37123745819398, -0.3493423888549271),
(1.3879598662207357, -0.40002832143009315),
(1.4046822742474916, -0.4506223259619855),
(1.4214046822742474, -0.5009810623837766),
(1.4381270903010033, -0.5509541511491277),
(1.4548494983277591, -0.6003844156053265),
(1.471571906354515, -0.6491081792131967),
(1.4882943143812708, -0.6969556202614342),
(1.5050167224080266, -0.7437511865559235),
(1.5217391304347825, -0.7893140723618717),
(1.5384615384615383, -0.8334587596363957),
(1.5551839464882942, -0.8759956253096732),
(1.57190635451505, -0.9167316160523452),
(1.5886287625418059, -0.955470991604133),
(1.6053511705685617, -0.9920161373324771),
(1.6220735785953178, -1.0261684462395448),
(1.6387959866220736, -1.05772927014071),
(1.6555183946488294, -1.0865009391974225),
(1.6722408026755853, -1.1122878484025516),
(1.6889632107023411, -1.1348976089875729),
(1.705685618729097, -1.1541422620496429),
(1.7224080267558528, -1.169839550984497),
(1.7391304347826086, -1.1818142485606522),
(1.7558528428093645, -1.1898995336846863),
(1.7725752508361203, -1.1939384120901628),
(1.7892976588628762, -1.193785174338564),
(1.806020066889632, -1.1893068836546226),
(1.8227424749163879, -1.1803848852367695),
(1.8394648829431437, -1.1669163277928225),
(1.8561872909698995, -1.148815687159221),
(1.8729096989966554, -1.126016280977542),
(1.8896321070234112, -1.098471762533991),
(1.906354515050167, -1.066157581026203),
(1.923076923076923, -1.0290723947178866),
(1.9397993311036787, -0.9872394226872739),
(1.9565217391304346, -0.9407077201823631),
(1.9732441471571907, -0.8895533619775361),
(1.9899665551839465, -0.8338805175959155),
(2.0066889632107023, -0.7738224018337256),
(2.023411371237458, -0.7095420837114537),
(2.040133779264214, -0.6412331367962188),
(2.0568561872909696, -0.5691201138052786),
(2.0735785953177257, -0.49345882852644335),
(2.0903010033444813, -0.4145364283919151),
(2.1070234113712374, -0.3326712415311445),
(2.123745819397993, -0.24821238281936875),
(2.140468227424749, -0.16153910434321236),
(2.157190635451505, -0.07305987683465737),
(2.1739130434782608, 0.016788810011053118),
(2.190635451505017, 0.10754393881120888),
(2.2073578595317724, 0.19871775598772237),
(2.2240802675585285, 0.2897998699913389),
(2.240802675585284, 0.38025966041402637),
(2.25752508361204, 0.4695489995352209),
(2.274247491638796, 0.5571052849911023),
(2.290969899665552, 0.6423547791626394),
(2.3076923076923075, 0.7247162475593497),
(2.3244147157190636, 0.80360488494841),
(2.341137123745819, 0.878436514262722),
(2.3578595317725752, 0.9486320394420179),
(2.374581939799331, 1.0136221293468273),
(2.391304347826087, 1.0728521057704319),
(2.4080267558528425, 1.1257870043967348),
(2.4247491638795986, 1.1719167733559048),
(2.441471571906354, 1.2107615698617877),
(2.4581939799331103, 1.241877111327923),
(2.474916387959866, 1.264860033408299),
(2.491638795986622, 1.2793532036550392),
(2.508361204013378, 1.2850509359911588),
(2.5250836120401337, 1.2817040480289),
(2.5418060200668897, 1.2691247004913724),
(2.5585284280936453, 1.247190955687608),
(2.5752508361204014, 1.215850990219575),
(2.591973244147157, 1.1751268959351386),
(2.608695652173913, 1.1251180026529763),
(2.6254180602006687, 1.0660036564417206),
(2.6421404682274248, 0.998045388299923),
(2.6588628762541804, 0.921588410015426),
(2.6755852842809364, 0.837062376835374),
(2.692307692307692, 0.7449813603976682),
(2.709030100334448, 0.6459429801976951),
(2.7257525083612038, 0.5406266477178812),
(2.74247491638796, 0.4297908842464421),
(2.7591973244147154, 0.3142696813578586),
(2.7759197324414715, 0.1949678820078377),
(2.792642140468227, 0.07285557018170266),
(2.809364548494983, -0.051038532019063505),
(2.826086956521739, -0.17563464912492976),
(2.842809364548495, -0.2998104954983651),
(2.859531772575251, -0.4224107402357652),
(2.8762541806020065, -0.542257343065289),
(2.8929765886287626, -0.6581606961316353),
(2.9096989966555182, -0.7689314918715113),
(2.9264214046822743, -0.8733932223936463),
(2.94314381270903, -0.9703952010842449),
(2.959866220735786, -1.0588259827810544),
(2.9765886287625416, -1.1376270450283574),
(2.9933110367892977, -1.2058065798881457),
(3.0100334448160533, -1.2624532337954095),
(3.0267558528428093, -1.3067496222724855),
(3.043478260869565, -1.337985437226567),
(3.060200668896321, -1.3555699573143),
(3.0769230769230766, -1.3590437667313795),
(3.0936454849498327, -1.3480894850282013),
(3.1103678929765883, -1.322541310405183),
(3.1270903010033444, -1.2823931816242995),
(3.1438127090301, -1.227805369382227),
(3.160535117056856, -1.1591093168898985),
(3.1772575250836117, -1.0768105616211798),
(3.1939799331103678, -0.981589585815005),
(3.2107023411371234, -0.8743004623783283),
(3.2274247491638794, -0.7559671853252887),
(3.2441471571906355, -0.6277775997275704),
(3.260869565217391, -0.49107487520500903),
(3.277591973244147, -0.3473464990522426),
(3.294314381270903, -0.19821079990522456),
(3.311036789297659, -0.04540105005940569),
(3.3277591973244145, 0.10925276625289183),
(3.3444816053511706, 0.2638443906179059),
(3.361204013377926, 0.4164137645657913),
(3.3779264214046822, 0.5649713284099371),
(3.394648829431438, 0.7075238914872285),
(3.411371237458194, 0.8421017798937388),
(3.4280936454849495, 0.9667869290536107),
(3.4448160535117056, 1.0797415523447131),
(3.4615384615384612, 1.179236984360497),
(3.4782608695652173, 1.263682269051162),
(3.494983277591973, 1.3316520397887213),
(3.511705685618729, 1.381913221149057),
(3.5284280936454846, 1.4134500716670884),
(3.5451505016722407, 1.4254870837096087),
(3.5618729096989963, 1.4175092615562104),
(3.5785953177257523, 1.3892793123186362),
(3.5953177257525084, 1.340851306882755),
(3.612040133779264, 1.2725803999108998),
(3.62876254180602, 1.185128239228654),
(3.6454849498327757, 1.07946374560373),
(3.6622073578595318, 0.9568590037861324),
(3.6789297658862874, 0.8188800743043293),
(3.6956521739130435, 0.6673726122821219),
(3.712374581939799, 0.5044422636267055),
(3.729096989966555, 0.33242989929770567),
(3.7458193979933108, 0.1538818437495677),
(3.762541806020067, -0.02848464740912611),
(3.7792642140468224, -0.21182030461914986),
(3.7959866220735785, -0.39318669953204005),
(3.812709030100334, -0.5696024820981807),
(3.82943143812709, -0.7380923483713615),
(3.846153846153846, -0.8957379987637437),
(3.862876254180602, -1.039730265779458),
(3.8795986622073575, -1.1674215201299616),
(3.8963210702341136, -1.2763774067814906),
(3.913043478260869, -1.3644269200003676),
(3.9297658862876252, -1.4297098007979658),
(3.9464882943143813, -1.470720233081488),
(3.963210702341137, -1.4863458277817376),
(3.979933110367893, -1.4759009184320135),
(3.9966555183946486, -1.439153247926005),
(4.013377926421405, -1.3763432048833708),
(4.030100334448161, -1.2881948691367138),
(4.046822742474916, -1.1759182487624544),
(4.063545150501672, -1.0412022347236451),
(4.080267558528428, -0.8861979619422219),
(4.096989966555184, -0.7134924452834055),
(4.113712374581939, -0.5260725527792682),
(4.130434782608695, -0.32727958317080985),
(4.147157190635451, -0.12075492673900842),
(4.1638795986622075, 0.08962249679840015),
(4.180602006688963, 0.2998061164384399),
(4.197324414715719, 0.5056577907204569),
(4.214046822742475, 0.7030287831394428),
(4.230769230769231, 0.8878441463640515),
(4.247491638795986, 1.05618887406981),
(4.264214046822742, 1.2043940511938165),
(4.280936454849498, 1.3291211376695262),
(4.297658862876254, 1.427442461650453),
(4.31438127090301, 1.496915979765193),
(4.331103678929765, 1.5356523872531194),
(4.3478260869565215, 1.5423727322655008),
(4.364548494983278, 1.5164548075768416),
(4.381270903010034, 1.4579667597589414),
(4.397993311036789, 1.367686569681639),
(4.414715719063545, 1.2471063169370566),
(4.431438127090301, 1.0984204410725156),
(4.448160535117057, 0.9244975496958675),
(4.464882943143812, 0.7288356916427936),
(4.481605351170568, 0.5155014052979128),
(4.498327759197324, 0.28905325954068484),
(4.51505016722408, 0.0544510183382645),
(4.5317725752508355, -0.18304803040094073),
(4.548494983277592, -0.41800364622799707),
(4.565217391304348, -0.6449158033116396),
(4.581939799331104, -0.858353816958787),
(4.598662207357859, -1.0530885093775482),
(4.615384615384615, -1.2242242695717085),
(4.632107023411371, -1.3673277057151374),
(4.648829431438127, -1.4785495088148979),
(4.665551839464883, -1.5547361509806814),
(4.682274247491638, -1.5935281354124402),
(4.698996655518394, -1.593441701434935),
(4.7157190635451505, -1.5539311673372782),
(4.7324414715719065, -1.4754294646584545),
(4.749163879598662, -1.359364875445669),
(4.765886287625418, -1.2081525216842515),
(4.782608695652174, -1.0251597635726895),
(4.79933110367893, -0.8146453279276997),
(4.816053511705685, -0.5816726945745521),
(4.832775919732441, -0.33199899967395186),
(4.849498327759197, -0.07194145122411984),
(4.866220735785953, 0.19177602735222837),
(4.882943143812708, 0.4521925263308911),
(4.8996655518394645, 0.7022922285268135),
(4.916387959866221, 0.9351942724372567),
(4.933110367892977, 1.144345394114499),
(4.949832775919732, 1.3237100235281762),
(4.966555183946488, 1.4679523308472862),
(4.983277591973244, 1.5726046898410695),
(5.0, 1.6342171594970862);