\[\sqrt{x - 1} \cdot \sqrt{x}\]
Test:
sqrt times
Bits:
128 bits
Bits error versus
x
Time:
6.2 s
Input Error:
0.5
Output Error:
0.5
Log:
⚲
Profile:
🕒
\({\left(\sqrt{\sqrt{x - 1} \cdot \sqrt{x}}\right)}^2\)
Started with
\[\sqrt{x - 1} \cdot \sqrt{x}\]
0.5
Using strategy
rm
0.5
Applied
add-sqr-sqrt
to get
\[\color{red}{\sqrt{x - 1} \cdot \sqrt{x}} \leadsto \color{blue}{{\left(\sqrt{\sqrt{x - 1} \cdot \sqrt{x}}\right)}^2}\]
0.5
Removed slow pow expressions
Original test:
(lambda ((x default)) #:name "sqrt times" (* (sqrt (- x 1)) (sqrt x)))
