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