Simplify (1^2)/2