Pow x4 tan Mul csch Mul Mul x0 -2 x0 E 
Mul Pow x4 Add tan Mul csch Mul Mul x0 -2 x0 E -1 Mul Mul x4 log x4 Mul Pow sec Mul csch Mul Mul x0 -2 x0 E 2 Mul E Mul Mul Mul -1 coth Mul Mul x0 -2 x0 csch Mul Mul x0 -2 x0 Add Mul x0 -2 Mul x0 -2 