Je zou bij de afgeleide van $F$ ook de afgeleide en dan met name de kettingregel moeten betrekken van die $ \eqalign{\frac{1} {{\cos (x)}}} $, en dan raak je alleen maar verder van huis...
Alleen constante factoren kan je straffeloos aan je integraal toevoegen om de zaak goed te krijgen.