Mul Pow Mul x0 tanh tan x0 Add 4 Add coth csch Mul acosh x0 tanh E x4 x0 
Add Mul x0 Mul Pow Mul x0 tanh tan x0 Add Add 4 Add coth csch Mul acosh x0 tanh E x4 -1 Add Mul Add 4 Add coth csch Mul acosh x0 tanh E x4 Add tanh tan x0 Mul x0 Mul Pow sech tan x0 2 Pow sec x0 2 Mul Mul Mul x0 tanh tan x0 log Mul x0 tanh tan x0 Mul Mul -1 Pow csch csch Mul acosh x0 tanh E 2 Mul Mul Mul -1 coth Mul acosh x0 tanh E csch Mul acosh x0 tanh E Mul tanh E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul x0 tanh tan x0 Add 4 Add coth csch Mul acosh x0 tanh E x4 