Add Add atanh x2 Add cos Add x0 Pow Mul csch x0 3 x6 Pow x0 asech x3 x0 
Add Add Mul Mul -1 sin Add x0 Pow Mul csch x0 3 x6 Add 1 Mul Pow Mul csch x0 3 Add x6 -1 Mul x6 Mul 3 Mul Mul -1 coth x0 csch x0 Mul Pow x0 Add asech x3 -1 asech x3 1 