asech Pow Mul cosh log x4 2.67989227828000 Mul 2 x0 
Mul Mul Pow Mul cosh log x4 2.67989227828000 Add Mul 2 x0 -1 Mul Mul Mul cosh log x4 2.67989227828000 log Mul cosh log x4 2.67989227828000 2 Pow Mul Mul Pow Mul cosh log x4 2.67989227828000 Mul 2 x0 Pow Mul cosh log x4 2.67989227828000 Mul 2 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul cosh log x4 2.67989227828000 Mul 2 x0 Pow Mul cosh log x4 2.67989227828000 Mul 2 x0 -1 -1 