What is the integral of #int sin(ln(ln(x))) #?