law backward_twice_mul

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:442

import Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward

442law backward_twice_mul:
443  for +x: F32
444  for +y: F32
445  {slots_after(again(Backward.backward(program_binary(Backward.Times{}, x, y), 2n), 2n)) ==
446    Done{[Some{F32.add(1.0, 1.0)}, Some{F32.add(F32.mul(1.0, x), F32.mul(1.0, x))}, Some{F32.add(F32.mul(1.0, y), F32.mul(1.0, y))}]} :
447    Result<&2, &2, Backward.Error, List<&2, Maybe<&2, F32>>>}