Mul Pow atanh Add x0 x7 Add -3 x7 acos Mul sech Pow x0 sqrt x0 Mul x7 acoth Mul x1 pi 
Add Mul acos Mul sech Pow x0 sqrt x0 Mul x7 acoth Mul x1 pi Mul Pow atanh Add x0 x7 Add Add -3 x7 -1 Mul Add -3 x7 Pow Add 1 Mul -1 Mul Add x0 x7 Add x0 x7 -1 Mul Pow atanh Add x0 x7 Add -3 x7 Mul -1 Mul Mul Mul x7 acoth Mul x1 pi Mul Mul tanh Pow x0 sqrt x0 Mul -1 sech Pow x0 sqrt x0 Mul Pow x0 Add sqrt x0 -1 Add sqrt x0 Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul sech Pow x0 sqrt x0 Mul x7 acoth Mul x1 pi Mul sech Pow x0 sqrt x0 Mul x7 acoth Mul x1 pi -1 