Created
April 7, 2022 15:01
-
-
Save nomeata/86ed8d282ac59b1ff5ab02749d24395a to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff -ru gold0/add-adf-syn.golden gold/add-adf-syn.golden | |
| --- gold0/add-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/add-adf-syn.golden 2022-04-07 16:58:22.228485530 +0200 | |
| @@ -1 +1 @@ | |
| -(addC *** coerce . coerce . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| +(addC *** id . repr . abst . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/add-adr-syn.golden gold/add-adr-syn.golden | |
| --- gold0/add-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/add-adr-syn.golden 2022-04-07 16:58:22.228485530 +0200 | |
| @@ -1,2 +1,2 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -(addC *** coerce . coerce . coerce . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +(addC *** id . repr . abst . abst . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/add-gradr-syn.golden gold/add-gradr-syn.golden | |
| --- gold0/add-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/add-gradr-syn.golden 2022-04-07 16:58:22.229485533 +0200 | |
| @@ -1,4 +1,4 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -(addC *** coerce . coerce . coerce . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| +(addC *** id . repr . abst . abst . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-2x-adf-syn.golden gold/cos-2x-adf-syn.golden | |
| --- gold0/cos-2x-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-2x-adf-syn.golden 2022-04-07 16:58:22.260485651 +0200 | |
| @@ -1,14 +1,14 @@ | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| - coerce . | |
| + repr . | |
| + abst . | |
| curry mulC . | |
| apply . (curry exl . negateC . sinC . exl . exl *** exr) . dup *** | |
| exr . exl) . | |
| @@ -21,10 +21,10 @@ | |
| ((exl . exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -39,11 +39,11 @@ | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exl *** | |
| - coerce . exr) . | |
| + repr . exl *** | |
| + repr . exr) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . curry mulC . exr *** | |
| + abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -51,11 +51,11 @@ | |
| ((exl *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr *** | |
| - coerce . curry (dup . exr)) . | |
| + repr . exr *** | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -65,18 +65,18 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((const 2.0 *** coerce . curry exl . const 0.0) . dup) . exl . exl) . | |
| + ((const 2.0 *** abst . curry exl . const 0.0) . dup) . exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-2x-adr-syn.golden gold/cos-2x-adr-syn.golden | |
| --- gold0/cos-2x-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-2x-adr-syn.golden 2022-04-07 16:58:22.263485663 +0200 | |
| @@ -1,5 +1,5 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -8,12 +8,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -22,7 +22,8 @@ | |
| apply . | |
| ((curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| @@ -37,12 +38,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -51,29 +52,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -84,14 +85,14 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . coerce . curry (addC . exr)) . | |
| + abst . abst . curry (addC . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -101,25 +102,24 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| ((const 2.0 *** | |
| - coerce . | |
| - coerce . | |
| - curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) . | |
| + abst . | |
| + abst . curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) . | |
| dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-2x-gradr-syn.golden gold/cos-2x-gradr-syn.golden | |
| --- gold0/cos-2x-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-2x-gradr-syn.golden 2022-04-07 16:58:22.266485674 +0200 | |
| @@ -1,7 +1,7 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -10,12 +10,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -24,7 +24,8 @@ | |
| apply . | |
| ((curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| @@ -39,12 +40,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -53,29 +54,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -86,14 +87,14 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . coerce . curry (addC . exr)) . | |
| + abst . abst . curry (addC . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -103,25 +104,24 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| ((const 2.0 *** | |
| - coerce . | |
| - coerce . | |
| - curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) . | |
| + abst . | |
| + abst . curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) . | |
| dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-2xx-adf-syn.golden gold/cos-2xx-adf-syn.golden | |
| --- gold0/cos-2xx-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-2xx-adf-syn.golden 2022-04-07 16:58:22.270485689 +0200 | |
| @@ -1,14 +1,14 @@ | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| - coerce . | |
| + repr . | |
| + abst . | |
| curry mulC . | |
| apply . (curry exl . negateC . sinC . exl . exl *** exr) . dup *** | |
| exr . exl) . | |
| @@ -21,10 +21,10 @@ | |
| ((exl . exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -39,11 +39,11 @@ | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exl *** | |
| - coerce . exr) . | |
| + repr . exl *** | |
| + repr . exr) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . curry mulC . exr *** | |
| + abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -51,11 +51,11 @@ | |
| ((exl *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr *** | |
| - coerce . curry (dup . exr)) . | |
| + repr . exr *** | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -65,13 +65,13 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -80,11 +80,11 @@ | |
| ((exl . exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -99,11 +99,11 @@ | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exl *** | |
| - coerce . exr) . | |
| + repr . exl *** | |
| + repr . exr) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . curry mulC . exr *** | |
| + abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -111,12 +111,12 @@ | |
| ((exl *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr *** | |
| - coerce . curry (dup . exr)) . | |
| + repr . exr *** | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -126,22 +126,22 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((const 2.0 *** coerce . curry exl . const 0.0) . dup) . exl . exl) . | |
| + ((const 2.0 *** abst . curry exl . const 0.0) . dup) . exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup . exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-2xx-adr-syn.golden gold/cos-2xx-adr-syn.golden | |
| --- gold0/cos-2xx-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-2xx-adr-syn.golden 2022-04-07 16:58:22.276485712 +0200 | |
| @@ -1,5 +1,5 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -8,12 +8,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -22,7 +22,8 @@ | |
| apply . | |
| ((curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| @@ -37,12 +38,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -51,29 +52,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -84,14 +85,14 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . coerce . curry (addC . exr)) . | |
| + abst . abst . curry (addC . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -101,15 +102,15 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -121,12 +122,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -135,29 +136,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -168,15 +169,15 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . coerce . curry (addC . exr)) . | |
| + abst . abst . curry (addC . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -186,29 +187,29 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| ((const 2.0 *** | |
| - coerce . | |
| - coerce . | |
| - curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) . | |
| + abst . | |
| + abst . | |
| + curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) . | |
| dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup . exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-2xx-gradr-syn.golden gold/cos-2xx-gradr-syn.golden | |
| --- gold0/cos-2xx-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-2xx-gradr-syn.golden 2022-04-07 16:58:22.284485742 +0200 | |
| @@ -1,7 +1,7 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -10,12 +10,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -24,7 +24,8 @@ | |
| apply . | |
| ((curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| @@ -39,12 +40,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -53,29 +54,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -86,14 +87,14 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . coerce . curry (addC . exr)) . | |
| + abst . abst . curry (addC . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -103,15 +104,15 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -123,12 +124,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -137,29 +138,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -170,15 +171,15 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . coerce . curry (addC . exr)) . | |
| + abst . abst . curry (addC . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -188,29 +189,29 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| ((const 2.0 *** | |
| - coerce . | |
| - coerce . | |
| - curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) . | |
| + abst . | |
| + abst . | |
| + curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) . | |
| dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup . exl . exl) . | |
| dup) *** | |
| - ((id *** coerce . coerce . curry exr) . dup) . exr) . | |
| + ((id *** abst . abst . curry exr) . dup) . exr) . | |
| dup) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-adf-syn.golden gold/cos-adf-syn.golden | |
| --- gold0/cos-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/cos-adf-syn.golden 2022-04-07 16:58:22.230485537 +0200 | |
| @@ -1,8 +1,8 @@ | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| (curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| diff -ru gold0/cos-adr-syn.golden gold/cos-adr-syn.golden | |
| --- gold0/cos-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/cos-adr-syn.golden 2022-04-07 16:58:22.230485537 +0200 | |
| @@ -1,9 +1,10 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| (curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| diff -ru gold0/cos-gradr-syn.golden gold/cos-gradr-syn.golden | |
| --- gold0/cos-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/cos-gradr-syn.golden 2022-04-07 16:58:22.230485537 +0200 | |
| @@ -1,11 +1,12 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| (curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| diff -ru gold0/cos-xpy-adf-syn.golden gold/cos-xpy-adf-syn.golden | |
| --- gold0/cos-xpy-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-xpy-adf-syn.golden 2022-04-07 16:58:22.287485753 +0200 | |
| @@ -1,16 +1,16 @@ | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| - coerce . | |
| + repr . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup *** | |
| - coerce . curry (addC . exr)) . | |
| + abst . curry (addC . exr)) . | |
| dup) . | |
| dup) *** | |
| cosC) . | |
| diff -ru gold0/cos-xpy-adr-syn.golden gold/cos-xpy-adr-syn.golden | |
| --- gold0/cos-xpy-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-xpy-adr-syn.golden 2022-04-07 16:58:22.287485753 +0200 | |
| @@ -1,5 +1,5 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -8,12 +8,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -22,11 +22,12 @@ | |
| apply . | |
| ((curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| dup) . | |
| exl) . | |
| dup) . | |
| -(addC *** coerce . coerce . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| +(addC *** abst . abst . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/cos-xpy-gradr-syn.golden gold/cos-xpy-gradr-syn.golden | |
| --- gold0/cos-xpy-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/cos-xpy-gradr-syn.golden 2022-04-07 16:58:22.288485757 +0200 | |
| @@ -1,7 +1,7 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -10,12 +10,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -24,11 +24,12 @@ | |
| apply . | |
| ((curry | |
| ((exr *** | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) . | |
| dup) *** | |
| cosC) . | |
| dup) . | |
| exl) . | |
| dup) . | |
| -(addC *** coerce . coerce . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| +(addC *** abst . abst . curry (dup . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/magSqr-adf-syn.golden gold/magSqr-adf-syn.golden | |
| --- gold0/magSqr-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/magSqr-adf-syn.golden 2022-04-07 16:58:22.238485568 +0200 | |
| @@ -1,13 +1,13 @@ | |
| -second coerce . | |
| -((addC . exl *** coerce . curry (addC . apply) . coerce . exr) . dup) . | |
| +second (id . repr) . | |
| +((addC . exl *** abst . curry (addC . apply) . repr . exr) . dup) . | |
| ((exl *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr *** | |
| - coerce . curry (dup . exr)) . | |
| + repr . exr *** | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -17,13 +17,13 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -32,11 +32,11 @@ | |
| ((exl . exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -51,11 +51,11 @@ | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exl *** | |
| - coerce . exr) . | |
| + repr . exl *** | |
| + repr . exr) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . curry mulC . exr *** | |
| + abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -63,12 +63,12 @@ | |
| ((exl *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr *** | |
| - coerce . curry (dup . exr)) . | |
| + repr . exr *** | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -78,19 +78,19 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((exl *** coerce . curry (exl . exr)) . dup) . exl . exl) . | |
| + ((exl *** abst . curry (exl . exr)) . dup) . exl . exl) . | |
| dup) *** | |
| - ((exl *** coerce . curry (exl . exr)) . dup) . exr) . | |
| + ((exl *** abst . curry (exl . exr)) . dup) . exr) . | |
| dup) . | |
| dup . exl . exl) . | |
| dup) *** | |
| @@ -99,11 +99,11 @@ | |
| ((exl . exr *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -118,11 +118,11 @@ | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exl *** | |
| - coerce . exr) . | |
| + repr . exl *** | |
| + repr . exr) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . curry mulC . exr *** | |
| + abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -130,11 +130,11 @@ | |
| ((exl *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr *** | |
| - coerce . curry (dup . exr)) . | |
| + repr . exr *** | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| dup) . | |
| apply . | |
| @@ -144,19 +144,19 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exr . exr *** | |
| + repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((exr *** coerce . curry (exr . exr)) . dup) . exl . exl) . | |
| + ((exr *** abst . curry (exr . exr)) . dup) . exl . exl) . | |
| dup) *** | |
| - ((exr *** coerce . curry (exr . exr)) . dup) . exr) . | |
| + ((exr *** abst . curry (exr . exr)) . dup) . exr) . | |
| dup) . | |
| dup . exr) . | |
| dup) . | |
| diff -ru gold0/magSqr-adr-syn.golden gold/magSqr-adr-syn.golden | |
| --- gold0/magSqr-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/magSqr-adr-syn.golden 2022-04-07 16:58:22.246485598 +0200 | |
| @@ -1,5 +1,5 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -8,18 +8,18 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) . | |
| + ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) . | |
| dup) . | |
| ((exl *** | |
| apply . | |
| @@ -27,15 +27,15 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry | |
| (((addC . (exl . exr . exl *** exl . exr) . dup *** | |
| addC . (exr . exr . exl *** exr . exr) . dup) . | |
| @@ -50,15 +50,15 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -70,12 +70,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -84,29 +84,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -117,16 +117,16 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry | |
| (((addC . (exl . exr . exl *** exl . exr) . dup *** | |
| addC . (exr . exr . exl *** exr . exr) . dup) . | |
| @@ -141,24 +141,23 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) . | |
| + ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . | |
| dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) . | |
| - dup) . | |
| + ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . dup) . | |
| exr) . | |
| dup) . | |
| dup . exl . exl) . | |
| @@ -171,12 +170,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -185,29 +184,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -218,16 +217,16 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry | |
| (((addC . (exl . exr . exl *** exl . exr) . dup *** | |
| addC . (exr . exr . exl *** exr . exr) . dup) . | |
| @@ -242,24 +241,22 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) . | |
| - dup) . | |
| + ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) . | |
| - dup) . | |
| + ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) . | |
| exr) . | |
| dup) . | |
| dup . exr) . | |
| diff -ru gold0/magSqr-gradr-syn.golden gold/magSqr-gradr-syn.golden | |
| --- gold0/magSqr-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/magSqr-gradr-syn.golden 2022-04-07 16:58:22.256485636 +0200 | |
| @@ -1,7 +1,7 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -10,18 +10,18 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) . | |
| + ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) . | |
| dup) . | |
| ((exl *** | |
| apply . | |
| @@ -29,15 +29,15 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry | |
| (((addC . (exl . exr . exl *** exl . exr) . dup *** | |
| addC . (exr . exr . exl *** exr . exr) . dup) . | |
| @@ -52,15 +52,15 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| @@ -72,12 +72,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -86,29 +86,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -119,16 +119,16 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry | |
| (((addC . (exl . exr . exl *** exl . exr) . dup *** | |
| addC . (exr . exr . exl *** exr . exr) . dup) . | |
| @@ -143,24 +143,23 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) . | |
| + ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . | |
| dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) . | |
| - dup) . | |
| + ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . dup) . | |
| exr) . | |
| dup) . | |
| dup . exl . exl) . | |
| @@ -173,12 +172,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -187,29 +186,29 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| @@ -220,16 +219,16 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr *** | |
| - coerce . | |
| - coerce . | |
| + abst . | |
| + abst . | |
| curry | |
| (((addC . (exl . exr . exl *** exl . exr) . dup *** | |
| addC . (exr . exr . exl *** exr . exr) . dup) . | |
| @@ -244,24 +243,22 @@ | |
| (((exl . exr *** exl . exr . exl) . dup *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exr . exr *** | |
| + repr . repr . exr . exr *** | |
| exr . exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) . | |
| - dup) . | |
| + ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) . | |
| exl . exl) . | |
| dup) *** | |
| - ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) . | |
| - dup) . | |
| + ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) . | |
| exr) . | |
| dup) . | |
| dup . exr) . | |
| diff -ru gold0/sin-adf-syn.golden gold/sin-adf-syn.golden | |
| --- gold0/sin-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/sin-adf-syn.golden 2022-04-07 16:58:22.229485533 +0200 | |
| @@ -1,8 +1,7 @@ | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| (curry | |
| - ((exr *** | |
| - coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) . | |
| + ((exr *** abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) . | |
| dup) *** | |
| sinC) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/sin-adr-syn.golden gold/sin-adr-syn.golden | |
| --- gold0/sin-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/sin-adr-syn.golden 2022-04-07 16:58:22.229485533 +0200 | |
| @@ -1,9 +1,9 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| (curry | |
| ((exr *** | |
| - coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) . | |
| + abst . abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) . | |
| dup) *** | |
| sinC) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/sin-gradr-syn.golden gold/sin-gradr-syn.golden | |
| --- gold0/sin-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/sin-gradr-syn.golden 2022-04-07 16:58:22.229485533 +0200 | |
| @@ -1,11 +1,11 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| (curry | |
| ((exr *** | |
| - coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) . | |
| + abst . abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) . | |
| dup) *** | |
| sinC) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/sqr-adf-syn.golden gold/sqr-adf-syn.golden | |
| --- gold0/sqr-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/sqr-adf-syn.golden 2022-04-07 16:58:22.232485545 +0200 | |
| @@ -1,12 +1,12 @@ | |
| -second coerce . | |
| +second (id . repr) . | |
| ((exl *** | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . exr *** | |
| - coerce . curry (dup . exr)) . | |
| + repr . exr *** | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| dup) . | |
| ((mulC *** | |
| @@ -20,11 +20,11 @@ | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . exl *** | |
| - coerce . exr) . | |
| + repr . exl *** | |
| + repr . exr) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . curry mulC . exr *** | |
| + abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/sqr-adr-syn.golden gold/sqr-adr-syn.golden | |
| --- gold0/sqr-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/sqr-adr-syn.golden 2022-04-07 16:58:22.233485549 +0200 | |
| @@ -1,5 +1,5 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -8,12 +8,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -22,31 +22,31 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| dup) . | |
| -(dup *** coerce . coerce . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| +(dup *** abst . abst . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/sqr-gradr-syn.golden gold/sqr-gradr-syn.golden | |
| --- gold0/sqr-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200 | |
| +++ gold/sqr-gradr-syn.golden 2022-04-07 16:58:22.234485552 +0200 | |
| @@ -1,7 +1,7 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -10,12 +10,12 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| @@ -24,31 +24,31 @@ | |
| ((mulC *** | |
| apply . | |
| (curry | |
| - (coerce . | |
| + (abst . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . | |
| + repr . | |
| apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| ((apply . (exl . exl *** exl . exr) . dup *** | |
| apply . (exr . exl *** exr . exr) . dup) . | |
| dup)) . | |
| - coerce . coerce . exl *** | |
| - coerce . exr) . | |
| + repr . repr . exl *** | |
| + repr . exr) . | |
| dup *** | |
| - coerce . curry (dup . exr)) . | |
| + abst . curry (dup . exr)) . | |
| dup) . | |
| - coerce . curry mulC . exr *** | |
| - coerce . curry mulC . exl) . | |
| + abst . abst . curry mulC . exr *** | |
| + abst . abst . curry mulC . exl) . | |
| dup) . | |
| dup) . | |
| exl) . | |
| dup) . | |
| -(dup *** coerce . coerce . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| +(dup *** abst . abst . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/twice-adf-syn.golden gold/twice-adf-syn.golden | |
| --- gold0/twice-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/twice-adf-syn.golden 2022-04-07 16:58:22.230485537 +0200 | |
| @@ -1,3 +1,3 @@ | |
| (addC . dup *** | |
| - coerce . coerce . curry (addC . apply) . coerce . coerce . curry (dup . exr)) . | |
| + id . repr . abst . curry (addC . apply) . repr . abst . curry (dup . exr)) . | |
| dup | |
| \ No newline at end of file | |
| diff -ru gold0/twice-adr-syn.golden gold/twice-adr-syn.golden | |
| --- gold0/twice-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/twice-adr-syn.golden 2022-04-07 16:58:22.231485541 +0200 | |
| @@ -1,5 +1,5 @@ | |
| -((exl . id *** coerce . exr . id) . dup) . | |
| -second coerce . | |
| +((exl . id *** repr . exr . id) . dup) . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -8,17 +8,17 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) . | |
| + ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) . | |
| dup) . | |
| -(dup *** coerce . coerce . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| +(dup *** abst . abst . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| diff -ru gold0/twice-gradr-syn.golden gold/twice-gradr-syn.golden | |
| --- gold0/twice-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200 | |
| +++ gold/twice-gradr-syn.golden 2022-04-07 16:58:22.231485541 +0200 | |
| @@ -1,7 +1,7 @@ | |
| ((exl . id *** | |
| - apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| + apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) . | |
| dup) . | |
| -second coerce . | |
| +second (id . repr) . | |
| apply . | |
| ((curry | |
| ((exl . exr *** | |
| @@ -10,17 +10,17 @@ | |
| curry | |
| (apply . | |
| (coerce . | |
| - curry (apply . (exl *** coerce . exr) . dup) . | |
| + curry (apply . (exl *** repr . exr) . dup) . | |
| curry | |
| (curry | |
| (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) . | |
| - coerce . coerce . exr *** | |
| - coerce . exl) . | |
| + repr . repr . exr *** | |
| + repr . exl) . | |
| dup) . | |
| exr . exr *** | |
| exr . exl) . | |
| dup) . | |
| dup) *** | |
| - ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) . | |
| + ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) . | |
| dup) . | |
| -(dup *** coerce . coerce . curry (addC . exr)) . dup | |
| \ No newline at end of file | |
| +(dup *** abst . abst . curry (addC . exr)) . dup | |
| \ No newline at end of file |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment