/*
  Boyles law: PV = P*V  (V2 = V1*V0)

  Solutions:
  [program = X * Y,res = 1,count = 31]
  [program = Y * X,res = 1,count = 20]
  [program = X * (Y - 0),res = 1,count = 8]
  [program = 4 * (Y / (3 / (3 * (X / 4)))),res = 1.0,count = 8]
  [program = Y * (Y / (Y / X)),res = 1.0,count = 7]
  [program = 1 * Y * X,res = 1,count = 6]
  [program = Y * (X - 0),res = 1,count = 3]
  [program = Y * X + 0 * 1,res = 1,count = 2]
  [program = Y / 1 * X,res = 1.0,count = 2]
  [program = (X - 0) * Y,res = 1,count = 2]
  [program = X * 1 * Y,res = 1,count = 2]
  [program = Y * X + (X - X) / (4 / (2 / X * Y) * 9),res = 1.0,count = 1]
  [program = Y * X + 0,res = 1,count = 1]

  resultMap = [1 = 9,1.0 = 4]

  Cf http://hakank.org/jgap/boyles_law.conf
*/
data(boyles_law,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [
          [[1.0,29.750],29.750],
          [[1.5,19.125],28.688],
          [[2.0,14.375],28.750],
          [[3.0,9.500],28.500],
          [[4.0,7.125],28.500],
          [[5.0,5.625],28.125],
          [[6.0,4.875],29.250],
          [[7.0,4.250],29.750],
          [[8.0,3.750],30.000],
          [[9.0,3.375],30.375],
          [[10.0,3.000],30.000],
          [[12.0,2.625],31.500],
          [[14.0,2.250],31.500],
          [[16.0,2.000],32.000],
          [[18.0,1.875],33.750],
          [[20.0,1.750],35.000],
          [[24.0,1.500],36.000],
          [[28.0,1.375],38.500],
          [[32.0,1.250],40.000]
        ],

  Ops = [+,*,-,/],
  Vars =  ['X','Y'],
  Unknown = [1,1],  
  Constants = 0..10,
  MaxSize = 12,
  Params = new_map([approx=0.01]).