acsch Mul x0 Mul acot x0 asin pi 
Mul Mul -1 Add Mul acot x0 asin pi Mul x0 Mul asin pi Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Mul x0 Mul acot x0 asin pi Mul x0 Mul acot x0 asin pi sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul acot x0 asin pi Mul x0 Mul acot x0 asin pi -1 -1 