simplify ctg(4*x)