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