csc Mul log atanh Mul pi Add tanh acosh x4 tanh csc exp x6 Mul E Add -3 x0 
Mul Mul Mul -1 cot Mul log atanh Mul pi Add tanh acosh x4 tanh csc exp x6 Mul E Add -3 x0 csc Mul log atanh Mul pi Add tanh acosh x4 tanh csc exp x6 Mul E Add -3 x0 Mul log atanh Mul pi Add tanh acosh x4 tanh csc exp x6 E 