/* Polynom x^10 + x^9 + ... + x^4 + x^3 + x^2 + x * stop_criteria=generations 1800 generations gen = 922 (time: 62.989s) results_best = [[17249343.485806081444025,x * pow_mod2(-5,10) / ((x + 10) / x)]] stop_criteria 'generations' reached Cf p10.conf */ import util. data(p10,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :- Data = [ [[X],Y] : [X,Y] in chunks_of([ 4.3172,2927015.8448, 3.7256,704219.7580, -4.6886,4231375.7398, -2.5364,7903.7135, 0.6063,1.5299, -0.8813,-0.3361, 3.2248,176299.8091, 4.1688,2085486.6804, 4.3368,3058361.3530, -4.6167,3615822.4066, 4.3305,3015847.3821, 2.0905,3054.3666, 2.0891,3035.8860, 2.3065,7522.4831, 0.7227,2.5047, -0.4601,-0.3150, 2.7154,34495.4106, -4.5323,2996191.3103, -4.2594,1591829.8108, 0.5939,1.4542, -1.9312,474.8102, 3.5263,414992.6390, -2.8316,24488.4230, 0.2463,0.3267, 3.2120,169699.9146, 2.9905,85956.4681, -1.6812,112.4887, -0.5980,-0.3720, 4.3327,3030906.0948, -1.6377,85.5548 ],2)], Unknown = [1.0], Vars = ['x'], Ops = [+,-,*,/,log,pow_mod2], Constants = -10..10, MaxSize = 151, Params = new_map([ approx=10, init_size=1000, show_best=1, num_gens=1800, show_only_improvements=true, stop_criteria=generations, remove_dups=true ]).