Add Mul Add x0 log Pow Pow coth asech Pow x1 -2 Pow 4 x6 -1 x0 Mul -4 Pow Pow x0 E x0 
Add Add x0 Add x0 log Pow Pow coth asech Pow x1 -2 Pow 4 x6 -1 Mul -4 Mul Pow Pow x0 E Add x0 -1 Add Mul x0 Mul Pow x0 Add E -1 E Mul Pow x0 E log Pow x0 E 