Elementary_function_(differential_algebra) loading ...