Yes but the problem is that the compiler doesn't know about the simplifications for Besselfunctions because it is defined by a user.
Perhaps the easiest way to solve this problem is for them to make a PR to the symbolic compiler and add it in the deep embedding instead of creating their own? 🤷
