Pow acsc Mul x6 cosh E Mul -5 Add acosh x0 Mul 5 Add E E 
Mul Pow acsc Mul x6 cosh E Add Mul -5 Add acosh x0 Mul 5 Add E E -1 Mul Mul acsc Mul x6 cosh E log acsc Mul x6 cosh E Mul -5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 