Add Pow x0 Mul x3 5 sinh acoth Mul sinh acoth x5 x0 
Add Mul Pow x0 Add Mul x3 5 -1 Mul x3 5 Mul cosh acoth Mul sinh acoth x5 x0 Mul sinh acoth x5 Pow Add 1 Mul -1 Mul Mul sinh acoth x5 x0 Mul sinh acoth x5 x0 -1 