Pow Mul x0 x0 Add 4 Add Pow x0 acosh pi coth x0 
Mul Pow Mul x0 x0 Add Add 4 Add Pow x0 acosh pi coth x0 -1 Add Mul Add 4 Add Pow x0 acosh pi coth x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Add Mul Pow x0 Add acosh pi -1 acosh pi Mul -1 Pow csch x0 2 