Mul acosh coth Mul -5 Mul Pow 2 x6 x0 x2 
Mul x2 Mul Mul Mul -1 Pow csch Mul -5 Mul Pow 2 x6 x0 2 Mul -5 Pow 2 x6 Pow Mul sqrt Add coth Mul -5 Mul Pow 2 x6 x0 -1 sqrt Add 1 coth Mul -5 Mul Pow 2 x6 x0 -1 