Mul atanh Pow tan E x0 exp Add Add x0 Pow x0 coth sqrt x0 -4 
Add Mul exp Add Add x0 Pow x0 coth sqrt x0 -4 Mul Mul Pow tan E Add x0 -1 Mul tan E log tan E Pow Add 1 Mul -1 Mul Pow tan E x0 Pow tan E x0 -1 Mul atanh Pow tan E x0 Mul exp Add Add x0 Pow x0 coth sqrt x0 -4 Add 1 Mul Pow x0 Add coth sqrt x0 -1 Add coth sqrt x0 Mul Mul x0 log x0 Mul Mul -1 Pow csch sqrt x0 2 Pow Mul 2 sqrt x0 -1 