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