tan (x+pi/4) = sqrt 3