Mul Pow Add Pow x0 pi csch cosh x1 x0 atan x5 
Mul atan x5 Mul Pow Add Pow x0 pi csch cosh x1 Add x0 -1 Add Mul x0 Mul Pow x0 Add pi -1 pi Mul Add Pow x0 pi csch cosh x1 log Add Pow x0 pi csch cosh x1 