Today I was stranded in the classroom trying to solve F(x)=tanx dx. I failed. I've later found the right way to do it. A little relief is to see that ChatGPT fails too (but it sports much more self-assurance than I did...) So, your turn, what's F(x)?