Mul Mul x0 x0 acosh Pow exp coth Mul x0 x2 -2 
Add Mul acosh Pow exp coth Mul x0 x2 -2 Add x0 x0 Mul Mul x0 x0 Mul Mul Pow exp coth Mul x0 x2 3 Mul -2 Mul exp coth Mul x0 x2 Mul Mul -1 Pow csch Mul x0 x2 2 x2 Pow Mul sqrt Add Pow exp coth Mul x0 x2 -2 -1 sqrt Add 1 Pow exp coth Mul x0 x2 -2 -1 