Mul Pow cosh x0 acos Add Add 3 x0 2 Pow x0 -3 
Add Mul Pow x0 -3 Mul Pow cosh x0 Add acos Add Add 3 x0 2 -1 Add Mul acos Add Add 3 x0 2 sinh x0 Mul Mul cosh x0 log cosh x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add Add 3 x0 2 Add Add 3 x0 2 -1 Mul Pow cosh x0 acos Add Add 3 x0 2 Mul Pow x0 4 -3 