Mul Pow Add acos x0 Pow E x3 Add Add cosh x0 x3 x0 -0.540302305868140 
Mul -0.540302305868140 Mul Pow Add acos x0 Pow E x3 Add Add Add cosh x0 x3 x0 -1 Add Mul Add Add cosh x0 x3 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add acos x0 Pow E x3 log Add acos x0 Pow E x3 Add sinh x0 1 