Pow Pow coth Mul x0 E Mul x0 4 asech x7 
Mul Pow Pow coth Mul x0 E Mul x0 4 Add asech x7 -1 Mul asech x7 Mul Pow coth Mul x0 E Add Mul x0 4 -1 Add Mul Mul x0 4 Mul Mul -1 Pow csch Mul x0 E 2 E Mul Mul coth Mul x0 E log coth Mul x0 E 4 