Pow tan coth x0 Mul Pow x0 Mul x7 asinh x0 pi 
Mul Pow tan coth x0 Add Mul Pow x0 Mul x7 asinh x0 pi -1 Add Mul Mul Pow x0 Mul x7 asinh x0 pi Mul Pow sec coth x0 2 Mul -1 Pow csch x0 2 Mul Mul tan coth x0 log tan coth x0 Mul pi Mul Pow x0 Add Mul x7 asinh x0 -1 Add Mul x7 asinh x0 Mul Mul x0 log x0 Mul x7 Pow sqrt Add 1 Mul x0 x0 -1 