cleaning up derivative and specs
fixing failing tests
ensuring checkEq works correctly, fixed a bug where <math> did not do eval and variables correctly