sinh Mul Pow Add asin x2 Add asech cot acosh acosh x2 x0 x0 -4 
Mul cosh Mul Pow Add asin x2 Add asech cot acosh acosh x2 x0 x0 -4 Mul -4 Mul Pow Add asin x2 Add asech cot acosh acosh x2 x0 Add x0 -1 Add x0 Mul Add asin x2 Add asech cot acosh acosh x2 x0 log Add asin x2 Add asech cot acosh acosh x2 x0 