What is int sec(x)^3tan(x)dx ?