acot Mul exp Add Mul Pow csc cosh x0 x0 3 5 Add x0 x1 
Mul -1 Mul Add Mul Add x0 x1 Mul exp Add Mul Pow csc cosh x0 x0 3 5 Mul 3 Mul Pow csc cosh x0 Add x0 -1 Add Mul x0 Mul Mul Mul -1 cot cosh x0 csc cosh x0 sinh x0 Mul csc cosh x0 log csc cosh x0 exp Add Mul Pow csc cosh x0 x0 3 5 Pow Add 1 Mul Mul exp Add Mul Pow csc cosh x0 x0 3 5 Add x0 x1 Mul exp Add Mul Pow csc cosh x0 x0 3 5 Add x0 x1 -1 