Pow x5 Mul Pow Pow Mul -3 x0 Mul x0 5 x0 acoth cosh pi 
Mul Pow x5 Add Mul Pow Pow Mul -3 x0 Mul x0 5 x0 acoth cosh pi -1 Mul Mul x5 log x5 Mul acoth cosh pi Mul Pow Pow Mul -3 x0 Mul x0 5 Add x0 -1 Add Mul x0 Mul Pow Mul -3 x0 Add Mul x0 5 -1 Add Mul Mul x0 5 -3 Mul Mul Mul -3 x0 log Mul -3 x0 5 Mul Pow Mul -3 x0 Mul x0 5 log Pow Mul -3 x0 Mul x0 5 