Pow Mul x0 Add cosh Mul x1 x7 x0 cot x0 
Mul Pow Mul x0 Add cosh Mul x1 x7 x0 Add cot x0 -1 Add Mul cot x0 Add Add cosh Mul x1 x7 x0 x0 Mul Mul Mul x0 Add cosh Mul x1 x7 x0 log Mul x0 Add cosh Mul x1 x7 x0 Mul -1 Pow csc x0 2 