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