Mul Add Pow Mul E x0 Pow Pow x1 E Mul x0 asin x5 Add Mul x0 Mul x0 acoth Pow x0 cosh log x3 -2 x5 
Mul x5 Add Mul Pow Mul E x0 Add Pow Pow x1 E Mul x0 asin x5 -1 Add Mul Pow Pow x1 E Mul x0 asin x5 E Mul Mul Mul E x0 log Mul E x0 Mul Pow Pow x1 E Add Mul x0 asin x5 -1 Mul Mul Pow x1 E log Pow x1 E asin x5 Add Mul x0 acoth Pow x0 cosh log x3 Mul x0 Add acoth Pow x0 cosh log x3 Mul x0 Mul Mul Pow x0 Add cosh log x3 -1 cosh log x3 Pow Add 1 Mul -1 Mul Pow x0 cosh log x3 Pow x0 cosh log x3 -1 