Mul Pow x3 Mul Mul x1 sqrt x6 x0 Pow x0 acoth Pow Mul Mul E Mul acot x0 Pow asinh x0 x0 E x0 
Add Mul Pow x0 acoth Pow Mul Mul E Mul acot x0 Pow asinh x0 x0 E x0 Mul Pow x3 Add Mul Mul x1 sqrt x6 x0 -1 Mul Mul x3 log x3 Mul x1 sqrt x6 Mul Pow x3 Mul Mul x1 sqrt x6 x0 Mul Pow x0 Add acoth Pow Mul Mul E Mul acot x0 Pow asinh x0 x0 E x0 -1 Add acoth Pow Mul Mul E Mul acot x0 Pow asinh x0 x0 E x0 Mul Mul x0 log x0 Mul Mul Pow Mul Mul E Mul acot x0 Pow asinh x0 x0 E Add x0 -1 Add Mul x0 Mul E Mul E Add Mul Pow asinh x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow asinh x0 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 log asinh x0 Mul Mul Mul E Mul acot x0 Pow asinh x0 x0 E log Mul Mul E Mul acot x0 Pow asinh x0 x0 E Pow Add 1 Mul -1 Mul Pow Mul Mul E Mul acot x0 Pow asinh x0 x0 E x0 Pow Mul Mul E Mul acot x0 Pow asinh x0 x0 E x0 -1 