derive ((sin(((x2 + 5.1) * cos(x1))) * x1) * x3)