Added a few rules for imageset simplification
Merge branch 'imageset_simplification' into solver_refactor
un @XFAIL test_invert_tan_cos
[skip_ci]
Added method to solve trignometric equations