How do you determine a value for x that would not produce a counterexample

[Mike S]

to the following equation? Arcsinx=Arctanx-(pi/4)