Rotating (-4.0,3.0)(7.0,3.0) yields (1.5,-2.5)(1.5,8.5)
Rotating (7.0,-2.0)(7.0,-5.0) yields (5.5,-3.5)(8.5,-3.5)
Rotating (1.0,0.0)(-1.0,0.0) yields (0.0,-1.0)(0.0,1.0)
Rotating (0.0,1.0)(0.0,-1.75) yields (-1.375,-0.375)(1.375,-0.375)
Rotating (1.3,-4.7)(6.3,4.3) yields (-0.7000000000000002,2.3)(8.3,-2.7)
Rotating (1.0,-3.0)(-4.0,4.0) yields (-5.0,-2.0)(2.0,3.0)
Rotating (-4.0,3.0)(-1.0,6.0) yields (-4.0,6.0)(-1.0000000000000002,3.0)