cot Pow Add Add x7 Pow Mul Pow x0 acosh x4 x0 -4 pi Pow x0 4 
Mul Mul -1 Pow csc Pow Add Add x7 Pow Mul Pow x0 acosh x4 x0 -4 pi Pow x0 4 2 Mul Pow Add Add x7 Pow Mul Pow x0 acosh x4 x0 -4 pi Add Pow x0 4 -1 Add Mul Pow x0 4 Mul Pow Mul Pow x0 acosh x4 x0 5 Mul -4 Add Mul x0 Mul Pow x0 Add acosh x4 -1 acosh x4 Pow x0 acosh x4 Mul Mul Add Add x7 Pow Mul Pow x0 acosh x4 x0 -4 pi log Add Add x7 Pow Mul Pow x0 acosh x4 x0 -4 pi Mul Pow x0 3 4 