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