Licson Lee
says to
YSITD
Wolfram 大概才會幫你化簡