fsqrt rewrite