Если в расчете заменить значение y1 на любое положительное число не равное 1, то программа просто вылетает. Воспроизведение ошибки проверено на win/lin версиях 0.93, 0.94, 0.94.хх, 0.95. Если убрать принудителную символьную оптимизацию f(x,t) через eval(), то цикл for зацикливается. При выставлении численной оптимизации f(x,t) по выпадающему меню на правую кнопку мыши, так же наблюдается бесконечное зацикливание for.