Pow sec coth Pow acsch Mul x0 -4 acoth x0 tan x0 
Mul Pow sec coth Pow acsch Mul x0 -4 acoth x0 Add tan x0 -1 Add Mul tan x0 Mul Mul tan coth Pow acsch Mul x0 -4 acoth x0 sec coth Pow acsch Mul x0 -4 acoth x0 Mul Mul -1 Pow csch Pow acsch Mul x0 -4 acoth x0 2 Mul Pow acsch Mul x0 -4 Add acoth x0 -1 Add Mul acoth x0 Mul 5 Pow Mul Mul Mul x0 -4 Mul x0 -4 sqrt Add 1 Mul -1 Pow Mul Mul x0 -4 Mul x0 -4 -1 -1 Mul Mul acsch Mul x0 -4 log acsch Mul x0 -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sec coth Pow acsch Mul x0 -4 acoth x0 log sec coth Pow acsch Mul x0 -4 acoth x0 Pow sec x0 2 