Analyzing maru, a symbolic expression evaluator ( http://piumarta.com/software/maru/ )