flatten-module
consider 'fac
ww-split [| wrap |] [| unwrap |]
{rhs-of 'work
  eta-expand 'x
  one-td (unfold 'unwrap)
  one-td (unfold 'f)
  one-td (unfold 'wrap)
  simplify
  {
    consider alt ; alt-rhs ; case-float-arg
    consider alt ; alt-rhs ; case-float-arg
  }
  one-td (unfold '-)
  one-td (unfold '*)
  simplify
  innermost case-float-case
}
simplify
innermost (case-float <+ case-reduce)
simplify
{ [def-rhs, let-body] ; eta-expand 'n ; any-call (unfold 'wrap) }