Add 1.85081571768093 Add x0 sqrt Pow Add Mul x0 Pow 3 x0 asech sinh Add -2 x0 x5 
Add 1 Mul Pow Mul 2 sqrt Pow Add Mul x0 Pow 3 x0 asech sinh Add -2 x0 x5 -1 Mul Pow Add Mul x0 Pow 3 x0 asech sinh Add -2 x0 Add x5 -1 Mul x5 Add Add Pow 3 x0 Mul x0 Mul Pow 3 Add x0 -1 4.09861228866811 Mul cosh Add -2 x0 Pow Mul Mul sinh Add -2 x0 sinh Add -2 x0 sqrt Add 1 Mul -1 Pow Mul sinh Add -2 x0 sinh Add -2 x0 -1 -1 