Pow cosh Pow acosh Add Pow sqrt x6 3 E Mul asin Add x0 x4 x0 x5 
Mul Pow cosh Pow acosh Add Pow sqrt x6 3 E Mul asin Add x0 x4 x0 Add x5 -1 Mul x5 Mul sinh Pow acosh Add Pow sqrt x6 3 E Mul asin Add x0 x4 x0 Mul Pow acosh Add Pow sqrt x6 3 E Add Mul asin Add x0 x4 x0 -1 Mul Mul acosh Add Pow sqrt x6 3 E log acosh Add Pow sqrt x6 3 E Add Mul x0 Pow sqrt Add 1 Mul -1 Mul Add x0 x4 Add x0 x4 -1 asin Add x0 x4 