Add Pow x2 tanh x0 Mul Pow x0 Mul x0 pi Mul acoth x4 Mul asec Mul -4 sec acsch E x0 
Add Mul Pow x2 Add tanh x0 -1 Mul Mul x2 log x2 Pow sech x0 2 Add Mul Mul acoth x4 Mul asec Mul -4 sec acsch E x0 Mul Pow x0 Add Mul x0 pi -1 Add Mul x0 pi Mul Mul x0 log x0 pi Mul Pow x0 Mul x0 pi Mul acoth x4 asec Mul -4 sec acsch E 