Add Pow Add acsch x1 csch x0 Mul x0 acos x5 x0 
Add Mul Pow Add acsch x1 csch x0 Add Mul x0 acos x5 -1 Add Mul Mul x0 acos x5 Mul Mul -1 coth x0 csch x0 Mul Mul Add acsch x1 csch x0 log Add acsch x1 csch x0 acos x5 1 