Pow Pow coth acot x0 Add x0 acsch x7 Mul x7 E 
Mul Pow Pow coth acot x0 Add x0 acsch x7 Add Mul x7 E -1 Mul Mul x7 E Mul Pow coth acot x0 Add Add x0 acsch x7 -1 Add Mul Add x0 acsch x7 Mul Mul -1 Pow csch acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul coth acot x0 log coth acot x0 