Mul log Pow cosh acosh Add x0 sqrt x1 pi acos Pow x7 -2 
Mul acos Pow x7 -2 Mul Mul Pow cosh acosh Add x0 sqrt x1 Add pi -1 Mul pi Mul sinh acosh Add x0 sqrt x1 Pow Mul sqrt Add Add x0 sqrt x1 -1 sqrt Add 1 Add x0 sqrt x1 -1 Pow Pow cosh acosh Add x0 sqrt x1 pi -1 