Add Add Pow Add 1 Mul x0 cosh x4 cot x0 Mul log x2 Add Mul x5 x0 x0 Mul x0 x3 
Add Add Mul Pow Add 1 Mul x0 cosh x4 Add cot x0 -1 Add Mul cot x0 cosh x4 Mul Mul Add 1 Mul x0 cosh x4 log Add 1 Mul x0 cosh x4 Mul -1 Pow csc x0 2 Mul log x2 Add x5 1 x3 