我也，蹲

# 参考教程：https://zhuanlan.zhihu.com/p/151050340
# 感觉这个不好搞，而且RootOf()代表的本来就是一个数吧，去掉后值不就变化了吗？如果要把RootOf()计算出来的话我尝试用了evalf()，没有成功，或许可以查阅其他eval?函数来解这个值
restart;
assume(x>0, x<3/10); assume(u>-5/8, u<382/1000);
eq:=u=9/10-exp(-4*x)- 6/10*x*(1-x)/(1-exp(-4*x));
sol:=[solve](eq,x);
# 无效尝试1
whattype(sol[1]);
type(sol[1],`+`);
remove(type,sol,`+`);
# 无效尝试2
whattype(sol[1]);
whattype(op(2,op(1,sol[1])));
remove(type,sol,function);