Add Mul x0 Pow Pow 3 Mul acos acoth asinh x0 E asinh x0 x2 
Add Pow Pow 3 Mul acos acoth asinh x0 E asinh x0 Mul x0 Mul Pow Pow 3 Mul acos acoth asinh x0 E Add asinh x0 -1 Add Mul asinh x0 Mul Pow 3 Add Mul acos acoth asinh x0 E -1 Mul 4.09861228866811 Mul E Mul -1 Mul Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asinh x0 asinh x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth asinh x0 acoth asinh x0 -1 Mul Mul Pow 3 Mul acos acoth asinh x0 E log Pow 3 Mul acos acoth asinh x0 E Pow sqrt Add 1 Mul x0 x0 -1 