Pow Mul x0 asinh x7 Add Pow exp x0 coth x0 Pow x0 Pow 2 acosh pi 
Mul Pow Mul x0 asinh x7 Add Add Pow exp x0 coth x0 Pow x0 Pow 2 acosh pi -1 Add Mul Add Pow exp x0 coth x0 Pow x0 Pow 2 acosh pi asinh x7 Mul Mul Mul x0 asinh x7 log Mul x0 asinh x7 Add Mul Pow exp x0 Add coth x0 -1 Add Mul coth x0 exp x0 Mul Mul exp x0 log exp x0 Mul -1 Pow csch x0 2 Mul Pow x0 Add Pow 2 acosh pi -1 Pow 2 acosh pi 