solve (tan(x)%5E3 %3D%3D tan(3%2F2 radians))