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