Pow x0 Add csc acsch sec Mul x0 acosh E -2 
Mul Pow x0 Add Add csc acsch sec Mul x0 acosh E -2 -1 Add Add csc acsch sec Mul x0 acosh E -2 Mul Mul x0 log x0 Mul Mul Mul -1 cot acsch sec Mul x0 acosh E csc acsch sec Mul x0 acosh E Mul Mul -1 Mul Mul tan Mul x0 acosh E sec Mul x0 acosh E acosh E Pow Mul Mul sec Mul x0 acosh E sec Mul x0 acosh E sqrt Add 1 Mul -1 Pow Mul sec Mul x0 acosh E sec Mul x0 acosh E -1 -1 