sinh Mul x0 Pow cosh acoth Mul x4 x0 4 
Mul cosh Mul x0 Pow cosh acoth Mul x4 x0 4 Add Pow cosh acoth Mul x4 x0 4 Mul x0 Mul Pow cosh acoth Mul x4 x0 3 Mul 4 Mul sinh acoth Mul x4 x0 Mul x4 Pow Add 1 Mul -1 Mul Mul x4 x0 Mul x4 x0 -1 