Mul x0 Pow Mul Pow Add Pow Mul Add acosh x4 x0 2 cot x1 x0 x7 -1 x1 
Add Pow Mul Pow Add Pow Mul Add acosh x4 x0 2 cot x1 x0 x7 -1 x1 Mul x0 Mul Pow Mul Pow Add Pow Mul Add acosh x4 x0 2 cot x1 x0 x7 -1 Add x1 -1 Mul x1 Mul -1 Mul Pow Add Pow Mul Add acosh x4 x0 2 cot x1 x0 Add x7 -1 Mul x7 Add Mul Pow Mul Add acosh x4 x0 2 Add cot x1 -1 Mul cot x1 2 1 