python能否实现数学中的换元法呢？没想明白

如题，今天算数值分析题，最后的结果需要把换元的t再还原成x并输出，想了半天不知道能不能实现

把公式转化成字符串
然后用re.sub可以将符合条件的t换成含有x的式子