Computer Initial Value Theorem Example