added symbolic integration