Mul Pow x5 pi Mul csch Mul Add pi Mul x0 -3 -1 Add csch x0 sec log Add pi x0 
Mul Pow x5 pi Add Mul Add csch x0 sec log Add pi x0 Mul Mul Mul -1 coth Mul Add pi Mul x0 -3 -1 csch Mul Add pi Mul x0 -3 -1 4 Mul csch Mul Add pi Mul x0 -3 -1 Add Mul Mul -1 coth x0 csch x0 Mul Mul tan log Add pi x0 sec log Add pi x0 Pow Add pi x0 -1 