Mul Add 2 x0 asin Mul Pow x5 2 exp Mul x0 acsch x6 
Add asin Mul Pow x5 2 exp Mul x0 acsch x6 Mul Add 2 x0 Mul Mul Pow x5 2 Mul exp Mul x0 acsch x6 acsch x6 Pow sqrt Add 1 Mul -1 Mul Mul Pow x5 2 exp Mul x0 acsch x6 Mul Pow x5 2 exp Mul x0 acsch x6 -1 