Log's simplify works as the spec requires but gets jumbled up somewhere after simplify()