Pow Add x0 Mul x0 Mul Mul x0 Pow cot x0 x7 Pow Mul -4 x0 x2 acosh pi 
Mul Pow Add x0 Mul x0 Mul Mul x0 Pow cot x0 x7 Pow Mul -4 x0 x2 Add acosh pi -1 Mul acosh pi Add 1 Add Mul Mul x0 Pow cot x0 x7 Pow Mul -4 x0 x2 Mul x0 Add Mul Pow Mul -4 x0 x2 Add Pow cot x0 x7 Mul x0 Mul Pow cot x0 Add x7 -1 Mul x7 Mul -1 Pow csc x0 2 Mul Mul x0 Pow cot x0 x7 Mul Pow Mul -4 x0 Add x2 -1 Mul x2 -4 