Add coth Add Mul x0 Mul x0 Pow Pow E x0 x3 Mul sqrt x1 asec x6 Add E 3 
Mul Mul -1 Pow csch Add Mul x0 Mul x0 Pow Pow E x0 x3 Mul sqrt x1 asec x6 2 Add Mul x0 Pow Pow E x0 x3 Mul x0 Add Pow Pow E x0 x3 Mul x0 Mul Pow Pow E x0 Add x3 -1 Mul x3 Mul Pow E Add x0 -1 Mul E log E 