Add positive assumption for acot
Use is_nonpositive/is_nonnegative replacing is_positive and is_zero
Add positive assumption test for acot
Add respective tests for acot