Neural Symbolic Hybrid U Net For Brain Tumor Segmentation