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