Created using Colaboratory
This commit is contained in:
Abdalaziz Rashid
parent
c7cf117bc9
commit
db72cb7335
1 changed files with 37 additions and 907 deletions
944
notebook_1.ipynb
944
notebook_1.ipynb
|
|
@ -870,7 +870,7 @@
|
|||
"source": [
|
||||
"!cd /content && tar -xzf with_units.gz && cd /content/AI-Feynman/Code"
|
||||
],
|
||||
"execution_count": null,
|
||||
"execution_count": 12,
|
||||
"outputs": []
|
||||
},
|
||||
{
|
||||
|
|
@ -900,7 +900,7 @@
|
|||
" \"test_percentage\" : 0,\n",
|
||||
"}"
|
||||
],
|
||||
"execution_count": null,
|
||||
"execution_count": 13,
|
||||
"outputs": []
|
||||
},
|
||||
{
|
||||
|
|
@ -953,7 +953,9 @@
|
|||
" def run_solver(self):\n",
|
||||
" path = Path(self.cfg[\"dataset_path\"])\n",
|
||||
" dirs = list(path.iterdir())\n",
|
||||
" for child in shuffle(dirs):\n",
|
||||
" shuffle(dirs) # Shuffle to sample a different file each time\n",
|
||||
" for child in dirs:\n",
|
||||
" print(child)\n",
|
||||
" self.results[str(child).split(\"/\")[-1]] = run_aifeynman(\n",
|
||||
" pathdir=str(path.resolve()) + \"/\",\n",
|
||||
" filename=str(child).split(\"/\")[-1],\n",
|
||||
|
|
@ -970,7 +972,7 @@
|
|||
" print(self.results)\n",
|
||||
" break\n"
|
||||
],
|
||||
"execution_count": null,
|
||||
"execution_count": 25,
|
||||
"outputs": []
|
||||
},
|
||||
{
|
||||
|
|
@ -980,9 +982,9 @@
|
|||
"colab_type": "code",
|
||||
"colab": {
|
||||
"base_uri": "https://localhost:8080/",
|
||||
"height": 1000
|
||||
"height": 68
|
||||
},
|
||||
"outputId": "2a3016ac-b0fd-4c15-b31f-b068c16f8204"
|
||||
"outputId": "3d8e007a-063a-490b-dfd1-1a7321b3fcb0"
|
||||
},
|
||||
"source": [
|
||||
"%%time\n",
|
||||
|
|
@ -994,858 +996,42 @@
|
|||
{
|
||||
"output_type": "stream",
|
||||
"text": [
|
||||
"/content/Feynman_with_units/I.34.8\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[51.02914258074896, 20.632572961102053, '0.003676398265*exp((x0-x2))']\n",
|
||||
"[53.47183762164833, 20.63257296108664, '0.009993486598*exp((x0-(x2+1)))']\n",
|
||||
"[54.95691283116149, 20.594634723173133, '0.001873750396*(exp(x0)/(x2*x1))']\n",
|
||||
"[150.44023521312678, 20.30619946511292, 0.00196652533486485*x1**(-1.09330487251282)*x2**(-1.09369504451752)*exp(x0)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[51.02914258074896, 20.632572961102053, '0.003676398265*exp((x0-x2))']\n",
|
||||
"[53.47183762164833, 20.63257296108664, '0.009993486598*exp((x0-(x2+1)))']\n",
|
||||
"[54.95691283116149, 20.594634723173133, '0.001873750396*(exp(x0)/(x2*x1))']\n",
|
||||
"[150.44023521312678, 20.30619946511292, 0.00196652533486485*x1**(-1.09330487251282)*x2**(-1.09369504451752)*exp(x0)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483182721156, 22.154756607625288, 'sin(-3.141488536836+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[51.02914258074896, 20.632572961102053, '0.003676398265*exp((x0-x2))']\n",
|
||||
"[53.47183762164833, 20.63257296108664, '0.009993486598*exp((x0-(x2+1)))']\n",
|
||||
"[54.92927719069293, 20.63252981768658, 'sin(0.003676398469*exp((x0-x2)))']\n",
|
||||
"[54.95691283116149, 20.594634723173133, '0.001873750396*(exp(x0)/(x2*x1))']\n",
|
||||
"[150.44023521312678, 20.30619946511292, 0.00196652533486485*x1**(-1.09330487251282)*x2**(-1.09369504451752)*exp(x0)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[41.78028460908676, 21.20078424496044, 'tan(0.000147529520*exp(x0))']\n",
|
||||
"[51.02914258074896, 20.632572961102053, '0.003676398265*exp((x0-x2))']\n",
|
||||
"[53.47183762164833, 20.63257296108664, '0.009993486598*exp((x0-(x2+1)))']\n",
|
||||
"[54.92927719069293, 20.63252981768658, 'sin(0.003676398469*exp((x0-x2)))']\n",
|
||||
"[54.95691283116149, 20.594634723173133, '0.001873750396*(exp(x0)/(x2*x1))']\n",
|
||||
"[59.09862212031811, 20.59434387577281, 'tan(0.001873750187*(exp(x0)/(x2*x1)))']\n",
|
||||
"[150.44023521312678, 20.30619946511292, 0.00196652533486485*x1**(-1.09330487251282)*x2**(-1.09369504451752)*exp(x0)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[41.78028460908676, 21.20078424496044, 'tan(0.000147529520*exp(x0))']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[41.78028460908676, 21.20078424496044, 'tan(0.000147529520*exp(x0))']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[41.78028460908676, 21.20078424496044, 'tan(0.000147529520*exp(x0))']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[41.78028460908676, 21.20078424496044, 'tan(0.000147529520*exp(x0))']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[827.7908368114961, 15.818087729923665, '0.011310680850017867*exp(0.657313427369091*x0 - 0.329012690616457*x1 - 0.657628557578617*x2 + 0.05*(0.865498915782025*x0 - 2.598092660426)**3 - 0.19*(0.865498915782025*x0 - 2.598092660426)**2 - 0.03*(0.866102055832981*x1 - 2.59949521113202)**3 + 0.09*(0.866102055832981*x1 - 2.59949521113202)**2 - 0.05*(0.865730183707546*x2 - 2.59833480258971)**3 + 0.19*(0.865730183707546*x2 - 2.59833480258971)**2)']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.27106902340706, 22.154989285167844, 'asin(-9.869500746207+(pi*pi))']\n",
|
||||
"[33.277483174076494, 22.154555407096936, 'asin(-3.141488536837+pi)']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[41.78028460908676, 21.20078424496044, 'tan(0.000147529520*exp(x0))']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[827.7908368114961, 15.818087729923665, '0.011310680850017867*exp(0.657313427369091*x0 - 0.329012690616457*x1 - 0.657628557578617*x2 + 0.05*(0.865498915782025*x0 - 2.598092660426)**3 - 0.19*(0.865498915782025*x0 - 2.598092660426)**2 - 0.03*(0.866102055832981*x1 - 2.59949521113202)**3 + 0.09*(0.866102055832981*x1 - 2.59949521113202)**2 - 0.05*(0.865730183707546*x2 - 2.59833480258971)**3 + 0.19*(0.865730183707546*x2 - 2.59833480258971)**2)']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.27106902340706, 22.154989285167844, 'asin(-9.869500746207+(pi*pi))']\n",
|
||||
"[33.277483174076494, 22.154555407096936, 'asin(-3.141488536837+pi)']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[36.212641398803086, 21.686042400598442, '0.000796326710733263']\n",
|
||||
"[37.30050670733039, 21.418860713357855, '0.000423166599*x0']\n",
|
||||
"[38.53517226771464, 21.201023005469942, '0.000147529536*exp(x0)']\n",
|
||||
"[41.78028460908676, 21.20078424496044, 'tan(0.000147529520*exp(x0))']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[827.7908368114961, 15.818087729923665, '0.011310680850017867*exp(0.657313427369091*x0 - 0.329012690616457*x1 - 0.657628557578617*x2 + 0.05*(0.865498915782025*x0 - 2.598092660426)**3 - 0.19*(0.865498915782025*x0 - 2.598092660426)**2 - 0.03*(0.866102055832981*x1 - 2.59949521113202)**3 + 0.09*(0.866102055832981*x1 - 2.59949521113202)**2 - 0.05*(0.865730183707546*x2 - 2.59833480258971)**3 + 0.19*(0.865730183707546*x2 - 2.59833480258971)**2)']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 14.475582524599382, 'sqrt(0)']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 14.475582524599382, 'sqrt(0)']\n",
|
||||
"Checking for symmetry \n",
|
||||
" III.15.14_train\n",
|
||||
"Training a NN on the data... \n",
|
||||
"\n",
|
||||
"tensor(0.1154, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.1869, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.1621, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0482, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"NN loss: tensor(0.0130, device='cuda:0', grad_fn=<DivBackward0>) \n",
|
||||
"\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483182721156, 22.154756607625288, 'sin(-3.141488536836+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.097484142307145, 21.772308964812115, 'tan(0.000183808463*pi)']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[41.74050911205901, 21.411552339741867, 'tan(0.001360759932*x0)']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[47.80722541219898, 19.982039094216944, 'tan(0.003206621045*(x0*x0))']\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.097484142307145, 21.772308964812115, 'tan(0.000183808463*pi)']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[41.74050911205901, 21.411552339741867, 'tan(0.001360759932*x0)']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.097484142307145, 21.772308964812115, 'tan(0.000183808463*pi)']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[41.74050911205901, 21.411552339741867, 'tan(0.001360759932*x0)']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.097484142307145, 21.772308964812115, 'tan(0.000183808463*pi)']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[41.74050911205901, 21.411552339741867, 'tan(0.001360759932*x0)']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.097484142307145, 21.772308964812115, 'tan(0.000183808463*pi)']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[41.74050911205901, 21.411552339741867, 'tan(0.001360759932*x0)']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[33.27106902340706, 22.154989285167844, 'asin(-9.869500746207+(pi*pi))']\n",
|
||||
"[33.277483174076494, 22.154555407096936, 'asin(-3.141488536837+pi)']\n",
|
||||
"[33.277483176683035, 22.154455877817384, 'tan(-3.141488536837+pi)']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.097484142307145, 21.772308964812115, 'tan(0.000183808463*pi)']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[41.74050911205901, 21.411552339741867, 'tan(0.001360759932*x0)']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 22.2372367107039, '0']\n",
|
||||
"[13.98370619265935, 22.10065401231352, '0.01*x0**2']\n",
|
||||
"[36.09748429928522, 21.772511460700905, '0.000183808483*pi']\n",
|
||||
"[38.097484142307145, 21.772308964812115, 'tan(0.000183808463*pi)']\n",
|
||||
"[38.98562177104787, 21.41177007209432, '0.001360760084*x0']\n",
|
||||
"[41.74050911205901, 21.411552339741867, 'tan(0.001360759932*x0)']\n",
|
||||
"[44.56211307453087, 19.98242060687502, '0.003206621401*(x0*x0)']\n",
|
||||
"[46.506634011923595, 17.889661392868497, 0.999750971794128]\n",
|
||||
"[46.506651128358314, 17.822359130503212, 0.999762833118439]\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 14.475582524599382, 'sqrt(0)']\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 14.475582524599382, 'sqrt(0)']\n",
|
||||
"[54.39860403755555, 0.07360768437155016, 0.0126651478931308*x0**2.0*x1**(-1.0)]\n",
|
||||
"[54.39860404460311, 0.00037717302760550644, '0.012665147955*(x0*(x0/x1))']\n",
|
||||
"Checking for symmetry \n",
|
||||
" III.15.14_train-translated_divide\n",
|
||||
"Found pretrained NN \n",
|
||||
"\n",
|
||||
"tensor(0.0382, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0485, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0892, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/III.15.14_train-translated_divide.h5'\n",
|
||||
"NN loss after training: 100 \n",
|
||||
"\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/III.15.14_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/III.15.14_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/III.15.14_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/III.15.14_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/III.15.14_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/III.15.14_train-translated_divide.h5'\n",
|
||||
"{'III.15.14': array([['22.2372367107039', '3.8555495010252425', '3855549.5010252427',\n",
|
||||
" '0.0', '14.475582524599382', 'sqrt(0)'],\n",
|
||||
" ['2.9753832917517503e-08', '-25.002349229336918',\n",
|
||||
" '-25002349.229336917', '26.67970000576925',\n",
|
||||
" '2.9753832917517493e-08', 'x1**(-1.0)*(x0/x2)**2.0/(8*pi**2)']],\n",
|
||||
" dtype='<U33')}\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[73.5857588220727, 29.21983070889972, '1.056113942807*(x0*(x1-(x3/(x2+1))))']\n",
|
||||
"[1974.4567025611493, 28.566724705768973, '0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142857142857143*x1*x2*x3 + 0.142857142857143*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.0646661423910857*x3**2*x4 + 0.1*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.1*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"[2054.5396093924837, 27.802554324032492, '0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142857142857143*x1*x2*x3 + 0.142857142857143*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.0646661423910857*x3**2*x4 + 0.0994764458887512*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.00643586373339401*x4**3 + 0.1*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"[2095.7580381783605, 27.06792786805124, '0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142857142857143*x1*x2*x3 + 0.142857142857143*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.00639622080022572*x3**3 + 0.0646661423910857*x3**2*x4 + 0.0994764458887512*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.00643586373339401*x4**3 + 0.1*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"[2135.647258749516, 27.052539966083575, '0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142554171780016*x1*x2*x3 + 0.142857142857143*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.00639622080022572*x3**3 + 0.0646661423910857*x3**2*x4 + 0.0994764458887512*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.00643586373339401*x4**3 + 0.1*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"[2174.507854838793, 27.05033302578203, '0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142554171780016*x1*x2*x3 + 0.142857142857143*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.00639622080022572*x3**3 + 0.0646661423910857*x3**2*x4 + 0.0994764458887512*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.00643586373339401*x4**3 + 0.0998240229008194*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"[2214.3987036365347, 27.04450398716522, '0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142554171780016*x1*x2*x3 + 0.142715149336052*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.00639622080022572*x3**3 + 0.0646661423910857*x3**2*x4 + 0.0994764458887512*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.00643586373339401*x4**3 + 0.0998240229008194*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"[2250.399733033296, 27.043476303247743, '-0.000229228423974192*x0**2 + 0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142554171780016*x1*x2*x3 + 0.142715149336052*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.00639622080022572*x3**3 + 0.0646661423910857*x3**2*x4 + 0.0994764458887512*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.00643586373339401*x4**3 + 0.0998240229008194*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"[2283.475833929959, 27.04295036004341, '-3.01840321506933e-5*x0**2*x1 - 0.000229228423974192*x0**2 + 0.0325746626576332*x0*x1**2 + 0.0778824680917128*x0*x1*x2 - 0.0518880984742786*x0*x1*x3 - 0.0519106003889923*x0*x1*x4 + 0.887406394844679*x0*x1 - 0.0842791831788619*x0*x2**2 + 0.0580834893162266*x0*x2*x3 + 0.0582307326566693*x0*x2*x4 + 0.238331861713905*x0*x2 + 0.0195737050067858*x0*x3**2 - 0.0712683232440432*x0*x3*x4 - 0.206847204492558*x0*x3 + 0.0195785236905948*x0*x4**2 - 0.207419756368808*x0*x4 + 0.0829732236221067*x0 - 0.0325211898947359*x1**3 - 0.0585883424590693*x1**2*x2 + 0.0649291098764242*x1**2*x3 + 0.0650169571961514*x1**2*x4 + 0.0861557108115203*x1**2 - 0.11020048038289*x1*x2**2 + 0.142554171780016*x1*x2*x3 + 0.142715149336052*x1*x2*x4 + 0.156006408222919*x1*x2 - 0.0388035893038414*x1*x3**2 - 0.129667022905849*x1*x3*x4 - 0.204289887544554*x1*x3 - 0.0389252021236985*x1*x4**2 - 0.204715431304606*x1*x4 + 0.455340384490551*x1 + 0.0583836903524309*x2**3 + 0.013054577598206*x2**2*x3 + 0.0129850533539446*x2**2*x4 - 0.274807124912584*x2**2 - 0.0777074464005353*x2*x3**2 - 0.0710867995506424*x2*x3*x4 + 0.178190949562133*x2*x3 - 0.0778417004790232*x2*x4**2 + 0.179019907708764*x2*x4 + 0.194221031323215*x2 + 0.00639622080022572*x3**3 + 0.0646661423910857*x3**2*x4 + 0.0994764458887512*x3**2 + 0.0647124713390778*x3*x4**2 - 0.169903044876565*x3*x4 - 0.218126401984724*x3 + 0.00643586373339401*x4**3 + 0.0998240229008194*x4**2 - 0.220273041544976*x4 - 0.31452826213815']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[46.881143181926895, 27.029817040584785, 1.29607558250427]\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[42.081365228548194, 28.952192947425182, -0.0465321578085423]\n",
|
||||
"[46.881143181926895, 27.029817040584785, 1.29607558250427]\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[42.081365228548194, 28.952192947425182, -0.0465321578085423]\n",
|
||||
"[46.881143181926895, 27.029817040584785, 1.29607558250427]\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[1.0, 31.730457458128292, '1']\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[1.0, 31.730457458128292, '1']\n",
|
||||
"[4.754887502163468, 29.4663796005927, 'x0*x1']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[72.46435094574099, 25.91206364892938, 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))']\n",
|
||||
"[163.215545694083, 25.448880246107645, tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)]\n",
|
||||
"[261.0249141926837, 25.399198213954175, -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]\n",
|
||||
"Checking for symmetry \n",
|
||||
" II.35.21_train\n",
|
||||
"Training a NN on the data... \n",
|
||||
"\n",
|
||||
"tensor(0.0286, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0238, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0292, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0155, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"NN loss: tensor(0.0025, device='cuda:0', grad_fn=<DivBackward0>) \n",
|
||||
"\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[24.236446955124386, 32.19379398225521, 'x0*x1 + x0*x2 + x1*x2 - x1 - x2**2 + 1']\n",
|
||||
"[48.33584961180911, 31.9862227670943, '0.001136817047*exp((x1+x0))']\n",
|
||||
"[48.444908703757726, 31.457560514093935, '-0.957879029931+x1']\n",
|
||||
"[48.6933025167606, 31.016339707140748, '0.168570230758*exp(x1)']\n",
|
||||
"[51.261202734823684, 29.67151999967164, '0.999530090276*(x1*x0)']\n",
|
||||
"[62.98013903114244, 29.63651158757859, '0.055232500314+((x0+log(x2))*(x1-1))']\n",
|
||||
"[106.30525426555863, 29.531475422563073, x0*(x1 + log(0.408610771597111*x2)) + 0.525839149951935]\n",
|
||||
"[108.02150104349855, 29.461005247973745, (x0 + log(x2))*(x1 - 0.719529628753662) - 0.0555874854326248]\n",
|
||||
"[153.74798012440982, 29.440090352742136, '0.1*x0*x1*x2 + x0*x1 - 0.285714285714286*x0*x2**2 + 0.142857142857143*x0*x2*x3 + 0.833333333333333*x0*x2 - 0.428571428571429*x0*x3 - 0.4*x0 - 0.125*x1**2*x2 + 0.25*x1**2 - 0.3*x1*x2**2 + 0.25*x1*x2*x3 + x1*x2 - 0.5*x1*x3 - 0.666666666666667*x1 + 0.333333333333333*x2**3 - x2**2 - 0.111111111111111*x2*x3**2 + 0.285714285714286*x2*x3 - 0.428571428571429*x2 + 0.2*x3**2 - 0.2*x3 + 0.784697875310949']\n",
|
||||
"[162.58246431046206, 29.325725950623077, x1*(x0 + 0.556240618228912)*sin(x2**0.482438892126083) - 1.94434630870819]\n",
|
||||
"[200.02103605333068, 28.648861022890436, '0.1*x0*x1*x2 + 0.850311055415562*x0*x1 - 0.285714285714286*x0*x2**2 + 0.142857142857143*x0*x2*x3 + 0.833333333333333*x0*x2 - 0.428571428571429*x0*x3 - 0.4*x0 - 0.125*x1**2*x2 + 0.25*x1**2 - 0.3*x1*x2**2 + 0.25*x1*x2*x3 + x1*x2 - 0.5*x1*x3 - 0.666666666666667*x1 + 0.333333333333333*x2**3 - x2**2 - 0.111111111111111*x2*x3**2 + 0.285714285714286*x2*x3 - 0.428571428571429*x2 + 0.2*x3**2 - 0.2*x3 + 0.784697875310949']\n",
|
||||
"[240.46710529464815, 28.54127970345586, '0.1*x0*x1*x2 + 0.850311055415562*x0*x1 - 0.285714285714286*x0*x2**2 + 0.142857142857143*x0*x2*x3 + 0.833333333333333*x0*x2 - 0.419409322578989*x0*x3 - 0.4*x0 - 0.125*x1**2*x2 + 0.25*x1**2 - 0.3*x1*x2**2 + 0.25*x1*x2*x3 + x1*x2 - 0.5*x1*x3 - 0.666666666666667*x1 + 0.333333333333333*x2**3 - x2**2 - 0.111111111111111*x2*x3**2 + 0.285714285714286*x2*x3 - 0.428571428571429*x2 + 0.2*x3**2 - 0.2*x3 + 0.784697875310949']\n",
|
||||
"[451.0046845634026, 28.311589315571727, '0.1*x0*x1*x2 + 0.850311055415562*x0*x1 - 0.285714285714286*x0*x2**2 + 0.142857142857143*x0*x2*x3 + 0.827047248703045*x0*x2 - 0.419409322578989*x0*x3 - 0.4*x0 - 0.125*x1**2*x2 + 0.25*x1**2 - 0.3*x1*x2**2 + 0.25*x1*x2*x3 + x1*x2 - 0.453915765321264*x1*x3 - 0.666666666666667*x1 + 0.333333333333333*x2**3 - 0.896533056720137*x2**2 - 0.111111111111111*x2*x3**2 + 0.275863468660905*x2*x3 - 0.435642558638502*x2 + 0.2*x3**2 - 0.2*x3 + 0.784697875310949']\n",
|
||||
"[765.2021193259455, 27.68961332841078, '0.0954709145222299*x0*x1*x2 + 0.850311055415562*x0*x1 - 0.281598845270346*x0*x2**2 + 0.142857142857143*x0*x2*x3 + 0.827047248703045*x0*x2 - 0.419409322578989*x0*x3 - 0.393857016024628*x0 - 0.125*x1**2*x2 + 0.25*x1**2 - 0.295615544580811*x1*x2**2 + 0.238779807136057*x1*x2*x3 + 1.08861622104865*x1*x2 - 0.453915765321264*x1*x3 - 0.650985290052454*x1 + 0.333333333333333*x2**3 - 0.0841340395633869*x2**2*x3 - 0.896533056720137*x2**2 - 0.111111111111111*x2*x3**2 + 0.275863468660905*x2*x3 - 0.435642558638502*x2 + 0.2*x3**2 - 0.2*x3 + 0.784697875310949']\n",
|
||||
"[804.4179933090178, 27.670902454575725, '0.0954709145222299*x0*x1*x2 + 0.850311055415562*x0*x1 - 0.281598845270346*x0*x2**2 + 0.142857142857143*x0*x2*x3 + 0.827047248703045*x0*x2 - 0.419409322578989*x0*x3 - 0.393857016024628*x0 - 0.125*x1**2*x2 + 0.25*x1**2 - 0.295615544580811*x1*x2**2 + 0.238779807136057*x1*x2*x3 + 1.08861622104865*x1*x2 - 0.453915765321264*x1*x3 - 0.650985290052454*x1 + 0.333333333333333*x2**3 - 0.0841340395633869*x2**2*x3 - 0.896533056720137*x2**2 - 0.114928272861219*x2*x3**2 + 0.275863468660905*x2*x3 - 0.435642558638502*x2 + 0.2*x3**2 - 0.2*x3 + 0.784697875310949']\n",
|
||||
"[1049.3949821424571, 27.65482709345228, '0.0954709145222299*x0*x1*x2 + 0.850311055415562*x0*x1 - 0.281598845270346*x0*x2**2 + 0.143093568988091*x0*x2*x3 + 0.827047248703045*x0*x2 - 0.419409322578989*x0*x3 - 0.393857016024628*x0 - 0.124525299070793*x1**2*x2 + 0.255889644781202*x1**2 - 0.295615544580811*x1*x2**2 + 0.238779807136057*x1*x2*x3 + 1.08861622104865*x1*x2 - 0.453915765321264*x1*x3 - 0.650985290052454*x1 + 0.332150095352896*x2**3 - 0.0841340395633869*x2**2*x3 - 0.896533056720137*x2**2 - 0.114928272861219*x2*x3**2 + 0.275863468660905*x2*x3 - 0.435642558638502*x2 + 0.19934446687829*x3**2 - 0.198171936948463*x3 + 0.784697875310949']\n",
|
||||
"[1287.6255549331968, 27.57826998133378, '0.0324957167678879*x0*x1**2 + 0.0954709145222299*x0*x1*x2 - 0.0518367881947689*x0*x1*x3 + 0.850311055415562*x0*x1 - 0.281598845270346*x0*x2**2 + 0.142857142857143*x0*x2*x3 + 0.827047248703045*x0*x2 + 0.0195647972984031*x0*x3**2 - 0.419409322578989*x0*x3 - 0.393857016024628*x0 - 0.0325007929091572*x1**3 - 0.124525299070793*x1**2*x2 + 0.0649419539246933*x1**2*x3 + 0.255889644781202*x1**2 - 0.295615544580811*x1*x2**2 + 0.238779807136057*x1*x2*x3 + 1.08861622104865*x1*x2 - 0.0388670663126931*x1*x3**2 - 0.453915765321264*x1*x3 - 0.650985290052454*x1 + 0.332150095352896*x2**3 - 0.0841340395633869*x2**2*x3 - 0.896533056720137*x2**2 - 0.114928272861219*x2*x3**2 + 0.275863468660905*x2*x3 - 0.435642558638502*x2 + 0.00642744864450299*x3**3 + 0.19934446687829*x3**2 - 0.198171936948463*x3 + 0.784697875310949']\n",
|
||||
"[1327.5202240795804, 27.57798240828162, '0.0324957167678879*x0*x1**2 + 0.0954709145222299*x0*x1*x2 - 0.0518367881947689*x0*x1*x3 + 0.850311055415562*x0*x1 - 0.281598845270346*x0*x2**2 + 0.143093568988091*x0*x2*x3 + 0.827047248703045*x0*x2 + 0.0195647972984031*x0*x3**2 - 0.419409322578989*x0*x3 - 0.393857016024628*x0 - 0.0325007929091572*x1**3 - 0.124525299070793*x1**2*x2 + 0.0649419539246933*x1**2*x3 + 0.255889644781202*x1**2 - 0.295615544580811*x1*x2**2 + 0.238779807136057*x1*x2*x3 + 1.08861622104865*x1*x2 - 0.0388670663126931*x1*x3**2 - 0.453915765321264*x1*x3 - 0.650985290052454*x1 + 0.332150095352896*x2**3 - 0.0841340395633869*x2**2*x3 - 0.896533056720137*x2**2 - 0.114928272861219*x2*x3**2 + 0.275863468660905*x2*x3 - 0.435642558638502*x2 + 0.00642744864450299*x3**3 + 0.19934446687829*x3**2 - 0.198171936948463*x3 + 0.784697875310949']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[16.509775004326936, 32.36604695224358, 'tan(x0 + x1 + x2 - 1)']\n",
|
||||
"[24.236446955124386, 32.19379398225521, 'x0*x1 + x0*x2 + x1*x2 - x1 - x2**2 + 1']\n",
|
||||
"[42.221299988180924, 30.26729641096272, 'tan(-3.090365806211+pi)']\n",
|
||||
"[46.881143181926895, 27.029817040584785, 1.29607558250427]\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[16.509775004326936, 32.36604695224358, 'tan(x0 + x1 + x2 - 1)']\n",
|
||||
"[24.236446955124386, 32.19379398225521, 'x0*x1 + x0*x2 + x1*x2 - x1 - x2**2 + 1']\n",
|
||||
"[37.02117810931048, 30.46186564810121, 'acos(x0*x1 - x0 + x1**2 + x1*x2 - 3*x1 - 2*x2 + x3 + 4)']\n",
|
||||
"[42.081365228548194, 28.952192947425182, -0.0465321578085423]\n",
|
||||
"[46.881143181926895, 27.029817040584785, 1.29607558250427]\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[16.509775004326936, 32.36604695224358, 'tan(x0 + x1 + x2 - 1)']\n",
|
||||
"[24.236446955124386, 32.19379398225521, 'x0*x1 + x0*x2 + x1*x2 - x1 - x2**2 + 1']\n",
|
||||
"[37.02117810931048, 30.46186564810121, 'acos(x0*x1 - x0 + x1**2 + x1*x2 - 3*x1 - 2*x2 + x3 + 4)']\n",
|
||||
"[42.081365228548194, 28.952192947425182, -0.0465321578085423]\n",
|
||||
"[46.881143181926895, 27.029817040584785, 1.29607558250427]\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[16.509775004326936, 32.36604695224358, 'tan(x0 + x1 + x2 - 1)']\n",
|
||||
"[24.236446955124386, 32.19379398225521, 'x0*x1 + x0*x2 + x1*x2 - x1 - x2**2 + 1']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[24.236446955124386, 32.19379398225521, 'x0*x1 + x0*x2 + x1*x2 - x1 - x2**2 + 1']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[24.236446955124386, 32.19379398225521, 'x0*x1 + x0*x2 + x1*x2 - x1 - x2**2 + 1']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[3.584962500721156, 31.66928321893576, 'x2**2']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[1.0, 31.730457458128292, '1']\n",
|
||||
"[3.584962500721156, 31.66928321893576, 'x2**2']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 32.27712330156718, '0']\n",
|
||||
"[1.0, 31.730457458128292, '1']\n",
|
||||
"[3.584962500721156, 31.66928321893576, 'x2**2']\n",
|
||||
"[28.135446665607624, 29.068795859083355, 'asin(-3.141595602173+pi)']\n",
|
||||
"[29.780283438732432, 27.74201447840212, '1/(19.551155142170*cos(log(x0)))']\n",
|
||||
"[44.20816064735702, 26.973146836885416, '1/(19.682378687352*(x1)**(-1))']\n",
|
||||
"[46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)']\n",
|
||||
"[69.69534059168714, 26.449405426917796, 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))']\n",
|
||||
"[96.01096993440287, 26.33655745145416, tan(x1**0.131931111216545 - 0.236371263861656)]\n",
|
||||
"[117.79565218018215, 26.15418768079366, tan(log(x0*x1 + x2)**0.247625753283501 - 0.300639659166336)]\n",
|
||||
"[118.02248462236993, 25.971766226681662, tan(log(x1*(x0 + x2))**0.257557839155197 - 0.338260024785995)]\n",
|
||||
"[211.04913436400597, 25.827386204368622, -tan(0.916072607040405*x0**(-0.970913290977478)*x1**(-1.0953323841095) - 1.04163086414337)]\n",
|
||||
"[212.0053848800875, 25.703571499221223, -tan(1.00872504711151*x0**(-0.99712473154068)*x1**(-1.9840372800827) - 0.98663854598999)]\n",
|
||||
"Checking for symmetry \n",
|
||||
" II.35.21_train-translated_divide\n",
|
||||
"Found pretrained NN \n",
|
||||
"\n",
|
||||
"tensor(0.0174, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0142, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"tensor(0.0218, device='cuda:0', grad_fn=<DivBackward0>)\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/II.35.21_train-translated_divide.h5'\n",
|
||||
"NN loss after training: 100 \n",
|
||||
"\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/II.35.21_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/II.35.21_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/II.35.21_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/II.35.21_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/II.35.21_train-translated_divide.h5'\n",
|
||||
"[Errno 2] No such file or directory: 'results/NN_trained_models/models/II.35.21_train-translated_divide.h5'\n",
|
||||
"{'III.15.14': array([['22.2372367107039', '3.8555495010252425', '3855549.5010252427',\n",
|
||||
" '0.0', '14.475582524599382', 'sqrt(0)'],\n",
|
||||
" ['2.9753832917517503e-08', '-25.002349229336918',\n",
|
||||
" '-25002349.229336917', '26.67970000576925',\n",
|
||||
" '2.9753832917517493e-08', 'x1**(-1.0)*(x0/x2)**2.0/(8*pi**2)']],\n",
|
||||
" dtype='<U33'), 'II.35.21': array([[32.27712330156718, 5.012440099045159, 5012440.099045159, 0.0,\n",
|
||||
" 32.27712330156718, '0'],\n",
|
||||
" [31.730457458128292, 4.9877964156328485, 4987796.415632849, 1.0,\n",
|
||||
" 31.730457458128274, '1'],\n",
|
||||
" [31.66928321893576, 4.985012309642502, 4985012.309642502,\n",
|
||||
" 3.584962500721156, 31.66928321893576, '(x2/x3)**2'],\n",
|
||||
" [29.4663796005927, 4.880997908890877, 4880997.908890877,\n",
|
||||
" 4.754887502163468, 29.4663796005927, 'x0*x1'],\n",
|
||||
" [32.27712475360825, 4.861399405642236, 4861399.405642236,\n",
|
||||
" 28.135446665607624, 29.068795859083355,\n",
|
||||
" 'asin(-3.141595602173+pi)'],\n",
|
||||
" [32.21870997957953, 4.794000647238096, 4794000.647238095,\n",
|
||||
" 29.780283438732432, 27.74201447840212,\n",
|
||||
" '1/(19.551155142170*cos(log(x0)))'],\n",
|
||||
" [32.22149918014031, 4.753451939083508, 4753451.939083508,\n",
|
||||
" 44.20816064735702, 26.973146836885416,\n",
|
||||
" '1/(19.682378687352*(x1)**(-1))'],\n",
|
||||
" [32.25102142235981, 4.749774331751994, 4749774.331751994,\n",
|
||||
" 46.87279862419287, 26.904476525498502, '1/(6.208284639614*pi)'],\n",
|
||||
" [31.61695293596253, 4.725163386327667, 4725163.386327667,\n",
|
||||
" 69.69534059168714, 26.449405426917796,\n",
|
||||
" 'tan(0.967209492034+((x1*(x1*(-x0))))**(-1))'],\n",
|
||||
" [31.57833655091136, 4.695552011892053, 4695552.011892053,\n",
|
||||
" 72.46435094574099, 25.91206364892938,\n",
|
||||
" 'tan(-0.021021837713+cos((pi/(x2+(x1*x0)))))'],\n",
|
||||
" [31.589900027617965, 4.669530273823803, 4669530.273823802,\n",
|
||||
" 163.215545694083, 25.448880246107645,\n",
|
||||
" tan(cos(3.17182683944702*(x0*x1 + x2)**(-0.862714350223541)) + 0.0128060718998313)],\n",
|
||||
" [31.588438211867906, 4.6667110505064775, 4666711.050506477,\n",
|
||||
" 261.0249141926837, 25.399198213954175,\n",
|
||||
" -tan(1.05407500267029*x0**(-0.931234121322632)*x1**(-1.0356810092926)*x2**(-0.469435483217239) - 1.01949214935303)]],\n",
|
||||
" dtype=object)}\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 24.888085936065718, '0']\n",
|
||||
"[41.812859141039645, 23.972800283781766, 0.0386300086975098]\n",
|
||||
"[42.228382735966086, 23.641249733662487, 0.0128810089081526*x0]\n",
|
||||
"[56.46513767338851, 3.9359941025494914e-05, '0.079577471546*(x0/(x2*x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n",
|
||||
"Checking polyfit \n",
|
||||
"\n",
|
||||
"Complexity RMSE Expression\n",
|
||||
"[0.0, 24.888085936065718, '0']\n",
|
||||
"[41.812859141039645, 23.972800283781766, 0.0386300086975098]\n",
|
||||
"[42.228382735966086, 23.641249733662487, 0.0128810089081526*x0]\n",
|
||||
"[56.46513767338851, 3.9359941025494914e-05, '0.079577471546*(x0/(x2*x1))']\n",
|
||||
"Checking for brute force + \n",
|
||||
"\n",
|
||||
"Checking for brute force * \n",
|
||||
"\n"
|
||||
],
|
||||
"name": "stdout"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"cell_type": "markdown",
|
||||
"metadata": {
|
||||
"id": "MXvGX4p-JMWt",
|
||||
"colab_type": "text"
|
||||
},
|
||||
"source": [
|
||||
"## Problem: **III.15.14**\n",
|
||||
"Took more than 5 hours to come up with this result:\n",
|
||||
"$$\n",
|
||||
"m = -\\tan{(\\dfrac{1}{ \\times x_0^{-0.93}\\times x_1^{-1.03}\\times x_2^{-0.469}} - 1.01)}\n",
|
||||
"$$\n",
|
||||
"While the actual answer is:\n",
|
||||
"$$\n",
|
||||
"m = \\dfrac{h^2}{2Ed^2}\n",
|
||||
"$$"
|
||||
]
|
||||
},
|
||||
{
|
||||
"cell_type": "markdown",
|
||||
"metadata": {
|
||||
"id": "wjxEmHRMTV3i",
|
||||
"colab_type": "text"
|
||||
},
|
||||
"source": [
|
||||
"### Output sample"
|
||||
]
|
||||
},
|
||||
{
|
||||
"cell_type": "markdown",
|
||||
"metadata": {
|
||||
|
|
@ -1874,62 +1060,6 @@
|
|||
"[1327.5202240795804, 27.57798240828162, '0.0324957167678879*x0*x1**2 + 0.0954709145222299*x0*x1*x2 - 0.0518367881947689*x0*x1*x3 + 0.850311055415562*x0*x1 - 0.281598845270346*x0*x2**2 + 0.143093568988091*x0*x2*x3 + 0.827047248703045*x0*x2 + 0.0195647972984031*x0*x3**2 - 0.419409322578989*x0*x3 - 0.393857016024628*x0 - 0.0325007929091572*x1**3 - 0.124525299070793*x1**2*x2 + 0.0649419539246933*x1**2*x3 + 0.255889644781202*x1**2 - 0.295615544580811*x1*x2**2 + 0.238779807136057*x1*x2*x3 + 1.08861622104865*x1*x2 - 0.0388670663126931*x1*x3**2 - 0.453915765321264*x1*x3 - 0.650985290052454*x1 + 0.332150095352896*x2**3 - 0.0841340395633869*x2**2*x3 - 0.896533056720137*x2**2 - 0.114928272861219*x2*x3**2 + 0.275863468660905*x2*x3 - 0.435642558638502*x2 + 0.00642744864450299*x3**3 + 0.19934446687829*x3**2 - 0.198171936948463*x3 + 0.784697875310949']\n",
|
||||
"Checking for brute force + "
|
||||
]
|
||||
},
|
||||
{
|
||||
"cell_type": "markdown",
|
||||
"metadata": {
|
||||
"id": "MXvGX4p-JMWt",
|
||||
"colab_type": "text"
|
||||
},
|
||||
"source": [
|
||||
"## Problem: **III.15.14**\n",
|
||||
"Took more than 5 hours to come up with this result:\n",
|
||||
"$$\n",
|
||||
"m = -\\tan{(\\dfrac{1}{ \\times x_0^{-0.93}\\times x_1^{-1.03}\\times x_2^{-0.469}} - 1.01)}\n",
|
||||
"$$\n",
|
||||
"While the actual answer is:\n",
|
||||
"$$\n",
|
||||
"m = \\dfrac{h^2}{2Ed^2}\n",
|
||||
"$$"
|
||||
]
|
||||
},
|
||||
{
|
||||
"cell_type": "code",
|
||||
"metadata": {
|
||||
"id": "VHu9AoU-NKMf",
|
||||
"colab_type": "code",
|
||||
"colab": {
|
||||
"base_uri": "https://localhost:8080/",
|
||||
"height": 34
|
||||
},
|
||||
"outputId": "c7d944ee-9bbc-49b5-d30a-d00be3841d3a"
|
||||
},
|
||||
"source": [
|
||||
""
|
||||
],
|
||||
"execution_count": 2,
|
||||
"outputs": [
|
||||
{
|
||||
"output_type": "stream",
|
||||
"text": [
|
||||
"########################################################################################################################\n"
|
||||
],
|
||||
"name": "stdout"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"cell_type": "code",
|
||||
"metadata": {
|
||||
"id": "LIkHuKEROMob",
|
||||
"colab_type": "code",
|
||||
"colab": {}
|
||||
},
|
||||
"source": [
|
||||
""
|
||||
],
|
||||
"execution_count": null,
|
||||
"outputs": []
|
||||
}
|
||||
]
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue