Question 849806
*[invoke simplifying_square_roots 1215]