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