Pow cosh x7 Mul Mul acosh x0 x3 Mul 5 Pow Add x3 Mul x0 Add acosh x3 x0 -4 
Mul Pow cosh x7 Add Mul Mul acosh x0 x3 Mul 5 Pow Add x3 Mul x0 Add acosh x3 x0 -4 -1 Mul Mul cosh x7 log cosh x7 Add Mul Mul 5 Pow Add x3 Mul x0 Add acosh x3 x0 -4 Mul x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 x3 Mul 5 Mul Pow Add x3 Mul x0 Add acosh x3 x0 5 Mul -4 Add Add acosh x3 x0 x0 