derivative of 4^(3^(x^(2)))