acot Add Mul x0 Pow Mul Mul x0 Pow sin sqrt Mul Add x0 x6 x4 csch x0 x4 E x0 
Mul -1 Mul Add Add Pow Mul Mul x0 Pow sin sqrt Mul Add x0 x6 x4 csch x0 x4 E Mul x0 Mul Pow Mul Mul x0 Pow sin sqrt Mul Add x0 x6 x4 csch x0 x4 Add E -1 Mul E Mul x4 Add Pow sin sqrt Mul Add x0 x6 x4 csch x0 Mul x0 Mul Pow sin sqrt Mul Add x0 x6 x4 Add csch x0 -1 Add Mul csch x0 Mul cos sqrt Mul Add x0 x6 x4 Mul Pow Mul 2 sqrt Mul Add x0 x6 x4 -1 x4 Mul Mul sin sqrt Mul Add x0 x6 x4 log sin sqrt Mul Add x0 x6 x4 Mul Mul -1 coth x0 csch x0 1 Pow Add 1 Mul Add Mul x0 Pow Mul Mul x0 Pow sin sqrt Mul Add x0 x6 x4 csch x0 x4 E x0 Add Mul x0 Pow Mul Mul x0 Pow sin sqrt Mul Add x0 x6 x4 csch x0 x4 E x0 -1 