Add csch Mul x0 log coth Pow coth exp x0 -3 Add Mul x0 atanh E Pow x0 x3 
Add Mul Mul Mul -1 coth Mul x0 log coth Pow coth exp x0 -3 csch Mul x0 log coth Pow coth exp x0 -3 Add log coth Pow coth exp x0 -3 Mul x0 Mul Mul Mul -1 Pow csch Pow coth exp x0 -3 2 Mul Pow coth exp x0 4 Mul -3 Mul Mul -1 Pow csch exp x0 2 exp x0 Pow coth Pow coth exp x0 -3 -1 Add atanh E Mul Pow x0 Add x3 -1 x3 