cos Pow coth Mul x0 Mul Pow atanh x0 2 x4 E 
Mul Mul -1 sin Pow coth Mul x0 Mul Pow atanh x0 2 x4 E Mul Pow coth Mul x0 Mul Pow atanh x0 2 x4 Add E -1 Mul E Mul Mul -1 Pow csch Mul x0 Mul Pow atanh x0 2 x4 2 Add Mul Pow atanh x0 2 x4 Mul x0 Mul x4 Mul atanh x0 Mul 2 Pow Add 1 Mul -1 Mul x0 x0 -1 