From c7cf117bc995f4f00b6de20517b5138b4edcc8ec Mon Sep 17 00:00:00 2001 From: Abdalaziz Rashid Date: Fri, 17 Jul 2020 03:52:01 +0300 Subject: [PATCH] Created using Colaboratory --- notebook_1.ipynb | 998 ++++++++++++++++++++++++++++++++++++++++++----- 1 file changed, 898 insertions(+), 100 deletions(-) diff --git a/notebook_1.ipynb b/notebook_1.ipynb index 8bf189b..8cee8e5 100644 --- a/notebook_1.ipynb +++ b/notebook_1.ipynb @@ -46,7 +46,7 @@ "base_uri": "https://localhost:8080/", "height": 136 }, - "outputId": "78e21a20-6b45-46f5-bb3e-c99858e33a80" + "outputId": "54f06590-dcdf-4014-c0d6-de2ca5937c05" }, "source": [ "!git clone https://github.com/abdalazizrashid/AI-Feynman.git" @@ -57,12 +57,12 @@ "output_type": "stream", "text": [ "Cloning into 'AI-Feynman'...\n", - "remote: Enumerating objects: 34, done.\u001b[K\n", - "remote: Counting objects: 100% (34/34), done.\u001b[K\n", - "remote: Compressing objects: 100% (20/20), done.\u001b[K\n", - "remote: Total 436 (delta 15), reused 29 (delta 13), pack-reused 402\u001b[K\n", - "Receiving objects: 100% (436/436), 31.29 MiB | 21.55 MiB/s, done.\n", - "Resolving deltas: 100% (263/263), done.\n" + "remote: Enumerating objects: 46, done.\u001b[K\n", + "remote: Counting objects: 100% (46/46), done.\u001b[K\n", + "remote: Compressing objects: 100% (29/29), done.\u001b[K\n", + "remote: Total 448 (delta 22), reused 35 (delta 16), pack-reused 402\u001b[K\n", + "Receiving objects: 100% (448/448), 31.30 MiB | 26.64 MiB/s, done.\n", + "Resolving deltas: 100% (270/270), done.\n" ], "name": "stdout" } @@ -77,7 +77,7 @@ "base_uri": "https://localhost:8080/", "height": 309 }, - "outputId": "071a2d56-f9b7-4a6e-f026-176467e727a6" + "outputId": "434172b4-cc3c-4144-b81b-805f8a0fbd90" }, "source": [ "!pip install -r AI-Feynman/requirements.txt" @@ -98,8 +98,8 @@ "Requirement already satisfied: future in /usr/local/lib/python3.6/dist-packages (from torch->-r AI-Feynman/requirements.txt (line 1)) (0.16.0)\n", "Requirement already satisfied: cycler>=0.10 in /usr/local/lib/python3.6/dist-packages (from matplotlib->-r AI-Feynman/requirements.txt (line 3)) (0.10.0)\n", "Requirement already satisfied: kiwisolver>=1.0.1 in /usr/local/lib/python3.6/dist-packages (from matplotlib->-r AI-Feynman/requirements.txt (line 3)) (1.2.0)\n", - "Requirement already satisfied: python-dateutil>=2.1 in /usr/local/lib/python3.6/dist-packages (from matplotlib->-r AI-Feynman/requirements.txt (line 3)) (2.8.1)\n", "Requirement already satisfied: pyparsing!=2.0.4,!=2.1.2,!=2.1.6,>=2.0.1 in /usr/local/lib/python3.6/dist-packages (from matplotlib->-r AI-Feynman/requirements.txt (line 3)) (2.4.7)\n", + "Requirement already satisfied: python-dateutil>=2.1 in /usr/local/lib/python3.6/dist-packages (from matplotlib->-r AI-Feynman/requirements.txt (line 3)) (2.8.1)\n", "Requirement already satisfied: mpmath>=0.19 in /usr/local/lib/python3.6/dist-packages (from sympy->-r AI-Feynman/requirements.txt (line 4)) (1.1.0)\n", "Requirement already satisfied: pytz>=2017.2 in /usr/local/lib/python3.6/dist-packages (from pandas->-r AI-Feynman/requirements.txt (line 5)) (2018.9)\n", "Requirement already satisfied: six in /usr/local/lib/python3.6/dist-packages (from cycler>=0.10->matplotlib->-r AI-Feynman/requirements.txt (line 3)) (1.12.0)\n" @@ -118,7 +118,7 @@ "source": [ "!cd /content/AI-Feynman/Code/ && ./compile.sh" ], - "execution_count": 6, + "execution_count": 5, "outputs": [] }, { @@ -130,14 +130,14 @@ "base_uri": "https://localhost:8080/", "height": 34 }, - "outputId": "6aabba4d-ba86-4025-bf52-97aaab3d87fe" + "outputId": "6ccf27cb-ff5f-46c0-ddc5-ffdb37f1fd6f" }, "source": [ "import os\n", "os.chdir(\"/content/AI-Feynman/Code/\")\n", "print(os.getcwd())" ], - "execution_count": 7, + "execution_count": 6, "outputs": [ { "output_type": "stream", @@ -158,9 +158,19 @@ "source": [ "from S_run_aifeynman import run_aifeynman\n" ], - "execution_count": 8, + "execution_count": 7, "outputs": [] }, + { + "cell_type": "markdown", + "metadata": { + "id": "_KzP-ygVOq5s", + "colab_type": "text" + }, + "source": [ + "## Original Code Example" + ] + }, { "cell_type": "code", "metadata": { @@ -176,7 +186,7 @@ "%%time\n", "run_aifeynman(\"../example_data/\",\"example1.txt\",30,\"14ops.txt\", polyfit_deg=3, NN_epochs=400)" ], - "execution_count": 9, + "execution_count": null, "outputs": [ { "output_type": "stream", @@ -805,7 +815,11 @@ }, "source": [ "## Download the dataset from the main website\n", - "https://www.dropbox.com/s/9i05v6yw1kbkup3/Feynman_without_units.tar.gz?dl=0" + "https://www.dropbox.com/s/7kgfr00qpokgz8w/Feynman_with_units.tar.gz?dl=0\n", + "\n", + "The link below is no persistant you need to go to the main dropbox download link\n", + "and inspect the page under network tab pick the `file?_download_id=xxxxxxxx` and copy it as a \n", + "cURL command and paste down below." ] }, { @@ -817,11 +831,11 @@ "base_uri": "https://localhost:8080/", "height": 68 }, - "outputId": "4d2dcbf8-53ed-46c7-9d27-d228190ce596" + "outputId": "d51d7838-c742-40b1-88e4-86c1df75fe88" }, "source": [ - "!cd /content && curl 'https://ucd3ff70cd66e120740afd0dca77.dl.dropboxusercontent.com/cd/0/get/A7lbizfGye_MJiIyAeFPuIV6aj-Ajn9ooJkLoHutz_8Uj1JALzXbzdHee-IR-jLMtzFFJpUFwL8_iILQjEhGaxzAz1pBI76vSd1szbcvSyYiuA/file?_download_id=812773581487114473712942950240052852664169083740701356029081840937&_notify_domain=www.dropbox.com&dl=1' \\\n", - " -H 'authority: ucd3ff70cd66e120740afd0dca77.dl.dropboxusercontent.com' \\\n", + "!cd /content && curl 'https://uc860a76a6c10fa4fcb439e09b48.dl.dropboxusercontent.com/cd/0/get/A7p3n1SdaHTRnPchzaqCv4Vbrbi7OUuIUTrOlvfqPXW9FCCrR1txTQ3Z42_DE1HgyVlPwHycWPCmWQ_FTG8jFRrX9bpkfmGWBVecRebjYc7zvQ/file?_download_id=68389351594193992449463412208465892639976579750327831723819869052&_notify_domain=www.dropbox.com&dl=1' \\\n", + " -H 'authority: uc860a76a6c10fa4fcb439e09b48.dl.dropboxusercontent.com' \\\n", " -H 'upgrade-insecure-requests: 1' \\\n", " -H 'dnt: 1' \\\n", " -H 'user-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/83.0.4103.116 Safari/537.36' \\\n", @@ -833,14 +847,14 @@ " -H 'accept-language: en-US,en;q=0.9,ar;q=0.8' \\\n", " --compressed > with_units.gz" ], - "execution_count": 73, + "execution_count": 11, "outputs": [ { "output_type": "stream", "text": [ " % Total % Received % Xferd Average Speed Time Time Time Current\n", " Dload Upload Total Spent Left Speed\n", - "100 3911M 100 3911M 0 0 51.3M 0 0:01:16 0:01:16 --:--:-- 54.0M\n" + "100 3911M 100 3911M 0 0 52.5M 0 0:01:14 0:01:14 --:--:-- 50.5M\n" ], "name": "stdout" } @@ -856,7 +870,7 @@ "source": [ "!cd /content && tar -xzf with_units.gz && cd /content/AI-Feynman/Code" ], - "execution_count": 75, + "execution_count": null, "outputs": [] }, { @@ -881,12 +895,12 @@ " \"dataset_path\" : \"/content/Feynman_with_units\",\n", " \"operations_file\" : \"./14ops.txt\",\n", " \"polynomial_degree\" : 3,\n", - " \"number_of_epochs\" : 100,\n", + " \"number_of_epochs\" : 500,\n", " \"bruteforce_time\" : 20,\n", " \"test_percentage\" : 0,\n", "}" ], - "execution_count": 80, + "execution_count": null, "outputs": [] }, { @@ -899,6 +913,8 @@ "source": [ "import logging\n", "import pathlib\n", + "\n", + "from random import shuffle\n", "from tabulate import tabulate\n", "from pathlib import Path\n", "\n", @@ -936,7 +952,8 @@ "\n", " def run_solver(self):\n", " path = Path(self.cfg[\"dataset_path\"])\n", - " for child in path.iterdir():\n", + " dirs = list(path.iterdir())\n", + " for child in shuffle(dirs):\n", " self.results[str(child).split(\"/\")[-1]] = run_aifeynman(\n", " pathdir=str(path.resolve()) + \"/\",\n", " filename=str(child).split(\"/\")[-1],\n", @@ -949,10 +966,11 @@ " )\n", "\n", " logging.info(self.results)\n", + " print(\"#\"*120)\n", " print(self.results)\n", " break\n" ], - "execution_count": 82, + "execution_count": null, "outputs": [] }, { @@ -964,7 +982,7 @@ "base_uri": "https://localhost:8080/", "height": 1000 }, - "outputId": "d5196c91-f32e-418b-f6a4-f3b209e52536" + "outputId": "2a3016ac-b0fd-4c15-b31f-b068c16f8204" }, "source": [ "%%time\n", @@ -983,11 +1001,14 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[51.15902059069184, 20.675103111179986, '0.004022719301*exp((x0-x2))']\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", @@ -995,12 +1016,15 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[51.15902059069184, 20.675103111179986, '0.004022719301*exp((x0-x2))']\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", @@ -1008,14 +1032,17 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[33.277483182721156, 22.1547566076253, 'sin(-3.141488536836+pi)']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[51.15902059069184, 20.675103111179986, '0.004022719301*exp((x0-x2))']\n", - "[55.05915604694043, 20.67484487176153, 'sin(0.004022721884*exp((x0-x2)))']\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", @@ -1023,15 +1050,19 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[33.277483176683035, 22.154455877817387, 'tan(-3.141488536837+pi)']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[40.98223775998753, 21.183319681656723, 'tan(0.000804487112*x0)']\n", - "[51.15902059069184, 20.675103111179986, '0.004022719301*exp((x0-x2))']\n", - "[55.05915604694043, 20.67484487176153, 'sin(0.004022721884*exp((x0-x2)))']\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", @@ -1039,14 +1070,15 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[33.277483176683035, 22.154455877817387, 'tan(-3.141488536837+pi)']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[40.98223775998753, 21.183319681656723, 'tan(0.000804487112*x0)']\n", - "[46.506651128358314, 17.822359130503216, 0.999762833118439]\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", @@ -1054,14 +1086,15 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[33.277483176683035, 22.154455877817387, 'tan(-3.141488536837+pi)']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[40.98223775998753, 21.183319681656723, 'tan(0.000804487112*x0)']\n", - "[46.506651128358314, 17.822359130503216, 0.999762833118439]\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", @@ -1069,14 +1102,15 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[33.277483176683035, 22.154455877817387, 'tan(-3.141488536837+pi)']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[40.98223775998753, 21.183319681656723, 'tan(0.000804487112*x0)']\n", - "[46.506651128358314, 17.822359130503216, 0.999762833118439]\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", @@ -1084,15 +1118,16 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[33.277483176683035, 22.154455877817387, 'tan(-3.141488536837+pi)']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[40.98223775998753, 21.183319681656723, 'tan(0.000804487112*x0)']\n", - "[46.506651128358314, 17.822359130503216, 0.999762833118439]\n", - "[827.7908368114961, 15.818087729923782, '0.011310680850017867*exp(0.657313427369091*x0 - 0.329012690616457*x1 - 0.657628557578617*x2 + 0.05*(0.865498915782026*x0 - 2.598092660426)**3 - 0.19*(0.865498915782026*x0 - 2.598092660426)**2 - 0.03*(0.866102055832982*x1 - 2.59949521113202)**3 + 0.09*(0.866102055832982*x1 - 2.59949521113202)**2 - 0.05*(0.865730183707546*x2 - 2.59833480258971)**3 + 0.19*(0.865730183707546*x2 - 2.59833480258971)**2)']\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", @@ -1100,17 +1135,708 @@ "Checking polyfit \n", "\n", "Complexity RMSE Expression\n", - "[0.0, 22.237236710703904, '0']\n", - "[33.27106902340706, 22.154989285167847, 'asin(-9.869500746207+(pi*pi))']\n", - "[33.277483174076494, 22.15455540709694, 'asin(-3.141488536837+pi)']\n", - "[33.277483176683035, 22.154455877817387, 'tan(-3.141488536837+pi)']\n", - "[36.212641398803086, 21.686042400598424, '0.000796326710733263']\n", - "[37.46217224612712, 21.60140943610803, '0.000070125147*(x0*exp(x0))']\n", - "[37.86269260929867, 21.539933898458983, '0.000624807452*pi']\n", - "[38.22735211031243, 21.183541479121935, '0.000804488145*x0']\n", - "[40.98223775998753, 21.183319681656723, 'tan(0.000804487112*x0)']\n", - "[46.506651128358314, 17.822359130503216, 0.999762833118439]\n", - "[827.7908368114961, 15.818087729923782, '0.011310680850017867*exp(0.657313427369091*x0 - 0.329012690616457*x1 - 0.657628557578617*x2 + 0.05*(0.865498915782026*x0 - 2.598092660426)**3 - 0.19*(0.865498915782026*x0 - 2.598092660426)**2 - 0.03*(0.866102055832982*x1 - 2.59949521113202)**3 + 0.09*(0.866102055832982*x1 - 2.59949521113202)**2 - 0.05*(0.865730183707546*x2 - 2.59833480258971)**3 + 0.19*(0.865730183707546*x2 - 2.59833480258971)**2)']\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='