/*
  Two intertwined spirals

  See Koza Genetic Programming, Book I, page 445ff

  Best so far:
  gen = 133  (time: 6.148s)
  results_best = [[140.231101403429193,sin(x / 0.3),check = 0.0]]


*/
import util.
data(sorted,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [ [[X,Y],Z] : [X,Y,Z] in chunks_of([
 6.50000,  0.00000, 1,
-6.50000, -0.00000, -1,
 6.31381,  1.25588, 1,
-6.31381, -1.25588, -1,
 5.88974,  2.43958, 1,
-5.88974, -2.43958, -1,
 5.24867,  3.50700, 1,
-5.24867, -3.50700, -1,
 4.41945,  4.41938, 1,
-4.41945, -4.41938, -1,
 3.43764,  5.14468, 1,
-3.43764, -5.14468, -1,
 2.34401,  5.65873, 1,
-2.34401, -5.65873, -1,
 1.18282,  5.94599, 1,
-1.18282, -5.94599, -1,
 0.00010,  6.00000, 1,
-0.00010, -6.00000, -1,
-1.15824,  5.82343, 1,
 1.15824, -5.82343, -1,
-2.24815,  5.42784, 1,
 2.24815, -5.42784, -1,
-3.22914,  4.83299, 1,
 3.22914, -4.83299, -1,
-4.06576,  4.06596, 1,
 4.06576, -4.06596, -1,
-4.72890,  3.15993, 1,
 4.72890, -3.15993, -1,
-5.19676,  2.15274, 1,
 5.19676, -2.15274, -1,
-5.45558,  1.08536, 1,
 5.45558, -1.08536, -1,
-5.50000,  0.00018, 1,
 5.50000, -0.00018, -1,
-5.33306, -1.06062, 1,
 5.33306,  1.06062, -1,
-4.96593, -2.05674, 1,
 4.96593,  2.05674, -1,
-4.41730, -2.95130, 1,
 4.41730,  2.95130, -1,
-3.71246, -3.71216, 1,
 3.71246,  3.71216, -1,
-2.88221, -4.31313, 1,
 2.88221,  4.31313, -1,
-1.96147, -4.73479, 1,
 1.96147,  4.73479, -1,
-0.98788, -4.96518, 1,
 0.98788,  4.96518, -1,
-0.00024, -5.00000, 1,
 0.00024,  5.00000, -1,
 0.96301, -4.84268, 1,
-0.96301,  4.84268, -1,
 1.86534, -4.50401, 1,
-1.86534,  4.50401, -1,
 2.67346, -4.00159, 1,
-2.67346,  4.00159, -1,
 3.35857, -3.35895, 1,
-3.35857,  3.35895, -1,
 3.89736, -2.60447, 1,
-3.89736,  2.60447, -1,
 4.27283, -1.77017, 1,
-4.27283,  1.77017, -1,
 4.47478, -0.89038, 1,
-4.47478,  0.89038, -1,
 4.50000, -0.00029, 1,
-4.50000,  0.00029, -1,
 4.35229,  0.86542, 1,
-4.35229, -0.86542, -1,
 4.04209,  1.67396, 1,
-4.04209, -1.67396, -1,
 3.58588,  2.39564, 1,
-3.58588, -2.39564, -1,
 3.00542,  3.00498, 1,
-3.00542, -3.00498, -1,
 2.32671,  3.48160, 1,
-2.32671, -3.48160, -1,
 1.57886,  3.81088, 1,
-1.57886, -3.81088, -1,
 0.79287,  3.98438, 1,
-0.79287, -3.98438, -1,
 0.00033,  4.00000, 1,
-0.00033, -4.00000, -1,
-0.76785,  3.86191, 1,
 0.76785, -3.86191, -1,
-1.48259,  3.58016, 1,
 1.48259, -3.58016, -1,
-2.11783,  3.17016, 1,
 2.11783, -3.17016, -1,
-2.65141,  2.65189, 1,
 2.65141, -2.65189, -1,
-3.06586,  2.04895, 1,
 3.06586, -2.04895, -1,
-3.34893,  1.38754, 1,
 3.34893, -1.38754, -1,
-3.49398,  0.69534, 1,
 3.49398, -0.69534, -1,
-3.50000,  0.00034, 1,
 3.50000, -0.00034, -1,
-3.37152, -0.67029, 1,
 3.37152,  0.67029, -1,
-3.11823, -1.29124, 1,
 3.11823,  1.29124, -1,
-2.75443, -1.84004, 1,
 2.75443,  1.84004, -1,
-2.29834, -2.29785, 1,
 2.29834,  2.29785, -1,
-1.77117, -2.65012, 1,
 1.77117,  2.65012, -1,
-1.19620, -2.88699, 1,
 1.19620,  2.88699, -1,
-0.59780, -3.00359, 1,
 0.59780,  3.00359, -1,
-0.00034, -3.00000, 1,
 0.00034,  3.00000, -1,
 0.57274, -2.88112, 1,
-0.57274,  2.88112, -1,
 1.09990, -2.65628, 1,
-1.09990,  2.65628, -1,
 1.56226, -2.33870, 1,
-1.56226,  2.33870, -1,
 1.94431, -1.94478, 1,
-1.94431,  1.94478, -1,
 2.23439, -1.49337, 1,
-2.23439,  1.49337, -1,
 2.42506, -1.00485, 1,
-2.42506,  1.00485, -1,
 2.51320, -0.50024, 1,
-2.51320,  0.50024, -1,
 2.50000, -0.00033, 1,
-2.50000,  0.00033, -1,
 2.39073,  0.47522, 1,
-2.39073, -0.47522, -1,
 2.19434,  0.90858, 1,
-2.19434, -0.90858, -1,
 1.92295,  1.28449, 1,
-1.92295, -1.28449, -1,
 1.59121,  1.59077, 1,
-1.59121, -1.59077, -1,
 1.21557,  1.81867, 1,
-1.21557, -1.81867, -1,
 0.81348,  1.96313, 1,
-0.81348, -1.96313, -1,
 0.40267,  2.02281, 1,
-0.40267, -2.02281, -1,
 0.00029,  2.00000, 1,
-0.00029, -2.00000, -1,
-0.37770,  1.90033, 1,
 0.37770, -1.90033, -1,
-0.71727,  1.73238, 1,
 0.71727, -1.73238, -1,
-1.00674,  1.50719, 1,
 1.00674, -1.50719, -1,
-1.23724,  1.23763, 1,
 1.23724, -1.23763, -1,
-1.40296,  0.93775, 1,
 1.40296, -0.93775, -1,
-1.50121,  0.62210, 1,
 1.50121, -0.62210, -1,
-1.53243,  0.30508, 1,
 1.53243, -0.30508, -1,
-1.50000,  0.00024, 1,
 1.50000, -0.00024, -1,
-1.40993, -0.28021, 1,
 1.40993,  0.28021, -1,
-1.27042, -0.52598, 1,
 1.27042,  0.52598, -1,
-1.09143, -0.72900, 1,
 1.09143,  0.72900, -1,
-0.88403, -0.88373, 1,
 0.88403,  0.88373, -1,
-0.65991, -0.98726, 1,
 0.65991,  0.98726, -1,
-0.43070, -1.03929, 1,
 0.43070,  1.03929, -1,
-0.20747, -1.04205, 1,
 0.20747,  1.04205, -1,
-0.00018, -1.00000, 1,
 0.00018,  1.00000, -1,
 0.18273, -0.91952, 1,
-0.18273,  0.91952, -1,
 0.33470, -0.80846, 1,
-0.33470,  0.80846, -1,
 0.45128, -0.67565, 1,
-0.45128,  0.67565, -1,
 0.53023, -0.53043, 1,
-0.53023,  0.53043, -1,
 0.57156, -0.38206, 1,
-0.57156,  0.38206, -1,
 0.57738, -0.23929, 1,
-0.57738,  0.23929, -1,
 0.55167, -0.10985, 1,
-0.55167,  0.10985, -1,
 0.50000, -0.00010, 1,
-0.50000,  0.00010, -1
  ],3)],
  Vars = ['x','y'],
  Unknown = [0,0],
  Constants = -1..0.1..1,
  Ops = [+,-,*,/,sqrt,sin,pow,exp,log],
  MaxSize = 61,
  Params = new_map([approx=0.1,
                    init_size=100,
                    stop_criteria=generation,
                    num_gens=1000
                   ]).