ocaml: phase 5.1 fib_doubling.ml baseline (Fibonacci by doubling, fib(40) = 102334155)

Uses the identities:
  F(2k)   = F(k) * (2 * F(k+1) - F(k))
  F(2k+1) = F(k)^2 + F(k+1)^2

to compute Fibonacci in O(log n) recursive depth instead of O(n).

  let rec fib_pair n =
    if n = 0 then (0, 1)
    else
      let (a, b) = fib_pair (n / 2) in
      let c = a * (2 * b - a) in
      let d = a * a + b * b in
      if n mod 2 = 0 then (c, d)
      else (d, c + d)

Each call returns the pair (F(n), F(n+1)). fib(40) = 102334155 fits
in JS safe-int (< 2^53). Tests tuple returns with let-tuple
destructuring + recursion on n / 2.

86 baseline programs total.

lib/ocaml/baseline/expected.json

@@ -25,6 +25,7 @@
   "expr_eval.ml": 16,
   "expr_simp.ml": 22,
   "factorial.ml": 3628800,
+  "fib_doubling.ml": 102334155,
   "fib_mod.ml": 391360,
   "fraction.ml": 7,
   "frequency.ml": 5,

lib/ocaml/baseline/fib_doubling.ml

@@ -0,0 +1,14 @@
+let rec fib_pair n =
+  if n = 0 then (0, 1)
+  else
+    let (a, b) = fib_pair (n / 2) in
+    let c = a * (2 * b - a) in
+    let d = a * a + b * b in
+    if n mod 2 = 0 then (c, d)
+    else (d, c + d)
+
+let fib n = let (f, _) = fib_pair n in f
+
+;;
+
+fib 40