acsc Pow acosh Mul x6 x0 Add Mul x5 Pow sqrt Mul x6 x0 x6 x5 
Mul -1 Mul Mul Pow acosh Mul x6 x0 Add Add Mul x5 Pow sqrt Mul x6 x0 x6 x5 -1 Add Mul Add Mul x5 Pow sqrt Mul x6 x0 x6 x5 Mul x6 Pow Mul sqrt Add Mul x6 x0 -1 sqrt Add 1 Mul x6 x0 -1 Mul Mul acosh Mul x6 x0 log acosh Mul x6 x0 Mul x5 Mul Pow sqrt Mul x6 x0 Add x6 -1 Mul x6 Mul Pow Mul 2 sqrt Mul x6 x0 -1 x6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acosh Mul x6 x0 Add Mul x5 Pow sqrt Mul x6 x0 x6 x5 Pow acosh Mul x6 x0 Add Mul x5 Pow sqrt Mul x6 x0 x6 x5 -1 Pow acosh Mul x6 x0 Add Mul x5 Pow sqrt Mul x6 x0 x6 x5 Pow acosh Mul x6 x0 Add Mul x5 Pow sqrt Mul x6 x0 x6 x5 -1 