infixr 5 ^^;

fun (x:real) ^^ 0 = 1.0
  | (x:real) ^^ n = x*(x^^(n-1));

fun poly [] (x:real) = 0.0
  | poly (hd::tl) (x:real) = hd*(x^^(length tl)) + poly tl x;