|Reported by:||mathstuf||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
The docs contain the following relation that has to hold true for nest:
nest k (x <> y) = nest k z <> nest k y
I imagine the z on the right is meant to be an x.