numerical arguments automatically get converted to numbers so this is not testing the added code. 

```
>>> acos(0.5)
1.04719755119660
>>> acos(S.Half)
pi/3
```

I think you will want to test using something like `ask(Q.positive(asin(p)), Q.negative(p) & Q.positive(p+1))`