arcsin [(sinx+cosx)/√2]
=arcsin [√2sin(x+π/4)/√2]
=arcsin [sin(x+π/4)]
=arcsin[-sin(x+π/4-π)]
=-arcsin[sin(x-3π/4)]
=-(x-3π/4)
=3π/4-x