diff --git a/notebook_1.ipynb b/notebook_1.ipynb index 8cee8e5..cc99474 100644 --- a/notebook_1.ipynb +++ b/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=)\n", - "tensor(0.1869, device='cuda:0', grad_fn=)\n", - "tensor(0.1621, device='cuda:0', grad_fn=)\n", - "tensor(0.0482, device='cuda:0', grad_fn=)\n", - "NN loss: tensor(0.0130, device='cuda:0', grad_fn=) \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=)\n", - "tensor(0.0485, device='cuda:0', grad_fn=)\n", - "tensor(0.0892, device='cuda:0', grad_fn=)\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=')\n", - "tensor(0.0238, device='cuda:0', grad_fn=)\n", - "tensor(0.0292, device='cuda:0', grad_fn=)\n", - "tensor(0.0155, device='cuda:0', grad_fn=)\n", - "NN loss: tensor(0.0025, device='cuda:0', grad_fn=) \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=)\n", - "tensor(0.0142, device='cuda:0', grad_fn=)\n", - "tensor(0.0218, device='cuda:0', grad_fn=)\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='