Add Add -3 atan E Pow Add E Pow x0 csc exp Add x0 x0 cosh x7 
Mul Pow Add E Pow x0 csc exp Add x0 x0 Add cosh x7 -1 Mul cosh x7 Mul Pow x0 Add csc exp Add x0 x0 -1 Add csc exp Add x0 x0 Mul Mul x0 log x0 Mul Mul Mul -1 cot exp Add x0 x0 csc exp Add x0 x0 Mul exp Add x0 x0 2 