Mul acosh x0 Pow tanh x0 0.877849198816578 
Add Mul Pow tanh x0 0.877849198816578 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow tanh x0 -0.122150801183422 Mul 0.877849198816578 Pow sech x0 2 