Mul asech Mul x0 Pow x0 acsch x1 Pow asin Pow x6 Mul x0 sqrt x4 x1 
Add Mul Pow asin Pow x6 Mul x0 sqrt x4 x1 Mul Add Pow x0 acsch x1 Mul x0 Mul Pow x0 Add acsch x1 -1 acsch x1 Pow Mul Mul Mul x0 Pow x0 acsch x1 Mul x0 Pow x0 acsch x1 sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow x0 acsch x1 Mul x0 Pow x0 acsch x1 -1 -1 Mul asech Mul x0 Pow x0 acsch x1 Mul Pow asin Pow x6 Mul x0 sqrt x4 Add x1 -1 Mul x1 Mul Mul Pow x6 Add Mul x0 sqrt x4 -1 Mul Mul x6 log x6 sqrt x4 Pow sqrt Add 1 Mul -1 Mul Pow x6 Mul x0 sqrt x4 Pow x6 Mul x0 sqrt x4 -1 