Question 799341
sqrt4x
sqrt4 * sqrtx
2sqrtx