Mul sech Pow Mul x4 Mul Add 1 x0 -2 Mul x0 Pow Add Pow x0 acoth x0 acosh pi x3 Add x0 x0 
Add Mul Add x0 x0 Mul Mul tanh Pow Mul x4 Mul Add 1 x0 -2 Mul x0 Pow Add Pow x0 acoth x0 acosh pi x3 Mul -1 sech Pow Mul x4 Mul Add 1 x0 -2 Mul x0 Pow Add Pow x0 acoth x0 acosh pi x3 Mul Pow Mul x4 Mul Add 1 x0 -2 Add Mul x0 Pow Add Pow x0 acoth x0 acosh pi x3 -1 Add Mul Mul x0 Pow Add Pow x0 acoth x0 acosh pi x3 Mul x4 -2 Mul Mul Mul x4 Mul Add 1 x0 -2 log Mul x4 Mul Add 1 x0 -2 Add Pow Add Pow x0 acoth x0 acosh pi x3 Mul x0 Mul Pow Add Pow x0 acoth x0 acosh pi Add x3 -1 Mul x3 Mul Pow x0 Add acoth x0 -1 Add acoth x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sech Pow Mul x4 Mul Add 1 x0 -2 Mul x0 Pow Add Pow x0 acoth x0 acosh pi x3 2 