So https://github.com/JuliaSymbolics/Symbolics.jl/blob/80948dcf0c7402bc71c7b8ceea79bc0564d144e3/src/diff.jl#L285 would have to be changed to explicitly specify the modules that you'd like to use. The change was made in https://github.com/JuliaDiff/DiffRules.jl/pull/69. ┆Issue is synchronized with this [Trello card](https://trello.com/c/UqXngupB) by [Unito](https://www.unito.io)
So
Symbolics.jl/src/diff.jl
Line 285 in 80948dc
┆Issue is synchronized with this Trello card by Unito