From 52b5407b5cc543f69433ccf2ff1171b4a8ca22a5 Mon Sep 17 00:00:00 2001
From: Daniel <danwip@hotmail.com>
Date: Sun, 23 Feb 2025 11:11:00 +0100
Subject: [PATCH] Introduction: slight improvements

---
 thesis/chapters/introduction.tex |   2 +-
 thesis/main.pdf                  | Bin 297037 -> 297037 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/thesis/chapters/introduction.tex b/thesis/chapters/introduction.tex
index 04823fb..3a27622 100644
--- a/thesis/chapters/introduction.tex
+++ b/thesis/chapters/introduction.tex
@@ -7,7 +7,7 @@ This chapter provides an entry point for this thesis. First the motivation of ex
 %
 % Not totally happy with this yet
 %
-Optimisation and acceleration of program code is a crucial part in many different fields. For example video games need optimisation to lower the minimum hardware requirements which allows more people to run the game. Another example where optimisation is important are computer simulations. For those, optimisation is even more crucial, as this allows the scientists to run more detailed simulations or get the simulation results faster. Equation learning is another field that can heavily benefit from optimisation. One part of equation learning, is to evaluate the expressions generated by the algorithm which can make up a significant portion of the runtime of the algorithm. This thesis is concerned with optimising the evaluation part to increase the overall performance of the equation learning algorithm.
+Optimisation and acceleration of program code is a crucial part in many fields. For example video games need optimisation to lower the minimum hardware requirements which allows more people to run the game, increasing sales. Another example where optimisation is important are computer simulations. For those, optimisation is even more crucial, as this allows the scientists to run more detailed simulations or get the simulation results faster. Equation learning is another field that can heavily benefit from optimisation. One part of equation learning, is to evaluate the expressions generated by the algorithm which can make up a significant portion of the runtime of the algorithm. This thesis is concerned with optimising the evaluation part to increase the overall performance of the equation learning algorithm.
 
 Considering the following expression $x_1 + 5 - \text{abs}(p_1) * \text{sqrt}(x_2) / 10 + 2 \char`^ 3$ which contains simple mathematical operations as well as variables $x_n$ and parameters $p_n$. This expression is one example that can be generated by the equation learning algorithm and needs to be evaluated for the next iteration. Usually multiple expressions are generated per iteration, which also need to be evaluated. Additionally, multiple different values need to be inserted for all variables and parameters, drastically increasing the amount of evaluations that need to be performed.
 
diff --git a/thesis/main.pdf b/thesis/main.pdf
index c8b2bb19bdab7863b93ab6c90ec05ccd4976f4c7..1e994d7d7dc3779260a1a2438fe911df927600b4 100644
GIT binary patch
delta 3502
zcmV;f4N>yVkP^+160mDb0XLJO4k&+>7|D|4wDLY*QAbzMWxST`0|y|OVO~4}4n6N3
zSRypGs!HIc#<F|)dvcTQ>NW#hY-K7XWh!@l*<W>K$LDx=c5kBHc^B>8&Hr!i-+cKt
zFLp^39*;@ByFcy9C{$6oJ7$220aNdO4!*tU>u84kA&t`@-v4_4A6}J(s!)G1u8MYt
ztPG1d;|1@#ap?Dl<QUXbHQK)8HEFbqqp*xhzb02<niRa|{$d@Rpvs`yCq*zH35e_d
z5C_9P4*Gqff(Kh0q0}A!O@~Xy;d!P9u(yl_ToDDQUN#%&bH<Bt)`bkbwSyaHJP+D_
zv=93{4>ZX@xc($ZK3$uBu-$(dMMGKQG|aP-W#KcjC=JH`YAYUk)O9dU7&djtxc43Z
zbzNIL>kh$$IYB%w(F0!$V?IsBA*F1JY|(kk$t0a@JIFr$G&Z)wV>h_|uXbaDSD2=9
z2Wb|xX1t&(RZ#a$e|}~x-3E}s6tMKj$gyXn?%X4yNqvY1P7F`2xJG~Q(KZd!d?b|#
z72d6$*_^Evj4s*5S(s+WL<}eeNF~gE9L6`~yPppwDC!$s{c#@psjFdg5JU6e82o_R
z)t|9Wu<taN&40X(wzW<SA<I+VhXz$;8Z)e>NEtb5x<3!PWuWRw#M&@Os=?JVJ4}_;
zjjYqdC{(gz3ziPNKQn*yOO$4&snK*1e7i3|Bg2+T&694g4PI-`j)N-7i{PwV1ODU~
z>WrzGq`wgp=SZnA(}<?MUUBLo8@INzEzV3W&s_9S6Db)Uk__h4WCzoV;kz}n5@jAQ
zb~f+?e6Eor9m8!;Mx12g-liwPa0+?EiDBvlagiC3^Nu0gRfB)g4xN@@ryE0;2y4IY
zdRR5^#C&Zy^LWAVgWCWD8+UwrXW6k}-QvHMNHmPv$0EeDJHnvCnATEwn<(04M-@1{
zOBGBF?MVCqsaG-q;F8YV@%XQgHxHz(Zi{KY&9p4M<=ru)9seatB4(urp5f~tz*SZ>
zYTf7wdj69(aIk-zRhv=UhKvmti_wUnh%8A&oIIP+pSOAIw~OJL^Ae-v)F2xOoFJN+
zAw-}EzWX$-=o*Nn9a#ZF)-jFt7Jx``F$Ttq9+{@nvc<({JpRFAz(j-uu+HF0p*{_L
z`*#+D43;YRu`@hi-^UR~5&WBlcYr+acMKBq@W)F}%7TB)lv7p%t7K1d2iochlaJ%u
zM#LEyhRB5)LGUBW^t|Dl?CMDb+nyoojTdzExD=mN=(7mY^&nZR|JX}B2WYy=Vy1Fv
zK=#~OysB#U45YYHrU8H9_yZWqxA31iK(iu)YYlJrielz*Gs|(EktwxgNX7S<DNu0V
zRR&9q&O3j7%@dCn4IfEGdmKfS+%68xa`Eho%Bz#edO3-Mka@9~OB)Wa;Bs4>OWYfv
zl!1IuNwOsI*BN`U7ep_%PO16!YT{#9rpMb;z6IleL@~UU@6`KHFwZRpB{@{Bb7)+o
zP$4ED2krbMH2F@2rHY8;7$yK8k}#DrP|C|RTW^0<gb9!@L|>rhiy&v(>?UzTEn6t%
z&-^8dqOJ5E$6=Xgo=SgoTgS#Zl(faNRUU0gnT1J~dZO!wjCq(9#ox*Z#dMmiWQ615
zE%{Wa;$$UWx+Pu_mdVVM`vf+)C0-Hc>iDn3`$sBF{+)QQkDJB&YHKIBP6$gv5l3ta
zViAAIZ=2VVsjw(Zzh)^k&<CJ9011lp)(apGP?Ui(l+r_l35QAo9Jd;r0zMWKI96?l
z?7e^bbcRUGr%6^~;iM>>G|g%P{tz>cP!L%C5o(dG3rUI`t|We`fnr+&F;jKhMghLQ
zBBBZwd4M1VbrNLDO$HQrfr?)mc(HBZpF4j)509|(iYnyeDI(9RD8NkCsb>{pAUEWk
z@!;Q6##F0f4FO5jFyd4VgSoXpV4d)2j;m^3>Ni{xE<medLFMcGM<86`Mx@4q8ta+p
z$kh=1mj(v_!&;{ljm1!;q(8+47a{7*)5s$`icy6Oe{d6|h-U_*3>q!h`MCQ!%Oih+
zt8f@B(tjqsKxB{O<xDIy<K(6~2T(Vz=Mgs#xMUQ}EGhywqK1t78aI+omjo$ND$!vN
zmIiY#NCfUewJ}xVFj-^8keb2F#WZZ@_xJhQ{gpzn5s6qIS-H{&Ai>Gaz^Z^LRt5Sf
zb*F&g#O|GxP~1k|IL{p;>H#WGTZw;$fOOq<5DTPX+@tL$>g&eMDp3;qZCT-bwnsb1
zbT6VIPWtbgUV2?L_`ZKD?cZ}V2htD5a2LmS+Ih97R0$g_=21@sQ@a5F+PG@4a&XN!
zDJE&m8rQOlN_(uhn~)KhdmzJ?loSZ#Mz9y>4<%V~G`Fv|69(!7hmN&O5;=dofngh`
zUR6(bjMn_CrCDnFl^Xyaq6oAFJpP^T!wGcplnj#5&|n&;L6En7Fk-k>El5X-*A~*M
z+-)}SPENrd4Gk)TSV6^Q#Joq?Fm`8h5g1pXo{)#2QBu_jx$d#1C7E%Z4`Pntxz;65
zj)Y72lfdMMjdgOu-2Y_|Q2KvyX^s~L+)FmMqRqhXAr(X_^0z_^7~0&^G;k+|!1{S5
zWV-)fEXBGa^L;APU13W-8*712SDM@fR!9p9$d#h$F+%YJVH!|n`#@=WIBanYEnj^n
z?~d|5I0viwSiqja+2^NAuRc>Bs0&iQNmA<&gj@0!R@kfMS@L`83;2K8MY;pw!OAYK
zZ;jvBk;@d(@`UNnC*>aKq2anE+{@#!lUliOGQXQ9{Jww~h;kGlVMsoLbB!L(hH<9r
zr}Kr;^5|ABO*R3yDqC%hL5=SK0P2l#mOH&t9u!}9sq6jxP1u(=G6C1i3s)f>W)XR%
zz8mxva-A&uX=SDyz=40{Luchx83Wh5pFT+3D!8nhU#0<uxc@9ObOktd+B7c+AT{O}
zObrn=nZ#fg^PYgK`WBK6XQ@~c8DpnWmQ~G!p@bf_f#wIv*}9Q_Ty|n!fZ%_adgaC-
zSZR{=cima0<G36ZzF2?d5?Y)_GHD(-c@gdy)cgab+scS^dG<xhD}dzjVr0$aGiB~y
z7_$KGm@$%@b8!hR#)Ny`Je!4#eDC?-G_iV0PUG9A5&Dh@3eWTyW?8;!)8-}L-M{%0
z5|y<jlMxXUgV|Mw*;N6D*;N9E*;NC#*;NEYCn_^BF)=VPIV&(RConK4DGD!5Z)8Ma
zbY&nYL^?7sGBq$VGBYtTF)%SXw?};hzXnl6K`}u!I5a{xG&MFiLN_%sL_<PFL^3uq
zGDS2sHbp}|AUs4tF+nvrG(tBtH8wXwH#IUuLqbJFGBz?YMKm=wMMFMa3NK7$ZfA68
zAUQKLlOaGUe;w3KQx#Vb#_{fZN8uu`ItYS*f{HJwD1sm;pw|e3pdg@8QLjlV<yuWF
zkBbx=vo)(Mvon>dbSm3?fqVd8DxV_DRI(xSe>T7BKKIPrneIMgX65aYSzLfgGt0IM
z`nTPz#fr6xyOn=dWNuHV3Yxz!Xd5WVpBHrgTF^JDe=QZa9#d3bGS8P_5jI#WK^ZdG
z0Xw12Z8(a%Oit+9UC`h*U2j}_4Hk;0GM=>31TE0$Hq)Rj>u{a5X4nI*ZnOXCer>Ru
zEjNhTVJ~z*C+veR=!X5!1HI4(2jC#|!vGwD!*B!!;V2w~<8T6o;3S-a(=ZHYU<}Sd
z?pA%Ge`h`mBRunGM3+I)BIrF<;WpfZ`|toZ;UPSttK2UfXh6__paDSxf(Aq#Q1)nq
zR-kIJ8z^T`t5B`Z!#GR;lT(?5DYyvJFzPnfp_jSDwUjt0aZuu*#6eAing%5amE;P{
zxXu5gYiFs!9inScbz2zJ4_9Fx)cBil3zlHce{FG9`xdytGOWT1+ybr$8W5`e8Z5i5
z{iVyakF^*9^+S)b?zZ__TQt;<;jUZljn+PAb3IYb?W-TO_Jms%Ti!OQ6%23`C*|3e
z(gw((+3m%1tufxg{6)Llx8G=ui48_Cdfi@)X^p`QhA^1FVE%&n3+68vy<qf$(Th<S
ze{f5`=vpQ*nB8DbgI>m%+jsx!SDGB-Jop^U!)?$D(&;EV?MV-*{!Wvst202~k~+=o
z#uZX^zY14LH4zMTaKsbC6?4G9B@G;{4LX?g`V4>EAmtDToeo-?R6jM8)+SBt3efYU
zDdwca8mT6G9X3cc?X))TlB)K4%X_4Je^7$66%R<&JPueqB-L@zDSJ$+BUA%=o*F2a
zdG_^3eWjeW3Q-Blr20-~u!FRYXeSUQMcTq;i7mNqx{FkoH9`|9_sg51g;f913T>qP
zd9IJ(9#TC}4(*^3-3uL1gHG57yj$J{-S7zZLl01hychal6Ar*ZplW$PRAB&gf2I$?
zVPF{YBXAi8fqBV~!ZA1wCtwIp!YMcn!*B-9!id|Czv%_fxtEp{jk>qIRW#<_{Y=q$
z_jhj;je9Bkq-erRcfL?`!ArltS2XEmTTwLS<>jiPi(dYzOVK4S|J|=>+Ov&WMKhk&
z{wNy%<)2C!r2M{TuRo9`YL%!}Dxyq@G9@aMC{Cg-iMk|8lBh<a5Q#!03Xv#88uIMr
cR`DNO@9cj~Wzm?IB!~nd2sjEQB}Gq03ZMIWasU7T

delta 3501
zcmV;e4N~&WkP^+160mDb0XCDNVkv(Z%aYu-@vg6!Bd4-M^ZhvFV7n|uskrRJDmmCm
z6_&)zz~*BFkXr5Er(YmBE6Ry4B)ZXP0R3)!Gu~8VrkD6|ac`o-<q#d-E&uNx-+c2n
zuMSBR7DbXD9?yq53d^WI6d9mmz_f>7g72^DHfei2rEwa>$A3TmomXXHS(Se=u8Iz)
ztPZO<;|1@B$&SZUQUvYXOlBN-O&T5ID6FH}ugS|WO)6gVcr^}oDC?j(CRMO(35eVA
z6bJSg2jej*gHNW_La7G+>j9Tc_GO_5a5RhsTonc9QJ783KGRh@<3a}B8tbM7&x3xP
z%%@|X2a4`MxbZAoe!g|1HN$@euZDMt(=g9!z6<Y>MQJdNH`DOYqi$9^Ik0X+#=Rf-
zuiDn&UJnQ+d=kXt5@lI1jQKcghm^t;k45{fJJaoitrb4wJauNkZFf%n59Ou~MVO`{
zgER|zJzY_iWzde@czIzgNdw4W3Xb&5$Z2Gx8r(CYNqvZilW3mWoEm?@XVY~|^F%5W
zDwM5Sj=5MX7+rFRvoOtyL<}ees7(0yaTwo`AAUL2ps4Ru^ZUh)^UwlwxQ60E5&VeS
zRexZeVBcvj%zwH~rZ-LuA*m|nlT^U4X>_OUGF6f?kmP2^i&Z@%n~|>AY6ej?#71WA
z+!)o#I%OxJlFfQW2J?TyP-}jT(o~~IpdpokPy;s8UF&wW`}SCY{!t}$2@+QQt<wyk
zLybJVsGfWahJ)5EkH)*ZBW4ovPSo#}jZ;^2R^i;6!Spyg_l&qI+Y&ihBx0=oI2)@^
z+apWZ>BUR%KoM+nHQoWz2*lpW?lRqvBo78|Vone;D0p=16rFz^*4ugD0h>C^;N?Tc
zeLIYRwhXMo0^k|YGQ5+^j>IX>Bza)^8#&NuC*{?ZCYi_p2%53K%^d9j?NDT8Fn7e5
z;uBz3^}zygNv9up;+1xAKiOA*BE<|$2lDaTv8~B^<-Q)l(kv1=mn>(1SzK8hxW<Tr
zjGO%A$a5@QK*)ctfNJ%mOh+~acqeutmt+#U9!y^J#0c4ICHK1Yx5cfro4aZE5@!f#
z+G2=Jli-Jsv#iP>#B>l&2aMh{M{$xOm#7_);!Qj=UDd?sMh!f;YQ^aYV<sXbh7B55
z3ia8JJ#*OVY1cu28YncRi~FY%NFX3CXGh4N{eeM_Bq@K%o`@l36`(d)A`D54H1!#i
zk7J1=;sU3I$fa8bpOzrAS){rPB)aL^@3`p3C$p#!*}$MzzaKfCBSdPu@mTTCnahAt
zENhg{(ukJKZADRl;lx(>R9KK{k<s<~D-_FtLxvwECl)>@e$`hiaK)jaz&dak1H0vk
zXM>RqN1}g7G9FAQYs3RUbG?8zO1ECzvJ|x<2lA2xqkChuqTGnss|+ZtvF}<%2{Pe`
z2J9`=F^~)zPkP>WUY|%8yTKg0+B{|HRZ7SrF2Xu3?)iKVb^^J<vY(U^DsgZgee_-C
zR@;(vT5i*6T%}MfCU8>X{8?!7LmAd(L?lI+0DON+!c;0ksWj7U%cu$yAYY08f>mi1
z<V>60<!~r#tFrWa{u)KmUZ#)Zu+B42rJmg0ws8*CZMCw>qrF>ZVUneu=(cmmJj|-<
zf8G)5>NMHh5w?r>?pKCooNTU_?p?16>ts2T`v^9;cfBgi%i>R6@BdO^^5?Gi<#x;U
z{<?q13B(DJNGRfnO+hRo`OmI6vNEjd+OJvT7y1A+3UGrez4rnL2^4UkBE_hgQ#PV{
z0LQ%or+^Rei32L&069wiVSRQ(q{4qzW4TmPWa+xi1pGN}Tce&j?e+wcR5^$weyxFO
zUjs2y4f{p`zP=&iViwK-K?<rM$eOzcD8YXV%J{W`SNjJ3NBiet0h~8fA#YEidQn9M
zX0pvTn-BxRkP99BkCZuKuvBUYaLUFJr6n9JT?PW%+(&bumKVR&Gh7odKx+U+Xw8cZ
zf(UnFF_zI(p%zkk7MorNfNi#Jxvu0^)n_yu4EpoLBQuFng$#diGo*+Y2Bf5#j8uQC
z#eKp@1lOD}SZ}{`Xm7p{+2eTK6T8wlxl8&0s?Lo(;+6rIOoCaiioo4fL&klJjHKzM
zi$KBgz&th;-(-$4zXEicCw&W~m+AqSdHz0iyRRt(M3DPpwch9hkl^InvMOMTRgqH_
z%oxt^-bo3?9p#<#JTRiQP=T68Gz5R7lJPkS=SwjSJo<5#-eBj<^yrYLOLZ};O%u&_
zjtO3_mZnQ9e%Dretzrq`p8)pK{v#bKhud3CqbgvT4om-)(<=$q_NXU<F^b{8)vmEd
zHf|Z`>q;E6#+9t1N*^{*UC0Q`J&@sRN(zK=6WELMo6=ozH1fiW!XB9p&~kqhdD`Ad
zB8N9HuoJArHiE!f>VeUUf35UQ-MDcBz(W*)_JGH~kvyD0S5L_x84V5QX|{sA?|czM
zJ_3j*uIw1#mgQm32(*)3uz91N1AEYc|B8QTS>z%SJ~&t%^6-(G);Kuhsku*nkaa$Y
zIfj?AmpnO=Q^KDvOn%rICp&*El`oay9>S-(<pA#WG54a4<)@JbA{F_YG&5<Hfe5WM
z;s9)4T0*A#*VRz0t1{oRBHayGs>N6<e8p1aF0ev6Qb2AL-7oJbNa71{thY~lCx+Iq
zeUK+ec`96j)v_&MFW~IUE2dYUZcp<~UON2)=IW=&l35rzUMnw@f8&2PoN&?|$Qg`q
zabvGNV@EDiMeA#(TOUQ>2zb=_ws*PL+heD(ap7cnLIni>(MS0u4~FC;IM*qA(Tvl>
zIA5fFlJ~cIZMF%xSJ{R&1~rxe0MsK(<0D7Gx5Y0T(=9(Q3G-SaGn{&TIe{7C3V%`R
zJF9Mx>txx_8#Cnq4kUjc1|tv57`Wd3{6XSY#bw>{NDVN={TG=b5#ZE$*SsKrw3uJ`
z?F0Kw|Jb4AodsWvAds~3Ofs(6d6H#KH)ANF_amVBQF6BGq&4@?JA*L!C#GJJ7z8VN
zmkfSWgJC+3%TeWv^)FmPtz9d|<2-QkI6N?@_y<Zijh5Tx*%w1z0VK~?Eo)|<DWxRC
z1t4R_NN&!>C6pLb{`v(iWaN8)4o(xBSLHOmZyKTRh@kLHi!jUbO`EnX`Qh=+e*s9i
zv@Vko5fg*jRfpPD0f*XE0*BgF1Gm~$1Vkq)GBGhUF)}hMFfk`EFefPrFHLV`L}7Gg
zASgsSGB7eVFfuYSF)=hTGBUSFeFVP-Q8O?`Gcz?bH8wIuI5aRpGcq$WMKVD%G(k5o
zFgGwmIX)mfGcZOoGc`0dHZnyxG%!IkGBYwoGC?ymK{qfkH!wpvK3xhgOl59obZ8(s
zGc=PSKq-G6)Xh^AXAsBn?%h#XL|$|d5CH)dUr<p5!BtrWBLt8j0vZ){sidr2W2{&{
zIm8^S9QEeWlSvNgsvPqV<PXS8`CoW6l?$2g@A9ecXP=p!>F#IDth`+^iwjUSvuwLy
zaNEsVtyrtLTlr^2=Jr*!pykJc_Mw9On}V)i3;KV@wWZ?LYl<36=J^d+gbmh8P=*Y4
zz)omz8;#;F)hS)O3!2=f8;xtP!$R>?#*<cdLn}19)ta<r9X@5P1@=Ol+m-)xzjoNe
zmL;MN*aw}^1>LY8df))`LLc<QK^TBR7=lA^7>>X&9ED?W98SOpoP<+w8b;v^Ou#wF
z-DZEc^vq{rjA#CY=qe~$1ii;9+=9Ds5AMSzJb;IEmHUMQ4G0<#G$3d|(12(F${x+o
z22?Hf0Obs76{^*Fn1m@{aw=802$x_Q#@*&R^)i>amJ$ag4oV!9IH+k*)1V}wlFUHO
zZT_RKy+RFc6J3W{w}oN-a1G``jsFZ*;0Axpxh<}0-vT#ShE=!;E5H>&146Z5gJrk1
z_qt5`Sc@@GKlB*uZktJ4G}Mpaj$8eu);?!*BT?P$%hy`l;#S3$*Uf4L102OkdGbPO
z6Xek1_VkI?81G>IqQmXmr&?oTgVBpVx92)<!C(eM7|dTVf5H3(^B0U>FnYo0#W;Tq
zxusupEt43`ZZM}oFJr>(`+xN-O^!((d=BQ}7U%`(bQGQTq=!_0r%Bb-8ql|-PBXhP
zL#po2!ZlJ&1VbGh@x*Y&9Pn>R14nCv4ko=m!yike9O9tUL2Hxhr-stnq=~%=^gL;b
zIVrJ5s>xo54N^@zt&KaRs=eOwE-8N>l;CW|eNr`#0~QZRbzF4H9+Bz@)q$R;CJJVr
zJ^ou?DQB%hRDv?8zLOd3AZ;Mp2}DVews2WuORk&lBGqNhu$z?o<t@-ks{d$%c2fR4
z*GF(KsU9eY4$z41gHEVJ7jy&fmhXoicnAle7bryD2mP=K2VnrHT0RJ~Fa&=((}&<N
zFbw$-xC+C-yyQpW7#xQaFajsx6r6@pI0I*4%<WC+1<$#cmK2S<x4u#|;okGLqVw)Q
zy;L;mrR*O?Q(n5grRai}e*05V)yuY`=%SaGXB1uX^4o4jm%aR9K+&{k8#P5W&+5My
zjsM~gr3_Mj&$I9TB2CmPQL8INnG$76R47rLL|qbfNt7f}jYJ_5g-8@4QHV6+*|QhL
bfBf*y{s#(|(Rr67hy)=BHwq;sMNdWwDk^{%