symbolics working and tested