acosh Mul Add x4 Add x0 Add Add x5 atanh x0 tanh Mul Pow x6 x0 acoth x4 x0 
Mul Add Mul x0 Add 1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow sech Mul Pow x6 x0 acoth x4 2 Mul acoth x4 Mul Pow x6 Add x0 -1 Mul x6 log x6 Add x4 Add x0 Add Add x5 atanh x0 tanh Mul Pow x6 x0 acoth x4 Pow Mul sqrt Add Mul Add x4 Add x0 Add Add x5 atanh x0 tanh Mul Pow x6 x0 acoth x4 x0 -1 sqrt Add 1 Mul Add x4 Add x0 Add Add x5 atanh x0 tanh Mul Pow x6 x0 acoth x4 x0 -1 