Mul acosh sinh Add x7 Add Mul Mul x4 E x0 asech Add x1 x0 sech x2 
Mul sech x2 Mul Mul cosh Add x7 Add Mul Mul x4 E x0 asech Add x1 x0 Add Mul x4 E Pow Mul Mul Add x1 x0 Add x1 x0 sqrt Add 1 Mul -1 Pow Mul Add x1 x0 Add x1 x0 -1 -1 Pow Mul sqrt Add sinh Add x7 Add Mul Mul x4 E x0 asech Add x1 x0 -1 sqrt Add 1 sinh Add x7 Add Mul Mul x4 E x0 asech Add x1 x0 -1 