sech Mul acosh exp Add x3 Add E x0 597.658496825050 
Mul Mul tanh Mul acosh exp Add x3 Add E x0 597.658496825050 Mul -1 sech Mul acosh exp Add x3 Add E x0 597.658496825050 Mul 597.658496825050 Mul exp Add x3 Add E x0 Pow Mul sqrt Add exp Add x3 Add E x0 -1 sqrt Add 1 exp Add x3 Add E x0 -1 