asec Pow Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 sinh x0 
Mul Mul Pow Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 Add sinh x0 -1 Add Mul sinh x0 Mul Pow Add 3028.55684754252 x0 Add Add 3 asech Mul sqrt E 2 -1 Add 3 asech Mul sqrt E 2 Mul Mul Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 log Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 cosh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 sinh x0 Pow Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 sinh x0 -1 Pow Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 sinh x0 Pow Add x3 Pow Add 3028.55684754252 x0 Add 3 asech Mul sqrt E 2 sinh x0 -1 