[2603.21852] All elementary functions from a single binary operator

Taiju Muto @tai2