Add cosh atanh x0 Mul Mul 3 acot x3 Add Pow x0 -1 Mul coth x1 Pow Pow x4 x0 -3 
Add Mul sinh atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul 3 acot x3 Add Mul Pow x0 2 -1 Mul coth x1 Mul Pow Pow x4 x0 4 Mul -3 Mul Pow x4 Add x0 -1 Mul x4 log x4 