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