evalDf :: Frac MPBall -> ChPoly MPBall -> ChPoly MPBall -> MPBall -> MPBall
evalDf f dp dq x =
  evalLip f (abs $ Cheb.evalDirect dp x) (abs $ Cheb.evalDirect dq x) x
evalDf :: Frac MPBall -> ChPoly MPBall -> ChPoly MPBall -> MPBall -> MPBall
evalDf f dp dq x =
  evalLip f (abs $ Cheb.evalDirect dp x) (abs $ Cheb.evalDirect dq x) x
evalDf f dp dq x =
  evalLip f (abs $ Cheb.evalDirect dp x) (abs $ Cheb.evalDirect dq x) x