asech exp coth Mul x0 -2 
Mul Mul exp coth Mul x0 -2 Mul Mul -1 Pow csch Mul x0 -2 2 -2 Pow Mul Mul exp coth Mul x0 -2 exp coth Mul x0 -2 sqrt Add 1 Mul -1 Pow Mul exp coth Mul x0 -2 exp coth Mul x0 -2 -1 -1 