solve(t/2*(log(t/(2*PI))-1)-PI/8=(x-1)*PI,t)