Add Pow x2 -1 Add Mul Add exp asech Add x5 Mul x0 Pow Add x3 x0 Add x1 sinh x0 -4 x0 sinh x0 
Add Add Mul x0 Mul exp asech Add x5 Mul x0 Pow Add x3 x0 Add x1 sinh x0 Mul Add Pow Add x3 x0 Add x1 sinh x0 Mul x0 Mul Pow Add x3 x0 Add Add x1 sinh x0 -1 Add Add x1 sinh x0 Mul Mul Add x3 x0 log Add x3 x0 cosh x0 Pow Mul Mul Add x5 Mul x0 Pow Add x3 x0 Add x1 sinh x0 Add x5 Mul x0 Pow Add x3 x0 Add x1 sinh x0 sqrt Add 1 Mul -1 Pow Mul Add x5 Mul x0 Pow Add x3 x0 Add x1 sinh x0 Add x5 Mul x0 Pow Add x3 x0 Add x1 sinh x0 -1 -1 Add exp asech Add x5 Mul x0 Pow Add x3 x0 Add x1 sinh x0 -4 cosh x0 