Add Pow Pow exp x0 Pow acoth x2 x0 sinh E x0 
Add Mul Pow Pow exp x0 Pow acoth x2 x0 Add sinh E -1 Mul sinh E Mul Pow exp x0 Add Pow acoth x2 x0 -1 Add Mul Pow acoth x2 x0 exp x0 Mul Mul exp x0 log exp x0 Mul Pow acoth x2 Add x0 -1 Mul acoth x2 log acoth x2 1 