CompositeNDP                                                                                       
│    provides   z   SB(≥0) │ requires   x   SB(≥0)                                                 
│                          │ requires   y   SB(≥0)                                                 
│  7 nodes, 8 edges                                                                                
│   connected rec: ✓                                                                               
│  _res required by _RuleResSQRT_NWU ≤ _res provided by _sum              equiv id                 
│  provided z                        ≤ z provided by _sum                 equiv id                 
│  _x required by _invplus           ≤ _op provided by _RuleResSQRT_NWU   equiv id                 
│  _x required by _invplus           ≤ required x                         equiv id                 
│  _y required by _invplus           ≤ _op provided by _mult              equiv id                 
│  _y required by _invplus           ≤ required y                         equiv id                 
│  _res2 required by _mult           ≤ _res2 provided by _sum             equiv id                 
│  _result required by _sum          ≤ _result2 provided by _invplus      equiv id                 
├ _RuleResSQRT_NWU: SimpleWrap                                                                     
│                   │  provides   _op   SB(≥0) │ requires   _res   SB(≥0)                          
│                   └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                   
│                      𝒇^½ ≤ 𝒓                                                                     
│                     └ M_C_WrapUnits   dimensionless → dimensionless                              
│                       M_A_PowerFrac_Upper   SB(≥0)  →   same x ⟼ x^½                             
├         _invplus: SimpleWrap                                                                     
│                   │  provides   _result2   SB(≥0) │ requires   _x   SB(≥0)                       
│                   │                               │ requires   _y   SB(≥0)                       
│                   └ M_Fun_AddMany_DP SB(≥0)  ⇸  WU ⟨dimensionless,dimensionless⟩                 
│                                                 (_x:SB(≥0)×_y:SB(≥0))                            
│                      𝒇 ≤ 𝒓₁ + 𝒓₂                                                                 
│                     ├   opspace: SB(≥0)                                                          
│                     ├        Rs: ├ SB(≥0)                                                        
│                     │            └ SB(≥0)                                                        
│                     ├ Rs_labels: ├ _x                                                            
│                     │            └ _y                                                            
│                     └      algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
├            _mult: SimpleWrap                                                                     
│                   │  provides   _op   SB(≥0) │ requires   _res2   SB(≥0)                         
│                   └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                   
│                      𝒇 ⋅ 0.5 ≤ 𝒓                                                                 
│                     └ M_C_WrapUnits   dimensionless → dimensionless                              
│                       M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 0.5                             
└             _sum: SimpleWrap                                                                     
                    │  provides   _res    SB(≥0) │ requires   _result   SB(≥0)                     
                    │  provides   _res2   SB(≥0) │                                                 
                    │  provides   z       SB(≥0) │                                                 
                    └ M_Res_AddMany_DP WU ⟨dimensionless,dimensionless,dimensionless⟩  ⇸  SB(≥0)   
                                       └ Π<3>                                                      
                                         ├ SB(≥0)                                                  
                                         ├ SB(≥0)                                                  
                                         └ SB(≥0)                                                  
                       𝒇₁ + 𝒇₂ + 𝒇₃ ≤ 𝒓                                                            
                      ├      Fs: ├ SB(≥0)                                                          
                      │          ├ SB(≥0)                                                          
                      │          └ SB(≥0)                                                          
                      ├ opspace: SB(≥0)                                                            
                      └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT