Pow acsch Mul x0 acos E acsc asin pi 
Mul Pow acsch Mul x0 acos E Add acsc asin pi -1 Mul acsc asin pi Mul Mul -1 acos E Pow Mul Mul Mul x0 acos E Mul x0 acos E sqrt Add 1 Mul -1 Pow Mul Mul x0 acos E Mul x0 acos E -1 -1 