[math-fun] how can FullSimplify be so dumb