Mul x0 Mul x3 Pow Add acoth cosh Mul -5 x1 Mul x0 pi x0 
Add Mul x3 Pow Add acoth cosh Mul -5 x1 Mul x0 pi x0 Mul x0 Mul x3 Mul Pow Add acoth cosh Mul -5 x1 Mul x0 pi Add x0 -1 Add Mul x0 pi Mul Add acoth cosh Mul -5 x1 Mul x0 pi log Add acoth cosh Mul -5 x1 Mul x0 pi 