coth Pow Pow Mul acoth x2 sinh x0 3 x3 
Mul Mul -1 Pow csch Pow Pow Mul acoth x2 sinh x0 3 x3 2 Mul Pow Pow Mul acoth x2 sinh x0 3 Add x3 -1 Mul x3 Mul Pow Mul acoth x2 sinh x0 2 Mul 3 Mul acoth x2 cosh x0 