Pow 2 acsc Pow Mul acosh E x0 4 
Mul Pow 2 Add acsc Pow Mul acosh E x0 4 -1 Mul 2.69314718055995 Mul -1 Mul Mul Pow Mul acosh E x0 3 Mul 4 acosh E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul acosh E x0 4 Pow Mul acosh E x0 4 -1 Pow Mul acosh E x0 4 Pow Mul acosh E x0 4 -1 