Fix doctest for `tan(x**2).diff(x)` and make checkodesol convert trigonometric functions to exp