Pow cot x6 Pow Mul x0 Pow x0 x0 Add Add 5 x0 Pow x0 acosh x4 
Mul Pow cot x6 Add Pow Mul x0 Pow x0 x0 Add Add 5 x0 Pow x0 acosh x4 -1 Mul Mul cot x6 log cot x6 Mul Pow Mul x0 Pow x0 x0 Add Add Add 5 x0 Pow x0 acosh x4 -1 Add Mul Add Add 5 x0 Pow x0 acosh x4 Add Pow x0 x0 Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Mul x0 Pow x0 x0 log Mul x0 Pow x0 x0 Add 1 Mul Pow x0 Add acosh x4 -1 acosh x4 