Mul Pow cot x5 cosh x0 Add x1 Pow x0 Add Mul x4 Add x0 2 Add x0 3 
Add Mul Add x1 Pow x0 Add Mul x4 Add x0 2 Add x0 3 Mul Pow cot x5 Add cosh x0 -1 Mul Mul cot x5 log cot x5 sinh x0 Mul Pow cot x5 cosh x0 Mul Pow x0 Add Add Mul x4 Add x0 2 Add x0 3 -1 Add Add Mul x4 Add x0 2 Add x0 3 Mul Mul x0 log x0 Add x4 1 