~/jendhub

def program_unused

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

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

169# x = 0, y = 1, z = 2, x * y = 3, z + z = 4. Node 4 is newer than the output
170# 3 and uses z twice; z is not used by 3.
171def program_unused(x: F32, y: F32, z: F32) -> Backward.Tape:
172  recorded(Backward.add(recorded(Backward.mul(
173    tape_of(Backward.leaf(tape_of(Backward.leaf(tape_of(Backward.leaf(Backward.empty(), x)), y)), z)), 0n, 1n)), 2n, 2n))

Uses (8)

Used by (1)