tan Pow csch Pow x1 Pow x1 x0 -3 
Mul Pow sec Pow csch Pow x1 Pow x1 x0 -3 2 Mul Pow csch Pow x1 Pow x1 x0 4 Mul -3 Mul Mul Mul -1 coth Pow x1 Pow x1 x0 csch Pow x1 Pow x1 x0 Mul Pow x1 Add Pow x1 x0 -1 Mul Mul x1 log x1 Mul Pow x1 Add x0 -1 Mul x1 log x1 