let root2 a =
  let fst b =
  if a>=1.0 then a/. 3.0
  else a
  in

  let snd c =
  a+.a

  in snd (fst a);;

root2 2. ;;