exp Mul Add cosh x0 Pow acos log x0 x2 -5 
Mul exp Mul Add cosh x0 Pow acos log x0 x2 -5 Mul -5 Add sinh x0 Mul Pow acos log x0 Add x2 -1 Mul x2 Mul -1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 