YES
Time: 0.003166
TRS:
 {                 dx X -> one(),
                 dx a() -> zero(),
   dx plus(ALPHA, BETA) -> plus(dx ALPHA, dx BETA),
  dx times(ALPHA, BETA) -> plus(times(BETA, dx ALPHA), times(ALPHA, dx BETA)),
  dx minus(ALPHA, BETA) -> minus(dx ALPHA, dx BETA),
           dx neg ALPHA -> neg dx ALPHA,
    dx div(ALPHA, BETA) -> minus(div(dx ALPHA, BETA), times(ALPHA, div(dx BETA, exp(BETA, two())))),
    dx exp(ALPHA, BETA) -> plus(times(BETA, times(exp(ALPHA, minus(BETA, one())), dx ALPHA)), times(exp(ALPHA, BETA), times(ln ALPHA, dx BETA))),
            dx ln ALPHA -> div(dx ALPHA, ALPHA)}
 DP:
  DP:
   { dx# plus(ALPHA, BETA) -> dx# ALPHA,
     dx# plus(ALPHA, BETA) -> dx# BETA,
    dx# times(ALPHA, BETA) -> dx# ALPHA,
    dx# times(ALPHA, BETA) -> dx# BETA,
    dx# minus(ALPHA, BETA) -> dx# ALPHA,
    dx# minus(ALPHA, BETA) -> dx# BETA,
             dx# neg ALPHA -> dx# ALPHA,
      dx# div(ALPHA, BETA) -> dx# ALPHA,
      dx# div(ALPHA, BETA) -> dx# BETA,
      dx# exp(ALPHA, BETA) -> dx# ALPHA,
      dx# exp(ALPHA, BETA) -> dx# BETA,
              dx# ln ALPHA -> dx# ALPHA}
  TRS:
  {                 dx X -> one(),
                  dx a() -> zero(),
    dx plus(ALPHA, BETA) -> plus(dx ALPHA, dx BETA),
   dx times(ALPHA, BETA) -> plus(times(BETA, dx ALPHA), times(ALPHA, dx BETA)),
   dx minus(ALPHA, BETA) -> minus(dx ALPHA, dx BETA),
            dx neg ALPHA -> neg dx ALPHA,
     dx div(ALPHA, BETA) -> minus(div(dx ALPHA, BETA), times(ALPHA, div(dx BETA, exp(BETA, two())))),
     dx exp(ALPHA, BETA) -> plus(times(BETA, times(exp(ALPHA, minus(BETA, one())), dx ALPHA)), times(exp(ALPHA, BETA), times(ln ALPHA, dx BETA))),
             dx ln ALPHA -> div(dx ALPHA, ALPHA)}
  UR:
   {}
   EDG:
    {(dx# times(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# ln ALPHA -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
     (dx# ln ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# ln ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# ln ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# ln ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# ln ALPHA -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
     (dx# ln ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# ln ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# ln ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# ln ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# ln ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# ln ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
     (dx# neg ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# neg ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# neg ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# neg ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# neg ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# neg ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# neg ALPHA -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
     (dx# neg ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# neg ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# neg ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# neg ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# neg ALPHA -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# exp(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# minus(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
     (dx# plus(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)}
    EDG:
     {(dx# times(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# div(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# ln ALPHA -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
      (dx# ln ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# ln ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# ln ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# ln ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# ln ALPHA -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
      (dx# ln ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# ln ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# ln ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# ln ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# ln ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# ln ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
      (dx# neg ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# neg ALPHA -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# neg ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# neg ALPHA -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# neg ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# neg ALPHA -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# neg ALPHA -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
      (dx# neg ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# neg ALPHA -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# neg ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# neg ALPHA -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# neg ALPHA -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# neg ALPHA -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# times(ALPHA, BETA) -> dx# ALPHA, dx# ln ALPHA -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# exp(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# minus(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# plus(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# times(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# minus(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# neg ALPHA -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# div(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# ALPHA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# exp(ALPHA, BETA) -> dx# BETA)
      (dx# plus(ALPHA, BETA) -> dx# BETA, dx# ln ALPHA -> dx# ALPHA)}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):