Mul Add Add x0 cot sinh Pow x0 acosh x7 x3 x0 
Add Mul x0 Add 1 Mul Mul -1 Pow csc sinh Pow x0 acosh x7 2 Mul cosh Pow x0 acosh x7 Mul Pow x0 Add acosh x7 -1 acosh x7 Add Add x0 cot sinh Pow x0 acosh x7 x3 