coth coth Pow x0 Pow x0 Pow E x4 
Mul Mul -1 Pow csch coth Pow x0 Pow x0 Pow E x4 2 Mul Mul -1 Pow csch Pow x0 Pow x0 Pow E x4 2 Mul Pow x0 Add Pow x0 Pow E x4 -1 Add Pow x0 Pow E x4 Mul Mul x0 log x0 Mul Pow x0 Add Pow E x4 -1 Pow E x4 