Pow asin Mul x0 csc acosh x5 Mul x0 x1 
Mul Pow asin Mul x0 csc acosh x5 Add Mul x0 x1 -1 Add Mul Mul x0 x1 Mul csc acosh x5 Pow sqrt Add 1 Mul -1 Mul Mul x0 csc acosh x5 Mul x0 csc acosh x5 -1 Mul Mul asin Mul x0 csc acosh x5 log asin Mul x0 csc acosh x5 x1 