atan Pow Mul asec pi acoth Pow x0 pi cosh Pow Pow Pow x2 -2 Mul x7 2 x0 
Mul Mul Pow Mul asec pi acoth Pow x0 pi Add cosh Pow Pow Pow x2 -2 Mul x7 2 x0 -1 Add Mul cosh Pow Pow Pow x2 -2 Mul x7 2 x0 Mul asec pi Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Mul Mul Mul asec pi acoth Pow x0 pi log Mul asec pi acoth Pow x0 pi Mul sinh Pow Pow Pow x2 -2 Mul x7 2 x0 Mul Pow Pow Pow x2 -2 Mul x7 2 Add x0 -1 Mul Pow Pow x2 -2 Mul x7 2 log Pow Pow x2 -2 Mul x7 2 Pow Add 1 Mul Pow Mul asec pi acoth Pow x0 pi cosh Pow Pow Pow x2 -2 Mul x7 2 x0 Pow Mul asec pi acoth Pow x0 pi cosh Pow Pow Pow x2 -2 Mul x7 2 x0 -1 