Mul atan Mul Mul Mul acsc sec x6 x0 sqrt cosh x0 E E 
Mul E Mul Mul E Add Mul sqrt cosh x0 acsc sec x6 Mul Mul acsc sec x6 x0 Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 Pow Add 1 Mul Mul Mul Mul acsc sec x6 x0 sqrt cosh x0 E Mul Mul Mul acsc sec x6 x0 sqrt cosh x0 E -1 