Adam, I&#x27;m one of the authors of Herbie. I&#x27;d love to hear about the distance-field approximation code you improved using Herbie. Is there any chance you can email me some details? You can use my personal email (on my profile) or the herbie@cs.washington.edu mailing list.