Mul x0 sinh Pow Pow acoth Pow x0 Pow x4 x7 x0 Add pi Add x0 atan x3 
Add sinh Pow Pow acoth Pow x0 Pow x4 x7 x0 Add pi Add x0 atan x3 Mul x0 Mul cosh Pow Pow acoth Pow x0 Pow x4 x7 x0 Add pi Add x0 atan x3 Mul Pow Pow acoth Pow x0 Pow x4 x7 x0 Add Add pi Add x0 atan x3 -1 Add Mul Add pi Add x0 atan x3 Mul Pow acoth Pow x0 Pow x4 x7 Add x0 -1 Add Mul x0 Mul Mul Pow x0 Add Pow x4 x7 -1 Pow x4 x7 Pow Add 1 Mul -1 Mul Pow x0 Pow x4 x7 Pow x0 Pow x4 x7 -1 Mul acoth Pow x0 Pow x4 x7 log acoth Pow x0 Pow x4 x7 Mul Pow acoth Pow x0 Pow x4 x7 x0 log Pow acoth Pow x0 Pow x4 x7 x0 