Add x0 csch sinh Pow Mul x0 csch x0 acot x4 
Add 1 Mul Mul Mul -1 coth sinh Pow Mul x0 csch x0 acot x4 csch sinh Pow Mul x0 csch x0 acot x4 Mul cosh Pow Mul x0 csch x0 acot x4 Mul Pow Mul x0 csch x0 Add acot x4 -1 Mul acot x4 Add csch x0 Mul x0 Mul Mul -1 coth x0 csch x0 