Mul x0 Mul x0 coth atanh asin Mul pi x0 
Add Mul x0 coth atanh asin Mul pi x0 Mul x0 Add coth atanh asin Mul pi x0 Mul x0 Mul Mul -1 Pow csch atanh asin Mul pi x0 2 Mul Mul pi Pow sqrt Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Pow Add 1 Mul -1 Mul asin Mul pi x0 asin Mul pi x0 -1 