Add Mul Pow exp Add x0 x0 -2 Add Mul -2 cosh x0 asinh x0 -4 
Add Mul Add Mul -2 cosh x0 asinh x0 Mul Pow exp Add x0 x0 3 Mul -2 Mul exp Add x0 x0 2 Mul Pow exp Add x0 x0 -2 Add Mul -2 sinh x0 Pow sqrt Add 1 Mul x0 x0 -1 