[math-fun] The astroid is a trisectrix