Pow sqrt x0 Pow exp x1 Pow Mul cosh x0 x0 Mul x0 acos x4 
Mul Pow sqrt x0 Add Pow exp x1 Pow Mul cosh x0 x0 Mul x0 acos x4 -1 Add Mul Pow exp x1 Pow Mul cosh x0 x0 Mul x0 acos x4 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow exp x1 Add Pow Mul cosh x0 x0 Mul x0 acos x4 -1 Mul Mul exp x1 log exp x1 Mul Pow Mul cosh x0 x0 Add Mul x0 acos x4 -1 Add Mul Mul x0 acos x4 Add Mul x0 sinh x0 cosh x0 Mul Mul Mul cosh x0 x0 log Mul cosh x0 x0 acos x4 