Add Mul Pow x0 asinh Mul x0 Pow x3 3 Pow acoth E x0 x0 
Add Add Mul Pow acoth E x0 Mul Pow x0 Add asinh Mul x0 Pow x3 3 -1 Add asinh Mul x0 Pow x3 3 Mul Mul x0 log x0 Mul Pow x3 3 Pow sqrt Add 1 Mul Mul x0 Pow x3 3 Mul x0 Pow x3 3 -1 Mul Pow x0 asinh Mul x0 Pow x3 3 Mul Pow acoth E Add x0 -1 Mul acoth E log acoth E 1 