Mul x0 atanh Add Add Mul -2 x0 Pow 3 Pow Mul cosh E x0 x0 coth asin Add x0 Mul atanh x3 x0 
Add atanh Add Add Mul -2 x0 Pow 3 Pow Mul cosh E x0 x0 coth asin Add x0 Mul atanh x3 x0 Mul x0 Mul Add Add -2 Mul Pow 3 Add Pow Mul cosh E x0 x0 -1 Mul 4.09861228866811 Mul Pow Mul cosh E x0 Add x0 -1 Add Mul x0 cosh E Mul Mul cosh E x0 log Mul cosh E x0 Mul Mul -1 Pow csch asin Add x0 Mul atanh x3 x0 2 Mul Add 1 atanh x3 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul atanh x3 x0 Add x0 Mul atanh x3 x0 -1 Pow Add 1 Mul -1 Mul Add Add Mul -2 x0 Pow 3 Pow Mul cosh E x0 x0 coth asin Add x0 Mul atanh x3 x0 Add Add Mul -2 x0 Pow 3 Pow Mul cosh E x0 x0 coth asin Add x0 Mul atanh x3 x0 -1 