Mul x0 asinh Pow Mul acot cosh Mul E x6 x4 x0 
Add asinh Pow Mul acot cosh Mul E x6 x4 x0 Mul x0 Mul Mul Pow Mul acot cosh Mul E x6 x4 Add x0 -1 Mul Mul acot cosh Mul E x6 x4 log Mul acot cosh Mul E x6 x4 Pow sqrt Add 1 Mul Pow Mul acot cosh Mul E x6 x4 x0 Pow Mul acot cosh Mul E x6 x4 x0 -1 