Mul log Mul acosh sinh x0 Add x0 2 Mul Pow x3 Add x0 -5 x2 
Add Mul Mul Pow x3 Add x0 -5 x2 Mul Add Mul Add x0 2 Mul cosh x0 Pow Mul sqrt Add sinh x0 -1 sqrt Add 1 sinh x0 -1 acosh sinh x0 Pow Mul acosh sinh x0 Add x0 2 -1 Mul log Mul acosh sinh x0 Add x0 2 Mul x2 Mul Pow x3 Add Add x0 -5 -1 Mul x3 log x3 