/*
  Golf putting

  According to https://docs.pymc.io/pymc-examples/examples/case_studies/putting_workflow.html
  """
  We use a data set from “Statistics: A Bayesian Perspective”, by Don Berry (1995). 
  The dataset describes the outcome of professional golfers putting from a number of distances. 
  """

  but I have also seen this data somewhere else...


*/
import util.
data(eureqa_test,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
    Data = [ [[A,B],C] : [A,B,C] in chunks_of([
% distance_feet num_tried  num_successes
2,1443,1346,
3,694,577,
4,455,337,
5,353,208,
6,272,149,
7,256,136,
8,240,111,
9,217,69,
10,200,67,
11,237,75,
12,202,52,
13,192,46,
14,174,54,
15,167,28,
16,201,27,
17,195,31,
18,191,33,
19,147,20,
20,152,24
         ],3)],
  Ops = [+,/,-,*,pow2,sqrt],
  Constants = [random(-10,10) : _ in 1..10],
  Vars = ['a','b'],
  Unknown = [20,140],
  MaxSize = 21,
  Params = new_map([approx=1,
                    init_size=500,
                    show_best=1
                    % , mutate_rate=0.5
                    
                    % , show_instances=true
                    ]).