Add tests for rational numbers instead of numerical values

Add false test for acot

Tests for asin and acos for old assumptions

Add test for false output for acos and remove an extra declaration