fixed bug in timing system for expression evaluation
elaborated test cases and changed hyper parameters
started writing the lower bound refinement implementation
progress on lower bound refinement