Mul x0 Add Mul acosh sinh x0 csch x0 x0 
Add Add Mul acosh sinh x0 csch x0 x0 Mul x0 Add Add Mul csch x0 Mul cosh x0 Pow Mul sqrt Add sinh x0 -1 sqrt Add 1 sinh x0 -1 Mul acosh sinh x0 Mul Mul -1 coth x0 csch x0 1 