Add Pow Mul x6 -5 acoth sinh acoth x0 x0 
Add Mul Pow Mul x6 -5 Add acoth sinh acoth x0 -1 Mul Mul Mul x6 -5 log Mul x6 -5 Mul Mul cosh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sinh acoth x0 sinh acoth x0 -1 1 