3 * sqrt(5) * (2 * sqrt(5) - 5) == 15 * sqrt(5)