Add x2 Mul acosh x0 Add log x0 acoth sqrt Add Pow x3 tanh x5 x0 
Add Mul Add log x0 acoth sqrt Add Pow x3 tanh x5 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Pow x0 -1 Mul Pow Mul 2 sqrt Add Pow x3 tanh x5 x0 -1 Pow Add 1 Mul -1 Mul sqrt Add Pow x3 tanh x5 x0 sqrt Add Pow x3 tanh x5 x0 -1 