Pow Mul x0 acsc Mul cot acosh x2 sec exp E cosh x0 
Mul Pow Mul x0 acsc Mul cot acosh x2 sec exp E Add cosh x0 -1 Add Mul cosh x0 acsc Mul cot acosh x2 sec exp E Mul Mul Mul x0 acsc Mul cot acosh x2 sec exp E log Mul x0 acsc Mul cot acosh x2 sec exp E sinh x0 