CompositeNDP                                                                                               
│    provides   f   SB(≥0) │ requires   r   SB(≥0)                                                         
│  3 nodes, 3 edges                                                                                        
│   connected rec: ✓                                                                                       
│  provided f       ≤ f provided by a    equiv id                                                          
│  r required by a  ≤ required r         equiv id                                                          
│  r2 required by a ≤ f2 provided by a   equiv id                                                          
└ CompositeNDP                                                                                             
  │    provides   f    SB(≥0) │ requires   r    SB(≥0)                                                     
  │    provides   f2   SB(≥0) │ requires   r2   SB(≥0)                                                     
  │  7 nodes, 6 edges                                                                                      
  │   connected rec: ✓                                                                                     
  │  provided f                ≤ f provided by _sum         equiv id                                       
  │  provided f2               ≤ _op provided by _pow       equiv id                                       
  │  provided f2               ≤ required r                 equiv id                                       
  │  _res required by _mult    ≤ required r2                equiv id                                       
  │  _result required by _pow  ≤ _result provided by _sum   equiv id                                       
  │  _result2 required by _sum ≤ _op provided by _mult      equiv id                                       
  ├ _mult: SimpleWrap                                                                                      
  │        │  provides   _op   SB(≥0) │ requires   _res   SB(≥0)                                           
  │        └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                                    
  │           𝒇 ⋅ 0.1 ≤ 𝒓                                                                                  
  │          M_C_WrapUnits   dimensionless → dimensionless > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 0.1
  ├  _pow: SimpleWrap                                                                                      
  │        │  provides   _op   SB(≥0) │ requires   _result   SB(≥0)                                        
  │        └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                                    
  │           𝒇² ≤ 𝒓                                                                                       
  │          M_C_WrapUnits   dimensionless → dimensionless > M_A_PowerFrac_Upper   SB(≥0)  →   same x ⟼ x² 
  └  _sum: SimpleWrap                                                                                      
           │  provides   _result   SB(≥0) │ requires   _result2   SB(≥0)                                   
           │  provides   f         SB(≥0) │                                                                
           └ M_Res_AddMany_DP WU ⟨dimensionless,dimensionless⟩  ⇸  SB(≥0)                                  
                              (SB(≥0)×SB(≥0))                                                              
              𝒇₁ + 𝒇₂ ≤ 𝒓                                                                                  
             ├      Fs: ├ SB(≥0)                                                                           
             │          └ SB(≥0)                                                                           
             ├ opspace: SB(≥0)                                                                             
             └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT