>>953
-2(arctan(cos(x)-sin(x))+(1+i)(-1)^(3/4)arctanh((tan(x/2)-1)/√2))/3