Mul Mul Add Add exp x1 cosh x0 Pow Add x0 x1 -2 asech Add sinh x0 1 x0 
Add Mul x0 Add Mul asech Add sinh x0 1 Add sinh x0 Mul Pow Add x0 x1 3 -2 Mul Add Add exp x1 cosh x0 Pow Add x0 x1 -2 Mul cosh x0 Pow Mul Mul Add sinh x0 1 Add sinh x0 1 sqrt Add 1 Mul -1 Pow Mul Add sinh x0 1 Add sinh x0 1 -1 -1 Mul Add Add exp x1 cosh x0 Pow Add x0 x1 -2 asech Add sinh x0 1 