coth Mul 3 Pow x0 coth log sech x0 
Mul Mul -1 Pow csch Mul 3 Pow x0 coth log sech x0 2 Mul 3 Mul Pow x0 Add coth log sech x0 -1 Add coth log sech x0 Mul Mul x0 log x0 Mul Mul -1 Pow csch log sech x0 2 Mul Mul tanh x0 Mul -1 sech x0 Pow sech x0 -1 