new assumptions for inverse trig functions
old assumptions for inverse trig functions
A minor change in tests for new assumptions
Merge pull request #7356 from debugger22/arctrigo

Fixed positive assumption for arc trigonometric functions