Pow Add pi Add Add Pow x0 x7 x0 4 sinh Pow Pow Mul x5 x0 acoth x3 x3 
Mul Pow Add pi Add Add Pow x0 x7 x0 4 Add sinh Pow Pow Mul x5 x0 acoth x3 x3 -1 Add Mul sinh Pow Pow Mul x5 x0 acoth x3 x3 Add Mul Pow x0 Add x7 -1 x7 1 Mul Mul Add pi Add Add Pow x0 x7 x0 4 log Add pi Add Add Pow x0 x7 x0 4 Mul cosh Pow Pow Mul x5 x0 acoth x3 x3 Mul Pow Pow Mul x5 x0 acoth x3 Add x3 -1 Mul x3 Mul Pow Mul x5 x0 Add acoth x3 -1 Mul acoth x3 x5 