Split integrals involving multiple square roots.
Authored by: whebisch 2010-09-09
Parent: [r902]
Child: [r904]