Pow log Mul acoth x0 -2 sinh x0 
Mul Pow log Mul acoth x0 -2 Add sinh x0 -1 Add Mul sinh x0 Mul Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul acoth x0 -2 -1 Mul Mul log Mul acoth x0 -2 log log Mul acoth x0 -2 cosh x0 