How do you evaluate #3log312#?