ddx -1/sqrt(10) ln(tan((x-acot(3))/2))