Pow x0 Add exp Mul Add x0 Pow sinh sqrt Pow x7 Add E x0 x7 asech x1 2 
Mul Pow x0 Add Add exp Mul Add x0 Pow sinh sqrt Pow x7 Add E x0 x7 asech x1 2 -1 Add Add exp Mul Add x0 Pow sinh sqrt Pow x7 Add E x0 x7 asech x1 2 Mul Mul x0 log x0 Mul exp Mul Add x0 Pow sinh sqrt Pow x7 Add E x0 x7 asech x1 Mul asech x1 Add 1 Mul Pow sinh sqrt Pow x7 Add E x0 Add x7 -1 Mul x7 Mul cosh sqrt Pow x7 Add E x0 Mul Pow Mul 2 sqrt Pow x7 Add E x0 -1 Mul Pow x7 Add Add E x0 -1 Mul x7 log x7 