Mul Mul Add Pow x0 cosh Add Mul x0 x0 asin log coth x5 x0 x1 Pow Add Pow Mul x0 2 E x0 -2 
Add Mul Pow Add Pow Mul x0 2 E x0 -2 Mul x1 Add Mul Pow x0 Add cosh Add Mul x0 x0 asin log coth x5 -1 Add cosh Add Mul x0 x0 asin log coth x5 Mul Mul x0 log x0 Mul sinh Add Mul x0 x0 asin log coth x5 Add x0 x0 1 Mul Mul Add Pow x0 cosh Add Mul x0 x0 asin log coth x5 x0 x1 Mul Pow Add Pow Mul x0 2 E x0 3 Mul -2 Add Mul Pow Mul x0 2 Add E -1 Mul E 2 1 