User blog comment:QuasarBooster/Googology in Geometry/@comment-43345498-20191204040054/@comment-24923514-20191228222009

Brilliant! I knew there had to be a simpler way of "squaring" lengths than with 9 steps. Thank you so much for the contribution!

Very sorry for not seeing your message until now by the way. Also, I'm with you on the idea that we can't do much better than squaring. It's too bad.