Mul x0 Pow Add atan coth exp acoth x3 E x0 
Add Pow Add atan coth exp acoth x3 E x0 Mul x0 Mul Pow Add atan coth exp acoth x3 E Add x0 -1 Mul Add atan coth exp acoth x3 E log Add atan coth exp acoth x3 E 