Mul 4 acsc acosh cosh x0 
Mul 4 Mul -1 Mul Mul sinh x0 Pow Mul sqrt Add cosh x0 -1 sqrt Add 1 cosh x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh cosh x0 acosh cosh x0 -1 acosh cosh x0 acosh cosh x0 -1 