Pow Mul Mul Pow E -1 x0 cosh tanh pi x0 
Mul Pow Mul Mul Pow E -1 x0 cosh tanh pi Add x0 -1 Add Mul x0 Mul cosh tanh pi Pow E -1 Mul Mul Mul Pow E -1 x0 cosh tanh pi log Mul Mul Pow E -1 x0 cosh tanh pi 