acosh Add acoth Add -4 Pow x0 x1 tanh Mul acosh x0 Add acoth Add x0 Pow x1 x0 x4 
Mul Add Mul Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul -1 Mul Add -4 Pow x0 x1 Add -4 Pow x0 x1 -1 Mul Pow sech Mul acosh x0 Add acoth Add x0 Pow x1 x0 x4 2 Add Mul Add acoth Add x0 Pow x1 x0 x4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Add 1 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Add 1 Mul -1 Mul Add x0 Pow x1 x0 Add x0 Pow x1 x0 -1 Pow Mul sqrt Add Add acoth Add -4 Pow x0 x1 tanh Mul acosh x0 Add acoth Add x0 Pow x1 x0 x4 -1 sqrt Add 1 Add acoth Add -4 Pow x0 x1 tanh Mul acosh x0 Add acoth Add x0 Pow x1 x0 x4 -1 