Mul acosh acsc Add log x0 asinh E x3 
Mul x3 Mul Mul -1 Mul Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add log x0 asinh E Add log x0 asinh E -1 Add log x0 asinh E Add log x0 asinh E -1 Pow Mul sqrt Add acsc Add log x0 asinh E -1 sqrt Add 1 acsc Add log x0 asinh E -1 