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