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