Mul Pow Mul Pow E Add x0 x0 Mul 2 acoth tanh sec cos E E Mul Add x0 -1 Add 1 x0 
Add Mul Mul Add x0 -1 Add 1 x0 Mul Pow Mul Pow E Add x0 x0 Mul 2 acoth tanh sec cos E Add E -1 Mul E Mul Mul 2 acoth tanh sec cos E Mul Pow E Add Add x0 x0 -1 Mul Mul E log E 2 Mul Pow Mul Pow E Add x0 x0 Mul 2 acoth tanh sec cos E E Add Add 1 x0 Add x0 -1 