acosh Mul Pow x0 pi Add x0 tanh sin tanh pi 
Mul Add Mul Add x0 tanh sin tanh pi Mul Pow x0 Add pi -1 pi Pow x0 pi Pow Mul sqrt Add Mul Pow x0 pi Add x0 tanh sin tanh pi -1 sqrt Add 1 Mul Pow x0 pi Add x0 tanh sin tanh pi -1 