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