acoth Add 3 Add Mul acosh Mul x0 x6 Add Pow Mul Pow x0 x0 E sqrt Mul x2 x0 4 E 
Mul Add Mul Add Pow Mul Pow x0 x0 E sqrt Mul x2 x0 4 Mul x6 Pow Mul sqrt Add Mul x0 x6 -1 sqrt Add 1 Mul x0 x6 -1 Mul acosh Mul x0 x6 Mul Pow Mul Pow x0 x0 E Add sqrt Mul x2 x0 -1 Add Mul sqrt Mul x2 x0 Mul E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Mul Pow x0 x0 E log Mul Pow x0 x0 E Mul Pow Mul 2 sqrt Mul x2 x0 -1 x2 Pow Add 1 Mul -1 Mul Add 3 Add Mul acosh Mul x0 x6 Add Pow Mul Pow x0 x0 E sqrt Mul x2 x0 4 E Add 3 Add Mul acosh Mul x0 x6 Add Pow Mul Pow x0 x0 E sqrt Mul x2 x0 4 E -1 