Mul 0.868670961486010 exp Mul Mul E coth Mul 4 Mul -0.481211825059603 tan x5 x0 
Mul 0.868670961486010 Mul exp Mul Mul E coth Mul 4 Mul -0.481211825059603 tan x5 x0 Mul E coth Mul 4 Mul -0.481211825059603 tan x5 