Mul Pow sqrt x0 Pow sinh x1 5 Mul acosh x0 Add Add Pow x0 acos pi Add x0 2 tanh x7 
Add Mul Mul acosh x0 Add Add Pow x0 acos pi Add x0 2 tanh x7 Mul Pow sqrt x0 Add Pow sinh x1 5 -1 Mul Pow sinh x1 5 Pow Mul 2 sqrt x0 -1 Mul Pow sqrt x0 Pow sinh x1 5 Add Mul Add Add Pow x0 acos pi Add x0 2 tanh x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Mul Pow x0 Add acos pi -1 acos pi 1 