import Data.Numbers.Primes
import Data.List
import Data.Function

data Expr = Inc Expr
          | Mul Expr Expr
          | Val Int
    deriving(Show)

fromList [x]    = Val x
fromList (x:xs) = Mul (Val x) (fromList xs)

powerset l = delete l (nub (powerset' l))
   where powerset' [x]     = [[x]]
         powerset' (x:xs) = powerset' xs ++ map (x:) (powerset' xs)

factors x n = factors' n (primeFactors x)
    where factors' _ []     = []
          factors' 2 pfacts = map (\(x, y) -> [product x, product y]) pairs
              where pairs = map (\x -> (x, pfacts \\ x)) (powerset pfacts)
          factors' n pfacts = concatMap (\(x, y) -> let p = product x in map (p:) (factors' (n - 1) y)) factPairs
              where factPairs = map (\x -> (x, pfacts \\ x)) (powerset pfacts)

enum 0 = [Val 0]
enum 1 = [Val 1]
enum n = map Inc (enum (n - 1))
      ++ (map fromList $ concatMap (factors n) [2..n `div` 2])

cost (Val n)   = n
cost (Inc e)   = 1 + cost e
cost (Mul x y) = 6 + cost x + cost y

minimumExpression n = minimumBy (compare `on` cost) (enum n)

translate (Val n)   = take n (repeat '+')
translate (Inc e)   = translate e ++ "+"
translate (Mul x y) = translate y ++ "[->" ++ translate x ++ "<]>"

minBFExpr = translate . minimumExpression

brainfuck cs = brainfuck' cs (repeat 0) (repeat 0) []
    where brainfuck' (']':cs) _ _ [] = error "mismatched brakets"
          brainfuck' [] _ _ _ = []
          brainfuck' (c:cs) (m:ms) (n:ns) r
              | c == '+'  = '+' : brainfuck' cs ((m + 1) : ms) (n:ns) r
              | c == '-'  = '-' : brainfuck' cs ((m - 1) : ms) (n:ns) r
              | c == '>'  = '>' : brainfuck' cs ms (m:n:ns) r
              | c == '<'  = '<' : brainfuck' cs (n:m:ms) ns r
              | c == '.'  = '.' : brainfuck' cs (m:ms) (n:ns) r
              | c == '['  = '[' : if m /= 0
                                  then brainfuck' cs (m:ms) (n:ns) ((c:cs):r)
                                  else brainfuck' (tail $ dropWhile (/=']') cs) (m:ms) (n:ns) r
              | c == ']'  = ']' : brainfuck' (head r) (m:ms) (n:ns) (tail r)
              | otherwise = brainfuck' cs (m:ms) (n:ns) r