Reimplemented -(-(x)) optimization
Reimplemented x*0, x*1, x*-1 optimizations
generated documentation