csc Mul acosh x0 Pow Pow x0 x5 Mul x0 x6 
Mul Mul Mul -1 cot Mul acosh x0 Pow Pow x0 x5 Mul x0 x6 csc Mul acosh x0 Pow Pow x0 x5 Mul x0 x6 Add Mul Pow Pow x0 x5 Mul x0 x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow Pow x0 x5 Add Mul x0 x6 -1 Add Mul Mul x0 x6 Mul Pow x0 Add x5 -1 x5 Mul Mul Pow x0 x5 log Pow x0 x5 x6 