flatten-module
consider 'fac
load "../WWSplitTactic.hss"
{rhs-of 'work
  eta-expand 'x
  one-td (unfold 'unwrap)
  one-td (unfold 'f)
  one-td (unfold 'wrap)
  simplify
  {
    consider alt ; 0 ; case-float-arg
    consider alt ; 0 ; case-float-arg
  }
  one-td (unfold '-)
  one-td (unfold '*)
  simplify
  innermost case-float-case
}
simplify
{ consider let ; 1 ; eta-expand 'n ; any-call (unfold 'wrap) }