Assertion list
sin (primary) → Desires
Results from Ascent++: 1
sin → Desires → remain unknown 0.21