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