Add Pow acosh acoth exp x0 log x1 coth x0 
Add Mul Pow acosh acoth exp x0 Add log x1 -1 Mul log x1 Mul Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Pow Mul sqrt Add acoth exp x0 -1 sqrt Add 1 acoth exp x0 -1 Mul -1 Pow csch x0 2 