Mul Pow Add pi 4 Add coth x0 sinh asin x0 x0 
Add Mul x0 Mul Pow Add pi 4 Add Add coth x0 sinh asin x0 -1 Mul Mul Add pi 4 log Add pi 4 Add Mul -1 Pow csch x0 2 Mul cosh asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add pi 4 Add coth x0 sinh asin x0 