Add cot coth x0 exp Mul Pow acoth E x0 cbrt Mul Pow 5 x3 -4 
Add Mul Mul -1 Pow csc coth x0 2 Mul -1 Pow csch x0 2 Mul exp Mul Pow acoth E x0 cbrt Mul Pow 5 x3 -4 Mul cbrt Mul Pow 5 x3 -4 Mul Pow acoth E Add x0 -1 Mul acoth E log acoth E 