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