Mul exp log x0 Add exp E Mul cosh Mul Mul -1 Mul x0 -5 acosh x0 x4 
Add Mul Add exp E Mul cosh Mul Mul -1 Mul x0 -5 acosh x0 x4 Mul exp log x0 Pow x0 -1 Mul exp log x0 Mul x4 Mul sinh Mul Mul -1 Mul x0 -5 acosh x0 Add Mul acosh x0 6 Mul Mul -1 Mul x0 -5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 