Comment by ChrisRackauckas

The book referred to was released in 2022, around the same month as Symbolics.jl, so it wouldn't have existed when the author was writing it.